All Categories : Technical Papers Bookmark and Share

Title : Formal Analysis: A Valuable Tool for Post-Silicon Debug
Company : Jasper Design Automation
Date : 16-Jul-2010
Downloads : 12

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

The verification of today’s bleeding-edge chips requires the best methodology and tools, including the application of high-capacity formal verification technologies throughout the design flow, from architectural exploration to post-silicon debug. We see this last area, post-silicon debug, as an important value delivered by formal technology for design and verification teams who have not employed formal analysis earlier in the process to get the design right the first time. As case studies demonstrate, using formal analysis to find bugs, fix them, and verify the fixes adds tremendous value in the post-silicon lab.
User Reviews More Reviews Review This File
Downstream : Solutuions for Post processing PCB Designs

Aldec

Featured Video
Jobs
IC Design Verification Engineer for Coherent Logix at Austin, Texas
R&D Hardware Electrical Engineering Associate for Applied Research Laboratories UTA at Austin, Texas
Digital Design Engineer for Cirrus Logic, Inc. at Austin, Texas
Upcoming Events
Design and Verification Conference and Exhibition (DVCon) at DoubleTree by Hilton San Jose 2050 Gateway Place San Jose CA - Feb 25 - 28, 2019
Geodesign Summit 2019 at Redlands CA - Feb 25 - 28, 2019
Mobile World Congress 2019 at Fira Gran Barcelona Spain - Feb 25 - 28, 2019
WTS 2019 at London United Kingdom - Mar 12 - 13, 2019
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers
TrueCircuits: UltraPLL



Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise