TRANSACTION-BASED SYSTEM AND METHOD FOR ABSTRACTION OF HARDWARE DESIGNS

摘要

Transaction-based hardware abstraction involves a process of using heuristic techniques to identify finite-state machines (FSMs) in a hardware design that process transactions, from which transaction boundaries can be identified. Signals can be abstracted as a result of the transaction-based abstraction. Signals can be classified based on the abstracted design as either transient, temporary, or persistent. Transaction-based abstraction allows a comprehensive test plan to be automatically generated for a device. A test plan comprises a set of conditions called coverage points that are derived based on a signal classification created using transaction-based analysis to identify the architecturally-visible state of the design.