SYSTEM, METHOD, AND COMPUTER PROGRAM PRODUCT FOR CORRELATING TRANSACTIONS WITHIN A SIMULATION OF A HARDWARE PLATFORM FOR POST-SIMULATION DEBUGGING

A system, method, and computer program product for correlating transaction within a simulation of a hardware platform for post-simulation debugging is disclosed. The method includes the steps of initializing state information associated with a hardware simulation for a register-transfer level model representing a digital circuit design, executing the hardware simulation to generate a simulation output, generating one or more transaction objects based on the signals in the simulation output, and correlating a first transaction object of the one or more transaction objects with a second transaction object of the one or more transaction objects based on a set of rules and a state model.