Harry Foster, C. Norris Ip, Howard Wong-Toi, and Douglas Perry
Jasper Design Automation

In this paper, we introduce the concept of verification line of intent and show how more than 90% of the effort expended in traditional simulation-based verification methods is below the line of intent (what we call verification implementation). In addition, we show how a pure formal verification methodology that focuses on proving a block's end-toend, high-level requirements (that directly corresponds to the micro-architecture specification) enables us to dramatically increase a project's design and verification productivity while ensuring correctness. To prove these high-level requirements requires breakthrough formal verification technology. In this paper we present how PreCognitive formal verification delivers the breakthrough technology required to prove end-to-end, high-level requirements, and thus deliver a quantum leap in verification productivity and completeness.