285 search results - page 1 / 57 » Performance and Functional Verification of Microprocessors |
VLSID
2000
IEEE
13 years 8 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
ICCD
2004
IEEE
14 years 1 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
DAC
1999
ACM
13 years 9 months ago
1999
ACM
DT
2010
13 years 4 months ago
2010
DAC
1997
ACM
13 years 8 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...