Modified condition decision coverage: A hardware verification perspective

Mohamed A. Salem*, Kerstin I. Eder

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

Verification is a critical phase of the development cycle. It confirms the compliance of a design implementation with its functional specification. Coverage measures the progress of the verification plan. Structural coverage determines the code exercised by the functional tests. Modified Condition Decision Coverage (MC/DC) is a structural coverage type. This paper compiles a comprehensive overview of established MC/DC conventions, and develops novel MC/DC insights through conduction of experimental study for MC/DC in hardware verification. It provides a generic MC/DC overview while explaining MC/DC types, and criteria of MC/DC validation in the software domain. It introduces the motivation for adoption of MC/DC as a potential structural coverage type for hardware verification. The paper presents the experimental evaluation conducted over a diverse base of logic combinations. The introduced experimental results inferred distinct MC/DC insights. These insights present novel MC/DC aspects that optimize the minimal MC/DC coverage requirements, defines MC/DC compositionality concepts, and provide RTL design guidelines for MC/DC fulfillment.

Original languageEnglish
Title of host publicationProceedings - International Workshop on Microprocessor Test and Verification
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages8-13
Number of pages6
ISBN (Print)9781479932467
DOIs
Publication statusPublished - 15 Oct 2014
Event14th International Workshop on Microprocessor Test and Verification, MTV 2013 - Austin, United States
Duration: 11 Dec 201313 Dec 2013

Conference

Conference14th International Workshop on Microprocessor Test and Verification, MTV 2013
CountryUnited States
CityAustin
Period11/12/1313/12/13

Fingerprint Dive into the research topics of 'Modified condition decision coverage: A hardware verification perspective'. Together they form a unique fingerprint.

Cite this