Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Patent
1998-06-23
2000-08-08
Teska, Kevin J.
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Software program
703 13, 703 17, G06F 1750, G06F 945, G06G 762
Patent
active
060995750
ABSTRACT:
A method and apparatus for efficiently determining whether a set of constraints input to a verification tool are mutually contradictory or overconstraining. A set of constraints are mutually contradictory or overconstraining when they define values for system-model variables and/or inputs that are inconsistent with each other at a given state or group of states of a system-model state machine. It has been found that when a set of constraints assign inconsistent values at a given state or group of states of the system-model state space, the verification tool will treat the given state or group of states as a so-called non-returnable state. That is, the verification tool will not recognize any paths from the given state or group of states to a set of reset states. As a result, instead of having to analyze the values defined by every constraint input to the verification tool, it can be determined whether a set of constraints input to the verification tool are mutually contradictory or overconstraining by analyzing only the constraints enabled at the non-returnable states.
REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5615137 (1997-03-01), Holzmann et al.
patent: 5768498 (1998-06-01), Boigelot et al.
patent: 5901073 (1999-05-01), Kurshan et al.
R.P. Kurshan, Computer Aided Verification Of Coordinating Process, Princeton University Press 1994.
Hardin Ronald H.
Kurshan Robert Paul
Jones Hugh
Lucent Technologies - Inc.
Teska Kevin J.
LandOfFree
Constraint validity checking does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Constraint validity checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constraint validity checking will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1145939