1488 search results - page 5 / 298 » Measuring Semantic Coverage |
FDL
2007
IEEE
14 years 5 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
GLVLSI
2002
IEEE
14 years 3 months ago
2002
IEEE
ENTCS
2007
13 years 10 months ago
2007
DAC
2004
ACM
14 years 12 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...