Patent Document ID: 20080243747
Application ID: 12054610
Patent Status: 0

Claim One:
1. A property description coverage measuring apparatus comprising: a design automaton extractor configured to extract, from design description data, a design automaton representing a state transition of the design description data; a property automaton extractor configured to extract, from property description data corresponding to the design description data, a property automaton representing a state transition of the property description data; a matched state detector configured to count all states of the design automaton, detect matched states matching the property automaton from all the states of the design automaton on the basis of the presence/absence of an automaton simulation relation from the design automaton to the property automaton, and count the matched states; and a coverage calculator configured to obtain a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a first coverage representing a degree of correspondence of the property description data to the design description data.