Claims
- 1. A computer-aided design method for identifying false signal paths in a simulated digital circuit wherein at least one simulated path element lying along a signal path is associated with at least one off-path signal, said method comprising the steps of:
- a) creating a simulated gate monitor circuit for monitoring the path element in the signal path, the gate monitor circuit having at least one input for receiving an off-path signal from the path element, and producing a predetermined output logic value in response to the at least one input whenever a signal transition propagates through the path element;
- b) creating a simulated path monitor circuit corresponding to the signal path, the path monitor circuit having at least one input coupled to at least one gate monitor circuit for a path element in the signal path, and producing a predetermined output logic value in response to the at least one input whenever a signal transition propagates through the signal path;
- c) identifying the signal path as a false path if the path monitor circuit does not produce the predetermined output logic value within a predetermined period of time after stimulating the digital circuit with a set of test signals;
- d) repeating step c) for a plurality of sets of test signals; and
- e) repeating steps a)-d) for a plurality of signal paths through the digital circuit.
- 2. The method of claim 1 further comprising the step of generating a list of false signal paths in the digital circuit.
- 3. The method of claim 1 wherein the path monitor circuit comprises a multiple input AND gate.
- 4. The method of claim 3 further comprising the step of replacing a CMOS circuit element with an equivalent combination of PMOS and NMOS elements before stimulating the digital circuit with the set of test signals.
- 5. The method of claim 1 further comprising the step of Simplifying a simulated circuit element having a logic input at a constant supply voltage before stimulating the digital circuit with the test signals.
- 6. The method of claim 5 wherein the circuit element is a two-input AND gate having a logical "1" at one input, the AND gate being replaced with an interconnect.
- 7. The method of claim 1 wherein the signal path goes through a control input of a simulated tri-state element, the tristate element having an output shared with at least one other tristate element.
- 8. The method of claim 1 further comprising the steps of:
- separating complementing and non-complementing paths; and
- performing an XOR operation on an output of a complementing path monitor circuit and an output of a non-complementing path monitor circuit.
- 9. A computer system for identifying false timing paths of a simulated digital circuit, the computer system comprising:
- a memory for storing a plurality of simulated circuit elements, interconnections between the circuit elements, and functions of the circuit elements, the circuit elements and interconnections defining at least one signal path in the simulated digital circuit; and
- a processor coupled to the memory and executing a computer program for creating a plurality of simulated monitor circuits coupled to the simulated digital circuit,.the monitor circuits associated with signal paths,
- the processor further executing a computer program for creating a simulated test signal generator for generating a plurality of test signals that are applied as inputs to the simulated digital circuit, and a simulated testing unit for generating a false timing path signal to identify a signal path having a simulated monitor circuit that does not produce a predetermined logic value within a predetermined period of time after the test signals have been applied to the simulated digital circuit.
Parent Case Info
This is a continuation of application Ser. No. 08/594,483 filed Jan. 31, 1996, now abandoned which is a continuation of application Ser. No 08/287,965 filed Aug. 9, 1994, now abandoned.
US Referenced Citations (13)
Foreign Referenced Citations (1)
Number |
Date |
Country |
0 229 975 |
Dec 1986 |
EPX |
Continuations (2)
|
Number |
Date |
Country |
Parent |
594483 |
Jan 1996 |
|
Parent |
287965 |
Aug 1994 |
|