Logical simulation system, logical simulation method, and logical simulation program
AssigneeFujitsu Semiconductor Limited
InventorNaoto KOSUGI
Life of this patent
Estimating the term…
Abstract
A program that simulates a netlist data including a plurality of basic elements using a computer includes a logic operation section configured to stipulate a logic operation of at least one of the plurality of the basic elements, a change detection section configured to detect changes in signal levels at an input-and-output end of the at least one of the plurality of the basic elements, and a data storage section configured to store a position data corresponding to the changes of the signal levels.
Claims11
A program that simulates a netlist data including a plurality of basic elements using a computer, comprising:
- a logic operation section configured to stipulate a logic operation of at least one of the plurality of the basic elements;
- a change detection section configured to detect changes in signal levels at an input-and-output end of the at least one basic element;
- and
- a data storage section configured to store a position data corresponding to the changes of the signal levels.
A logical simulation method executed by a computer, comprising:
- stipulating a logic operation of at least one of a plurality of basic elements;
- detecting changes in signal levels at an input-and-output end of the at least one basic element;
- reading a position data corresponding to the changes in the signal level from a data storage section;
- reading a netlist data for a circuit including the at least one basic element;
- constructing a logical model of the circuit based on the netlist data;
- and
- executing a logical simulation for the logical model.
A logical simulation system, comprising:
- a computation unit;
- a memory configured to store a program for a logical simulation;
- a logic operation unit configured to stipulate a logic operation of at least one of a plurality of basic elements;
- a change detection unit configured to detect changes in signal levels at an input-and-output end of the at least one basic element;
- and
- a data storage unit configured to store position data corresponding the changes,
- wherein a logical model of a circuit is constructed based on netlist data including the plurality of basic elements, and
- wherein the logical simulation is executed based on the logical model.
Dependencies are inferred from the claim text.