Modeling and Detecting Control Errors in Microprocessors

  title={Modeling and Detecting Control Errors in Microprocessors},
  author={Hussain Al-Asaad and John Patrick Hayes},
Design validation for microprocessors based on modeling design errors and generating tests for them is discussed. An error model for control errors is introduced and validated experimentally for a small microprocessor. A general validation approach using this model is outlined. Preliminary experimental results suggest that high coverage of control as well… CONTINUE READING