Formal Verification Experiences

Spiral refinement methodology for silicon bug hunt.


Several companies have used formal verification to perform silicon bug hunting. That is one of the most advanced usages of formal verification. It is a complex process that includes incorporating multiple sources of information and managing numerous success factors concurrently. This paper will present a “spiral refinement” bug hunt methodology that captures the success factors and guides the deployment of various formal techniques. The objective is to identify the significant challenges and gradually improve each of the factors to “zero-in” on the critical bugs.

To read more, click here.

Leave a Reply

(Note: This name will be displayed publicly)