Sciweavers

VLSID
2000
IEEE
135views VLSI» more  VLSID 2000»
14 years 3 months ago
Performance and Functional Verification of Microprocessors
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...
Pradip Bose, Jacob A. Abraham