285 search results - page 8 / 57 » Performance and Functional Verification of Microprocessors |
153
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
With the scaling of technology and the need for higher performance and more functionality, power dissipation is becoming a major bottleneck for microprocessor designs. Pipeline ba...
141
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper evaluates performance characteristics of the Compaq ES40 shared memory multiprocessor. The ES40 system contains up to four Alpha 21264 CPU’s together with a high-perf...
153
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
153
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
156
click to vote
ISLPED
2006
ACM
15 years 11 months ago
2006
ACM
Buffering more in-flight instructions in an out-of-order microprocessor is a straightforward and effective method to help tolerate the long latencies generally associated with ...