All Categories : Technical Papers Bookmark and Share

Title : Finding Reset Nondeterminism in RTL Designs – Scalable X-Analysis Methodology and Case Study
Company : Avery Design Systems, Inc
Date : 12-Mar-2011
Downloads : 5

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

Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely on a software initialization sequence to reset other registers. This approach, however, may allow unknown values (also called Xvalues) in uninitialized registers to leak to other registers, leaving the design in a nondeterministic state. Although logic simulation can find some X-problems, it is not accurate and may miss bugs. A recent approach based on symbolic simulation can handle Xs accurately; however, it is not scalable. In this work we analyze the characteristics of X-problems and propose a methodology that leverages the accuracy of formal X-analysis and can scale to large designs. This is achieved by our novel partitioning techniques and the intelligent use of waveforms as stimulus. We applied our methodology to an industrial design and successfully identified several Xs unknown to the designers, including three real bugs, demonstrating the effectiveness of our approach.
User Reviews More Reviews Review This File
Downstream : Solutuions for Post processing PCB Designs

Aldec

Featured Video
Jobs
Digital Design Engineer for Cirrus Logic, Inc. at Austin, Texas
R&D Hardware Electrical Engineering Associate for Applied Research Laboratories UTA at Austin, Texas
IC Design Verification Engineer for Coherent Logix at Austin, Texas
Upcoming Events
ISSCC 2019 at San Francisco Marriott Marquis San Francisco CA - Feb 17 - 21, 2019
Geodesign Summit 2019 at Redlands CA - Feb 25 - 28, 2019
Mobile World Congress 2019 at Fira Gran Barcelona Spain - Feb 25 - 28, 2019
Design and Verification Conference and Exhibition (DVCon) at DoubleTree by Hilton San Jose 2050 Gateway Place San Jose CA - Feb 25 - 28, 2019
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL



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