摘要 |
<P>PROBLEM TO BE SOLVED: To provide a static verification program, a static verification device and a static verification method that are capable of grasping progress of static verification. <P>SOLUTION: The static verification program reads a circuit description 51 and a property 52 in a reading procedure. In a static verification procedure, static verification of the circuit description 51 is executed based on the property 52, and a reachable state number 11 and a reached state number 12 are calculated. In a search coverage value calculation procedure, a search coverage value 21 is calculated based on the reachable state number 11 and the reached state number 12. In a display procedure, the search coverage value 21 is displayed in visible condition. <P>COPYRIGHT: (C)2012,JPO&INPIT |