351 search results - page 6 / 71 » Plug-and-Play Architectural Design and Verification |
DAC
2008
ACM
15 years 10 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
75
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
80
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
DAC
2005
ACM
14 years 11 months ago
2005
ACM