US 5,706,223 A · Logic simulator and logic simulation method

Abstract

A logic simulation device includes an indefinite value generating signal line extracting unit, a propagation deciding unit and a message output unit. The logic simulation device is supplied with circuit connection data of a logic circuit and input signal data employed for simulating the logic circuit. The indefinite value generating signal line extracting unit extracts a signal line which enters a floating state in excess of an allowance time or that causes a collision of logic states as an indefinite value generating signal line. The propagation deciding unit decides whether or not a propagation candidate gate having a propagation input end which is connected with an indefinite value generating signal line is in a state propagating the indefinite value to its output. The propagation deciding unit decides that the indefinite value generating signal line is an error signal line causing an error only when the propagation candidate gate is in a state of propagating the value at the propagation input end. The message output unit outputs a warning message for indicating that the error signal line is a signal line to which the indefinite value generated by an operation of the circuit may be propagated to feed a through current.

Claims16

Dependent claims

A logic simulator for carrying out logic simulation by receiving:

circuit connection data of a logic circuit to be logically simulated, having a plurality of logic elements, and
input signal data corresponding to input signals being supplied to said logic circuit,
said logic simulator comprising:
(a) error signal line candidate extracting means for extracting an indefinite value generating signal line as an error signal line candidate on the basis of said circuit connection data and said input signal data;
(b) a logic element type detecting part for detecting the type of a propagation logic element, being one of said logic elements, which includes a first propagation input end connected with said error signal line candidate;
(c) a processing part for determining if said error signal line candidate is an error signal line in accordance with predetermined conditions including said detected type of the propagation logic element, and when said propagation logic element further includes a second propagation input end, said predetermined conditions further including a value of a signal input to said second propagation input end;
and
(d) an output part for displaying said error signal line;
wherein said error signal line candidate extracting means extracts a signal line maintaining a floating state in excess of a predetermined allowance time as said error signal line candidate.

6 more elements

A logic simulator for carrying out logic simulation by receiving:

circuit connection data of a logic circuit to be logically simulated, having a plurality of logic elements, and
input signal data corresponding to input signals being supplied to said logic circuit,
said logic simulator comprising:
(a) error signal line candidate extracting means for extracting an indefinite value generating signal line as an error signal line candidate on the basis of said circuit connection data and said input signal data;
(b) a logic element type detecting part for detecting the type of a propagation logic element, being one of said logic elements, which includes a first propagation input end connected with said error signal line candidate;
(c) a processing part for determining if said error signal line candidate is an error signal line in accordance with predetermined conditions including said detected type of the propagation logic element, and when said propagation logic element further includes a second propagation input end, said predetermined conditions further including a value of a signal input to said second propagation input end;
and
(d) an output part for displaying said error signal line;
wherein said processing part decides said error signal line candidate connected to said first propagation input end as said error signal line when said propagation logic element is a NOT gate.

6 more elements

A logic simulation method for carrying out logic simulation in a logic simulator by obtaining:

circuit connection data of a logic circuit to be logically simulated, having a plurality of logic elements, and
input signal data corresponding to input signals being supplied to said logic circuit,
said logic simulation method comprising:
(a) a step of extracting an indefinite value generating signal line as an error signal line candidate on the basis of said circuit connection data and said input signal data;
(b) a step of detecting the type of a propagation logic element, being one of said logic elements, which includes a first propagation input end connected with said error signal line candidate;
(c) a step of determining if said error signal line candidate is an error signal line in accordance with predetermined conditions including said detected type of the propagation logic element, and when said propagation logic element further includes a second input end, said predetermined conditions further including a value of a signal input to said second propagation input end;
and
(d) a step of displaying said error signal line;
wherein said error signal line candidate being connected to said first propagation input end is determined as said error signal line when said propagation logic element is a NOT gate in said step (c).

6 more elements

Dependencies are inferred from the claim text.

Logic simulator and logic simulation method

Life of this patent

Logic simulator and logic simulation method

Life of this patent

Abstract

Claims16