Modified condition decision coverage: A hardware verification perspective

Mohamed A. Salem; Kerstin I. Eder

doi:10.1109/MTV.2013.16

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 proceeding › Conference Contribution (Conference Proceeding)

2 Citations (Scopus)

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 language	English
Title of host publication	Proceedings - International Workshop on Microprocessor Test and Verification
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	8-13
Number of pages	6
ISBN (Print)	9781479932467
DOIs	https://doi.org/10.1109/MTV.2013.16
Publication status	Published - 15 Oct 2014
Event	14th International Workshop on Microprocessor Test and Verification, MTV 2013 - Austin, United States Duration: 11 Dec 2013 → 13 Dec 2013

Conference

Conference	14th International Workshop on Microprocessor Test and Verification, MTV 2013
Country/Territory	United States
City	Austin
Period	11/12/13 → 13/12/13

Access to Document

10.1109/MTV.2013.16

Handle.net

Persistent link

Cite this

@inproceedings{918ae46a1019427fbcd903cd79f22547,

title = "Modified condition decision coverage: A hardware verification perspective",

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.",

author = "Salem, \{Mohamed A.\} and Eder, \{Kerstin I.\}",

year = "2014",

month = oct,

day = "15",

doi = "10.1109/MTV.2013.16",

language = "English",

isbn = "9781479932467",

pages = "8--13",

booktitle = "Proceedings - International Workshop on Microprocessor Test and Verification",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "14th International Workshop on Microprocessor Test and Verification, MTV 2013 ; Conference date: 11-12-2013 Through 13-12-2013",

}

Salem, MA & Eder, KI 2014, Modified condition decision coverage: A hardware verification perspective. in Proceedings - International Workshop on Microprocessor Test and Verification., 6926093, Institute of Electrical and Electronics Engineers (IEEE), pp. 8-13, 14th International Workshop on Microprocessor Test and Verification, MTV 2013, Austin, United States, 11/12/13. https://doi.org/10.1109/MTV.2013.16

Modified condition decision coverage: A hardware verification perspective. / Salem, Mohamed A.; Eder, Kerstin I.
Proceedings - International Workshop on Microprocessor Test and Verification. Institute of Electrical and Electronics Engineers (IEEE), 2014. p. 8-13 6926093.

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

TY - GEN

T1 - Modified condition decision coverage

T2 - 14th International Workshop on Microprocessor Test and Verification, MTV 2013

AU - Salem, Mohamed A.

AU - Eder, Kerstin I.

PY - 2014/10/15

Y1 - 2014/10/15

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84908452197

U2 - 10.1109/MTV.2013.16

DO - 10.1109/MTV.2013.16

M3 - Conference Contribution (Conference Proceeding)

SN - 9781479932467

SP - 8

EP - 13

BT - Proceedings - International Workshop on Microprocessor Test and Verification

PB - Institute of Electrical and Electronics Engineers (IEEE)

Y2 - 11 December 2013 through 13 December 2013

ER -

Modified condition decision coverage: A hardware verification perspective

Abstract

Conference

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this