US 4,787,062 AGranted

Glitch detection by forcing the output of a simulated logic device to an undefined state

AssigneeIkos Systems, Inc.

InventorsChu C. Nei, Dan R. Hafeman, William Fazakerly

Life of this patent

Estimating the term…

Loading patent…

Abstract

Races and hazards in simulated logic designs are more easily detected if the logic simualtor is able to warn the designer of the presence of glitches. A glitch wall occur at the output of a logic device if an input condition causes the output to begin to change but the input condition is not present for sufficient time to allow the output to reach its stable state. The logic evaluator is the component of the logic simulator which is responsible for determining the output of a simulated device when the inputs to that device are known. The glitch detecting logic evaluator according to the present invention provides glitch detection by forcing the simulated device output to the undefined state when the device inputs change in a manner which does not allow the change to propagate to the output before a subsequent change occurs. The algorithms are designed for implementation in hardware for high performance logic simulation.

Claims4

Dependent claims

In a logic simulator for evaluating a plurality of simulated logic devices, a logic evaluator for detecting the input state and producing the future output state of said simulated logic devices where said input and output states may represent a logic "zero", a logic "one", and at least one state representing an "undefined" or "unknown" logic level, said logic evaluator comprising:

means for determining the future output state of said simulated logic device based upon the present state of inputs to said device,
means of detecting whether any future output state transitions have been scheduled to occur on said simulated logic device output;
means for forcing said simulated logic device output to said "undefined" or "unknown" state in response to detection of future output state transitions which have been scheduled to occur on said simulated logic device output;
wherein said forcing means forces said output state to said "undefined" or "unknown" state at any time between the scheduling of said future output state transition and the time when the last of said future output state transitions would have normally occurred, said forcing of said output state being conditioned upon the detection that future output state transitions have been scheduled to occur.

1 more element

Dependencies are inferred from the claim text.