Patent ID: 8271917
Filing Date: 2012-09-18
Classification: G06F

Abstract:
1. A non-transitory computer readable medium storing a static verification program causing a computer to execute a process for static verification, the process comprising: reading a circuit description and property; performing static verification of the circuit description on the basis of the property and calculating the number of states that can be reached in the static verification and the number of states that is reached in accordance with a search depth in the static verification; calculating a search coverage value on the basis of the number of states that can be reached and the number of states that is reached; making a graph that shows a change in the calculated search coverage value with respect to the search depth; detecting a case in which the search coverage value in a predetermined depth range is smaller than a predetermined first value as a case in which the search coverage value is saturated; and displaying the search coverage value the graph, and a fact that the search coverage value is saturated in a state in which the search coverage value, the graph, and the fact can be visually checked.