584 search results - page 7 / 117 » Verification-Aware Microprocessor Design |
EUROPAR
2004
Springer
14 years 20 days ago
2004
Springer
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
SIGCSE
2002
ACM
13 years 8 months ago
2002
ACM
A course that surveys state-of-the-art microprocessors offers an excellent forum for students to see how computer architecture techniques are employed in practice and for them to ...
ASPDAC
2009
ACM
13 years 10 months ago
2009
ACM
- As technology scales, interconnect delays begin to dominate the performance of modern microprocessors. The ability to reduce the length of global wires has become an important de...
EUROPAR
1999
Springer
14 years 1 months ago
1999
Springer
Growing demand for high performance in embedded systems is creating new opportunities for Instruction-Level Parallelism ILP techniques that are traditionally used in high perform...
DAC
1994
ACM
14 years 1 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...