All Categories : Articles and Success Stories Bookmark and Share

Title : Using formal verification for post-silicon debug
Company : Jasper Design Automation
Date : 22-Jun-2008
Downloads : 7

Rate This File
5 Stars
4 Stars
3 Stars
2 Stars
1 Star

The burden that system-on-chip (SoC) design complexity places on logic designers and verification engineers is well-documented. But what about the silicon bring-up team? What happens when a critical bug slips through to silicon? Further costly design re-spins must be avoided, so it is absolutely essential to thoroughly debug the silicon as quickly as possible. But that’s very difficult because of the limited visibility into silicon.
User Reviews More Reviews Review This File
Calypto Low Power Whitepaper

Atrenta Spring Clean!


 Featured Video
 Editorial
 Jobs
Design Environment Flow Architect, location Nijmegen for NXP Semiconductors at Nijmegen, Netherlands
Technical R&D Manager for SpringSoft USA, Inc. at San Jose, CA
Sr. Applications Engineer for SpringSoft USA, Inc. at San Jose, CA
 Upcoming Events
EDA Consortium 2012 Spring Members Meeting at Silicon Valley Bank 3005 Tasman Drive Santa Clara CA - May 31, 2012
DAC 2012 at San Francisco CA - Jun 3 - 7, 2012
AMIQ
Calypto:Empowering the Next Level of Design



Click here for Internet Business Systems © 2012 Internet Business Systems, Inc.
+1 (408) 850-9246 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and EngineeringTechJobsCafe - Technical Jobs and ResumesGISCafe - Geographical Information Services	MCADCafe - Mechanical Design and EngineeringNanotechCafe - Nanotechnology ResourcesShareCG  - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy