Browsing Engineering (Faculty of) by Author "Shehata, Hazem"
Now showing items 1-1 of 1
-
Formal Verification of Instruction Dependencies in Microprocessors
Shehata, Hazem (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 ...