Systems and methods for error tracking and recovery in an expectation-based memory agent checker

摘要

Systems, methods and software products are provided for error tracking and recovery in an expectation-based memory agent checker. An electronic device design is simulated with stimuli of one or more test cases, to generate simulated output transaction events. The simulated output transaction events are compared with expected output transaction events. Remaining expected output transaction events for a transaction are identified based upon mismatch between (a) at least one of the simulated output transaction events of the transaction and (b) the expected output transaction events of the transaction.