113 search results - page 16 / 23 » A Methodology for Validation of Microprocessors using Equiva... |
ICCAD
2000
IEEE
14 years 16 hour ago
2000
IEEE
To implement high-performance global interconnect without impacting the performance of existing blocks, the use of buffer blocks is increasingly popular in structured-custom and b...
MICRO
2008
IEEE
13 years 7 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
ESANN
2001
13 years 9 months ago
2001
Prediction of financial time series using artificial neural networks has been the subject of many publications, even if the predictability of financial series remains a subject of ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...