datasheets.com EBN.com EDN.com EETimes.com Embedded.com PlanetAnalog.com TechOnline.com  
Events
UBM Tech
UBM Tech
Welcome Guest Log In | Register | Benefits

Formal Verification of Block-level Requirements

Authored on: Sep 23, 2004 by Harry Foster, C. Norris Ip, Howard Wong-Toi, and Douglas Perry

Technical Paper / Conference Paper

0 0
More InfoLess Info
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.

0 comments
write a comment

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page