Abstract: A method of analyzing behavior of a device under test includes obtaining event traces that include a current sequence trace and a reference sequence trace. The event traces include one or more transactions that include one or more properties. A list of relevant properties of one or more transactions is obtained. A first set of n-tuples including values of the relevant properties for the current sequence trace is extracted. A second set of n-tuples including values of the relevant properties for the reference sequence trace is extracted. The first set of n-tuples is compared with the second set of n-tuples to indicate one or more transaction indices corresponding to differences in transactions between the current sequence trace and the reference sequence trace. Transactions corresponding to the transaction indices are annotated to obtain annotated transactions. The current sequence trace and/or the reference sequence trace are displayed with the annotated transactions.

Abstract: A system and method for extracting protocol information from a simulated or emulated design to analyze system behavior is disclosed. The system includes a database, a signal extraction module, a signal processing module, a protocol parsing module, a multi-level protocol parsing module, a protocol rule description table, a display module, an extracted protocol information table, and a debug automation module. The signal extraction module extracts signal level information to generate stream of bits. The protocol parsing module applies BNF grammar rules on stream of bits to generate lower level protocol information. The multi-level parsing module constructs a multiple hierarchy levels of protocol information by creating a tree structure based on a lower level protocol. The higher level protocol information determines operations. The higher level protocol information and the operations are associated with a protocol pattern which is being parsed.

Abstract: A method of analyzing behavior of a device under test includes obtaining event traces that include a current sequence trace and a reference sequence trace. The event traces include one or more transactions that include one or more properties. A list of relevant properties of one or more transactions is obtained. A first set of n-tuples including values of the relevant properties for the current sequence trace is extracted. A second set of n-tuples including values of the relevant properties for the reference sequence trace is extracted. The first set of n-tuples is compared with the second set of n-tuples to indicate one or more transaction indices corresponding to differences in transactions between the current sequence trace and the reference sequence trace. Transactions corresponding to the transaction indices are annotated to obtain annotated transactions. The current sequence trace and/or the reference sequence trace are displayed with the annotated transactions.