White-Box Verification for Complex Designs
This white paper discusses the use of white-box verification techniques to help accelerate the discovery and diagnosis of bugs during functional verification. Reducing the time required to verify a design, especially when coupled with design reuse, improves the overall development cycle for complex chips and accelerates the time-to-market for new electronic products. In addition, the white-box approach verifies designs more thoroughly, thereby improving quality and potentially eliminating chip re-spins that can have a disastrous effect on project completion and product introduction. This paper also describes in detail the semiformal verification approach used in products from 0-In Design Automation and provides examples of design bugs detected by this method.
View Entire Paper | Previous Page | White Papers Search
If you found this page useful, bookmark and share it on:
Embedded Star Newsletter
Don't have time to visit Embedded Star everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.
If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.
