Coverage of compositional property sets under reactive constraints

Abstract

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

Topics

5 Figures and Tables

Slides referencing similar topics