DETERMINING VERIFICATION COVERAGE USING CIRCUIT PROPERTIES

A system is disclosed to provide static coverage analysis. The system receives at least two inputs including a hardware description and a set of properties. Using the methods of the present invention, the system determines what portions of the design can be verified using the set of properties. In one embodiment, the invention includes three levels of analysis. Each level provides a different tradeoff between level of accuracy and speed.