Coverage of compositional property sets under reactive constraints


Designs of Systems-on-Chip (SoC) modules can be comprehensively verified by property checking together with different coverage metrics. Some of these coverage criteria measure whether or not the property set fully describes the functional behavior of the design under verification. Making coverage statements with formal precision, however, is a difficult… (More)
DOI: 10.1109/ISQED.2014.6783380


5 Figures and Tables

Slides referencing similar topics