Property description coverage measuring apparatus

Details Property description coverage measuring apparatus Property description coverage measuring apparatus

2008-03-25

2011-10-11

Gaffin, Jeffrey A (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

Reexamination Certificate

active

08037002

ABSTRACT:
A design automaton extractor extracts a design automaton from design description data, and a property automaton extractor extracts a property automaton from property description data corresponding to the design description data. A matched state detector counts all states of the design automaton, detects matched states matching the property automaton from all the states of the design automaton, and counts the matched states. A coverage calculator obtains a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a coverage representing the degree of correspondence of the property description data to the design description data.

REFERENCES:
patent: 6446241 (2002-09-01), Mobley et al.
patent: 6484134 (2002-11-01), Hoskote
patent: 6594804 (2003-07-01), Hojati
patent: 6848134 (2005-02-01), Schenck
patent: 7283945 (2007-10-01), Rajan
patent: 7454324 (2008-11-01), Seawright et al.
patent: 2002-099584 (2002-04-01), None
patent: 2006-106865 (2006-04-01), None
patent: 2006-221473 (2006-08-01), None
Chockler et al. “Coverage Metrics for Formal Verification”, STTT, vol. 8, No. 4-5, 2006, pp. 373-386.
Tasiran et al. “Coverage Metrics for Functional Validation of Hardware Designs”, IEEE DTC, 2001, pp. 10.
Hojati et al. “BDD-Based Debugging of Designs Using Language Containment and Fair CTL”, CAV, 1993, pp. 10.
Katz, et al, “Have I Written Enough Properties?”—A method of comparison between specification and implementation, in Proc. of CHARME, 1999 , pp. 18.

Affiliated with

Also associated with

Rating

Property description coverage measuring apparatus does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Property description coverage measuring apparatus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Property description coverage measuring apparatus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4285039