Changing abstraction level of portion of circuit design during verification
AssigneesFujitsu Limited, Fujitsu Semiconductor Limited
InventorsHiroyuki Sato, Hideo Kikuta
Life of this patent
Estimating the term…
Abstract
A design verification method is disclosed. A computer searches for a path in accordance with a connection relationship between blocks by referring to a netlist stored in a storage part based on terminal information concerning a verification of a circuit which is formed by the blocks. Then, the computer changes an abstraction level of an operation of an out-of-path block which is a block outside the path and is searched for from the blocks described in the netlist.
Claims8
A design verification method performed in a computer, the method comprising:
- searching for, by the computer, a path in accordance with a connection relationship between blocks by referring to a netlist stored in a storage part based on terminal information concerning a verification of a circuit which is formed by the blocks;
- selecting, by the computer, first operation description data from multiple sets of operation description data describing, in different abstractions, an operation of an out-of-path block which is a block outside the path and is searched for from the blocks described in the netlist;
- and
- changing, by the computer, an abstraction level of the operation of the out-of-path block by replacing second operation description data described in the netlist with the first operation description data.
A non-transitory computer-readable recording medium storing a program which, when executed by a computer, causes the computer to perform a design verification process, the process comprising:
- searching for a path in accordance with a connection relationship between blocks by referring to a netlist stored in a storage part based on terminal information concerning a verification of a circuit which is formed by the blocks;
- selecting first operation description data from multiple sets of operation description data describing, in different abstractions, an operation of an out-of-path block which is a block outside the path and is searched for from the blocks described in the netlist;
- and
- changing an abstraction level of the operation of the out-of-path block by replacing second operation description data described in the netlist with the first operation description data.
A design verification apparatus, comprising:
- a storage part configured to store a netlist in which a connection relationship between multiple blocks forming a circuit and an operation of each of the multiple blocks;
- a searching part configured to search for a path in accordance with the connection relationship between the multiple blocks by referring to the netlist from the storage part based on terminal information concerning a verification of the circuit;
- a selecting part configured to select first operation description data from multiple sets of operation description data describing, in different abstractions, an operation of an out-of-path block which is a block outside the path and is searched for from the blocks described in the netlist;
- and
- a changing part configured to change an abstraction level of the operation of the out-of-path block by replacing second operation description data described in the netlist with the first operation description data.
Dependencies are inferred from the claim text.