Browsing Engineering (Faculty of) by Subject "Formal Verification"
Now showing items 1-1 of 1
-
Formal Verification of Instruction Dependencies in Microprocessors
(University of Waterloo, 2011-08-19)In microprocessors, achieving an efficient utilization of the execution units is a key factor in improving performance. However, maintaining an uninterrupted flow of instructions is a challenge due to the data and control ...