Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Patent
1998-03-13
2000-06-13
Teska, Kevin J.
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
G06F 1750, G06F 11263
Patent
active
06074426&
ABSTRACT:
A method is provided for automatically enhancing verification of a design under test by using model checking on the state transitions captured during simulation. The enhanced verification is due to the fact that even though to all of the individual transitions captured were exercised during simulation, not all possible sequences of those transitions were necessarily exercised during the simulation, and the unexercised sequences may hide "bugs". The non-deterministic and exhaustive nature of the model checker ensures that all possible sequences comprising the captured state transitions are exercised. The methodology consists of utilizing the state transitions, and the inputs causing those state transitions as observed during simulation, to define legitimate input values that can be applied, nondeterministically and exhaustively, by the model checker to the design under test.
REFERENCES:
patent: 5946481 (1999-08-01), Kurshan et al.
Baumgartner Jason Raymond
Malik Nadeem
Emile Volel
Interantional Business Machines Corporation
Knox Lonnie A.
Teska Kevin J.
Wilder Robert V.
LandOfFree
Method for automatically generating behavioral environment for m does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for automatically generating behavioral environment for m, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for automatically generating behavioral environment for m will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2065005