Transaction-based system and method for abstraction of hardware designs
AssigneeSynopsys, Inc.
InventorJames Christopher Wilson
Life of this patent
Estimating the term…
Abstract
Apparatus and method for transaction-based abstraction process can, in an embodiment, include three main phases: first, selecting a set of transaction-processing finite state machines (FSMs) that determine transaction boundaries. Second, extracting the transaction-processing FSMs, composing them, and computing an abstracted FSM corresponding to the composed FSM after abstraction, step 115. Third, abstracting all signals in the design based on the computed abstract FSM.
Claims13
A method of automatically creating a test plan for a design, the method comprising:
- receiving a description of the design;
- determining an architecturally visible state in the design, wherein determining an architecturally visible state includes classifying each signal in the design as one of transient, persistent, and temporary, wherein transient signals are signals corresponding to transaction-processing finite state machines identified by abstraction heuristics, persistent signals are sequential signals left after abstraction, and temporary signals are any signals that are not transient signals or persistent signals;
- computing by a computer coverage points for each signal based on its classification;
- and
- outputting a set of coverage points based on the computing, the set of coverage points providing a comprehensive test plan for a simulation of the design.
A method of automatically creating a test plan for a design, the method comprising:
- receiving a description of the design;
- determining an architecturally visible state in the design, wherein determining an architecturally visible state includes classifying each signal in the design as one of transient, persistent, and temporary, wherein transient signals detect when a transaction starts, control processing of the transaction, and indicate completion of the transaction, persistent signals are set in one transaction and read in another transaction, and temporary signals are used only within a single transaction;
- computing by a computer coverage points for each signal based on its classification;
- and
- outputting a set of coverage points based on the computing, the set of coverage points providing a comprehensive test plan for a simulation of the design.
Dependencies are inferred from the claim text.