Panelists discussed their static sign off goals, the selected best practices and technologies they use to support those goals, and the results they achieved in accelerating early functional verification & sign-off of digital designs.
Real Intent CEO Prakash Narain presents on how static verification compares with dynamic verification, and how simulation, formal, and static sign-off each rate in terms of the 3 key verification metrics.
Comparing Static Verification vs. Dynamic Verification
Hamid Shojaei of Google presents a case study on Google’s static sign-off methodology. Hamid covers best practices & results for RTL Linting, Single mode & Multimode clock domain crossing & Reset domain crossing.
Google & Machine Learning, TPUs
Google TPU Design Challenges
Clocking is Primary ASIC Design Challenge
Static Sign-Off Best Practices
Google’s Results: Found More bugs, Reduced Late Changes
Google’s Must Haves Moving Forward
Q&A: Why would you use multi-mode CDC over single-mode CDC?
Real Intent: The Role of Static Sign-Off Methodology vs. Tools
DAC 2019 panel presentation by Oren Katzir of Real Intent (edited transcript) Presentation Overview Oren Katzir of Real Intent presented on the interrelated role of tools vs methodologies for static sign off.