1. A method for transaction logging and intelligent error reporting in an expectation-based memory agent checker, comprising: appending simulation status information to one or more transaction log messages generated by the expectation-based memory agent checker; determining cause of error indicated by mismatch between simulated output transaction events and expected output transaction events; and appending information about the error to one or more error messages generated by the expectation-based memory agent checker.