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.

主权项

1. A method comprising:
initializing state information associated with a hardware simulation for a register-transfer level (RTL) model representing a digital circuit design; executing the hardware simulation to generate a simulation output; generating one or more transaction objects based on 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.