Verification tool computation reduction

Details Verification tool computation reduction Verification tool computation reduction

1998-04-27

2000-08-15

Teska, Kevin J.

Data processing: structural design, modeling, simulation, and em

Modeling by mathematical expression

703 13, G06F 1750

Patent

active

061029599

ABSTRACT:
A method wherein a verification tool checks the properties of a system model by performing a partial search of the system-model state space. A partial search is a search wherein the verification tool inputs, at each state of the system-model state space, only a subset or fraction of the complete set of inputs that would have been used during a conventional search. Performing a partial search, instead of a conventional search, reduces the total number of inputs that the verification tool will input to the system model during a search of the system-model state space, thus reducing the amount of computational resources and/or time needed by the verification tool to verify given properties of the system model. Moreover, performing a partial search, instead of a conventional search, does not substantially reduce the ability of the verification tool to identify errors in the system-model.

REFERENCES:
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5465216 (1995-11-01), Rotem et al.
patent: 5910897 (1999-06-01), Dangelo et al.
patent: 5946481 (1999-08-01), Kurshan et al.
IBM Technical Disclosure Bulletin, v28, issue 7 pp 3128-3129, Index Method for test Pattern Reduction, Dec. 1, 1985.
IBM Technical Disclosure Bulletin, v31, issue 8 pp 467-468, Random Pattern Testing of LSSD Logic Devices by Multiple Sets of Weights.

Affiliated with

Also associated with

Rating

Verification tool computation reduction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Verification tool computation reduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification tool computation reduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2002026