223 search results - page 2 / 45 » New methods and coverage metrics for functional verification |
ASPDAC
2006
ACM
13 years 10 months ago
2006
ACM
DAC
2004
ACM
14 years 7 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...
ASPDAC
2012
ACM
12 years 2 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
CODES
2005
IEEE
14 years 14 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...