Modified Condition Decision Coverage: A Hardware Verification Perspective.
Mohamed A. SalemKerstin I. EderPublished in: MTV (2013)
Keyphrases
- hardware designs
- decision making
- low cost
- real time
- hardware and software
- viewpoint
- decision makers
- model checking
- sufficient conditions
- verification method
- signature verification
- decision model
- image processing
- hardware implementation
- computer systems
- computing systems
- face verification
- personal computer
- computing power
- embedded systems
- decision processes
- hardware architecture
- asynchronous circuits
- case study