A microprocessor error detection method, includes providing a primary
dependency matrix, providing an issue logic for issuing a micro-op,
providing a secondary dependency matrix comprising a copy of the primary
dependency matrix, providing a results available vector, the results
available vector including an entry for each dependency tracked,
receiving an indication from issue logic that it is issuing a micro-op,
reading the secondary dependency matrix row corresponding to the issued
micro-op, checking if the micro-op being read is dependent on a tracked
dependency that is not satisfied by determining if any bit set in the row
read from the secondary dependency matrix is not set in the secondary
results available vector, and receiving an indication from the issue
logic if the micro-op has been rescinded.