Verfahren zur Bestimmung der Güte einer Menge von Eigenschaften (Method for determining the quality of a set of properties)
- J. Bormann, H. Busch
- European Patent Application, Publication Number…
- 2005
Highly Influential
4 Excerpts
Coverage of compositional property sets under reactive constraints
- Published 2014 in Fifteenth International Symposium on Quality…
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)