Novas Software, Inc. introduces a set of capabilities that enables designers to easily visualize and debug their complex communication protocols using transactions. The new capabilities leverage the SystemVerilog language by allowing users to describe their protocols using assertion constructs and extract the related activity as transactions. These features are available in the optional nTX™ module for the Novas Verdi™ Automated Debug System. Transactions allow designers to track and visualize the communication between system components in terms of high-level operations rather than discrete signal value changes. Transaction-level abstractions ease understanding of on-chip communication and bus activity, particularly when a design uses complex or proprietary protocols.