Opening book details…
Can I read Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors on EtoBox?
Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors by Bijan Alizadeh is a Computer Science article available to read on EtoBox.
What is Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors about?
The increased parallelism provided by Out-Of-Order (OOO) and superscalar mechanisms have made the control portion of advanced processors more complicated so that the state-of-the-art formal verification techniques for Register-Transfer-Level (RTL) and gate-level designs cannot scale to the complexity of such complicated processors. Moreover, verification and debugging of exceptions and external interrupts on such processors are nontrivial tasks. Because the exceptions arrival time, the external interrupt arrival time, as well as the microprocessor response time must be precise, verification and debugging require sophisticated hardware and software capabilities. This article proposes techniques for effective verification and debugging of cycle-accurate OOO processors in the event of exceptions and external interrupts. The results show that our techniques reduce the complexity of the verification and debugging processes by reducing the number of simulation cycles (3.3 × average reduction) and the number of state variables (8.7 × average reduction) to be traced for localizing bugs.
Who reads Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Bijan Alizadeh
- Publisher
- ACM
- Published
- 2012
- Language
- EN
- Field
- Computer Science (Physical Sciences)