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

Ensuring Correctness Where It Matters Most

Authored on: Sep 5, 2008 by Rajeev Ranjan

Technical Paper

0 0
More InfoLess Info

Formal functional verification has matured to the point where it is far easier for users to adopt than ever before. Yet, despite the advances, many users have not seen the promised gains in productivity from formal. The most common reason for this is the unstructured way formal has been traditionally applied in the verification environment.

In this paper, we outline a simple methodology for effectively planning a production verification flow that easily integrates formal verification into an existing simulation environment. We also show how to effectively deploy a tiered application of formal verification within a project based upon end user skill set and comfort level with the technology.



Please disable any pop-up blockers for proper viewing of this paper.

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