Method for detecting errors in models through restriction

Details Method for detecting errors in models through restriction Method for detecting errors in models through restriction

1997-06-06

1999-05-04

Teska, Kevin J.

Boots, shoes, and leggings

395500, 39518313, 39518314, 395709, G06F 945

Patent

active

059010738

ABSTRACT:
The invention presents a method and apparatus for forming a restricted model from a system model to reduce the computational resources required to formally verify the system design, without substantially reducing the ability to test all system model functions, or properties. In general, the restricted model is formed by restricting the range of assumable values of system model variables and system model inputs to a restricted set of values, based on the values assumed by the system model variables and system model inputs during a partial search of the system model. The restricted model can then be fully searched by a conventional verification tool to identify system design errors. Advantageously, the restricted model requires less computational resources during a fall search than the original system model.

REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5485409 (1996-01-01), Gupta et al.
patent: 5522014 (1996-05-01), Clark et al.
patent: 5604841 (1997-02-01), Hamilton et al.
patent: 5691925 (1997-11-01), Hardin et al.
Bachmair et al., "Rewrite Techniques for Transitive Relations", IEEE, 1994, pp. 384-393.

Affiliated with

Also associated with

Rating

Method for detecting errors in models through restriction 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 detecting errors in models through restriction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for detecting errors in models through restriction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1874590