TIMING CLOSURE IN SYSTEM-ON-CHIP ERA Sam Appleton, CEO CONFIDENTIAL.

Slides:



Advertisements
Similar presentations
Copyright © 2009,Intel Corporation. All rights reserved. Auto ECO Flow Development For Functional ECO Using Efficient Error Rectification Method Based.
Advertisements

Presenter : Shao-Chieh Hou VLSI Design, Automation and Test, VLSI-DAT 2007.
1 System Level Verification of OCP-IP based SoCs using OCP-IP eVC Himanshu Rawal eInfochips, Inc.,4655 Old Ironsides Drive, Suite 385,Santa Clara, CA
A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke September 1976.
Continuing Challenges in Static Timing Analysis
Courtesy RK Brayton (UCB) and A Kuehlmann (Cadence) 1 Logic Synthesis Sequential Synthesis.
Systematic method for capturing “design intent” of Clock Domain Crossing (CDC) logic in constraints Ramesh Rajagopalan Cisco Systems.
Timing Override Verification (TOV) Erik Seligman CS 510, Lecture 18, March 2009.
The Secrets of Practical Verification… © 2008 Think Verification.
Timing Constraints: Are they constraining designs or designers? Subramanyam Sripada Synopsys Inc 3/13/2015.
HP Quality Center Overview.
Timing constraints: Are they constraining designs or designers?
Leveraging Software to Enhance Timing Analysis for Actel RTAX-S Devices Johnny Chung Corporate Applications Engineering Actel Corporation MAPLD 2005.
Xiushan Feng* ASIC Verification Nvidia Corporation Assertion-Based Design Partition 1 TM Jayanta Bhadra, Ross Patterson.
Anjali Supekar *, Mohita Batra *, Rakesh Gulati *, Shahabuddin Qureshi °, Hina Mushir #, Prashant Pandey #, Samant Paul °, Seema Jaiswal ° * Automation.
CSE241 Formal Verification.1Cichy, UCSD ©2003 CSE241A VLSI Digital Circuits Winter 2003 Recitation 6: Formal Verification.
DCDL The Design Constraints Description Language An Emerging OVI Standard.
Kazi Spring 2008CSCI 6601 CSCI-660 Introduction to VLSI Design Khurram Kazi.
Design For Verification Synopsys Inc, April 2003.
Kazi Fall 2006 EEGN 4941 EEGN-494 HDL Design Principles for VLSI/FPGAs Khurram Kazi.
Automatic Verification of Timing Constraints Asli Samir – JTag course 2006.
1 Design For Debug Using DAFCA system Gadi Glikberg 15/6/06.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 3 – Combinational Logic Design Part 1 –
TAU Panel: Timing constraints: Are they constraining designs or designers Bruce Zahn March 2015.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 3 – Combinational Logic Design Part 1 –
Overview Part 1 – Design Procedure 3-1 Design Procedure
Churning the Most Out of IP-XACT for Superior Design Quality Ayon Dey Lead Engineer, TI Anshuman Nayak Senior Product Director, Atrenta Samantak Chakrabarti.
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
Hierarchical Physical Design Methodology for Multi-Million Gate Chips Session 11 Wei-Jin Dai.
System/Software Testing
Structural Coverage Verilog code is available to help generate tests o Code can be analyzed statically and/or simulated Easier to detect “additive” design.
TM Efficient IP Design flow for Low-Power High-Level Synthesis Quick & Accurate Power Analysis and Optimization Flow JAN Asher Berkovitz Yaniv.
Testing. Definition From the dictionary- the means by which the presence, quality, or genuineness of anything is determined; a means of trial. For software.
CS 501: Software Engineering Fall 1999 Lecture 16 Verification and Validation.
ISE. Tatjana Petrovic 249/982/22 ISE software tools ISE is Xilinx software design tools that concentrate on delivering you the most productivity available.
1 WORLD CLASS – through people, technology and dedication High level modem development for Radio Link INF3430/4431 H2013.
CADENCE CONFIDENTIAL 1CADENCE DESIGN SYSTEMS, INC. Cadence Formal Verification 2003 Beijing International Microelectronics Symposium C. Michael Chang Vice.
© 2003 Xilinx, Inc. All Rights Reserved For Academic Use Only Xilinx Design Flow FPGA Design Flow Workshop.
A New Method For Developing IBIS-AMI Models
Using Formal Verification to Exhaustively Verify SoC Assemblies by Mark Handover Kenny Ranerup Applications Engineer ASIC Consultant Mentor Graphics Corp.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Topics n Design methodologies.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
FORMAL VERIFICATION OF ADVANCED SYNTHESIS OPTIMIZATIONS Anant Kumar Jain Pradish Mathews Mike Mahar.
ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.
Real Intent, Inc (1) Copyright © Real Intent Real Intent, Inc. EnVision Suite of EDA Solutions.
ASIC, Customer-Owned Tooling, and Processor Design Nancy Nettleton Manager, VLSI ASIC Device Engineering April 2000 Design Style Myths That Lead EDA Astray.
DFT Compiler Synopsys Customer Education Services
- 1 - ©2009 Jasper Design Automation ©2009 Jasper Design Automation JasperGold for Targeted ROI JasperGold solutions portfolio delivers competitive.
Verification – The importance
Macro Verification Guidelines Chapter 7.. Chap 7. Macro Verification Guidelines The goal of macro verification The macro is 100 percent correct in its.
SAFEWARE System Safety and Computers Chap18:Verification of Safety Author : Nancy G. Leveson University of Washington 1995 by Addison-Wesley Publishing.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Topics n Low power design. n Pipelining.
Combinational Logic Design. 2 Combinational Circuits A combinational logic circuit has: ♦ A set of m Boolean inputs, ♦ A set of n Boolean outputs ♦ n.
P Test Program Flow Assumptions Flow constructs are owned / developed / implemented by Test or Test Development (TD) Engineering group Usually TD.
FEV And Netlists Erik Seligman CS 510, Lecture 5, January 2009.
Equivalence checking Prof Shobha Vasudevan ECE 598SV.
Combinational Logic Design. 2 Combinational Circuits A combinational logic circuit has: ♦ A set of m Boolean inputs, ♦ A set of n Boolean outputs ♦ n.
Bharath Kumar Poluri, Atul Ramakant Lele, Aswani Kumar Golla, Lakshmanan Balasubramanian Texas Instruments (India) Pvt. Ltd. 1 Fully automated interface.
UNIT-IV Designing Classes – Access Layer ‐ Object Storage ‐ Object Interoperability.
Unit Testing.
ASIC Design Methodology
Meeting at CERN March 2011.
ENG3050 Embedded Reconfigurable Computing Systems
Overview Part 1 – Design Procedure Beginning Hierarchical Design
Pre-verified IP? Metrics and methods to determine if your IP has been pre-verified’ Moshik Rubin.
Cadence Low-Power Solution
QGen and TQL-1 Qualification
QGen and TQL Qualification
Chapter 3 – Combinational Logic Design
Presentation transcript:

TIMING CLOSURE IN SYSTEM-ON-CHIP ERA Sam Appleton, CEO CONFIDENTIAL

Challenges in SDC Creation & Verification It can get a bit messy “IP”/block level timing Making sure design is fully constrained Finding balance between timing exceptions and risk Verification of timing environment “SoC/Chip level” timing integrating IP Ensuring Hierarchical Consistency Debugging Macro-Scale problems Size & Complexity

IP level timing closure It’s a balancing act! “Minimal SDC” constrain all functional paths for correctness over all modes don’t use any exceptions minimal case analysis minimal clock definitions conservative clock groups “Relaxed SDC” static path/mode exceptions added one SDC per design mode structural/formal MCPs and False Paths Clock/Data exceptions Use clocks to break up timing domains

The Balancing Act Low-Risk Hardest Timing, More Power & Area Higher Risk Easiest Timing, Less Power & Area 1.Find set of timing relaxations that help meet timing goals 2.Ignore all other “available” relaxations that don’t help 3.Allow for reuse of results from previous uses of IP

The Verification Problem “Timing domain” Verification – Debugging clocks, case, modes, conflicts – Ensure STA treatment is correct – Automating manual debug previously done with STA Functional Verification – For exceptions, functional coverage is needed – Simulation OR formal (or both) – Critical problem in signoff of timing environment

SoC Integration Size/Scale – M instances – clocks – IP blocks – k timing exceptions – 2 or 3 levels of hierarchy – 10000s of lines of scripting – Usually GL netlist New Level of Complexity and Scale

SoC Integration Challenges Leverage IP timing SDCs Make sure SoC is consistent with IPs Add toplevel constraints, make sure consistent with IPs

SoC/IP Consistency Critical for Hierarchical Flows Heavy use of ETMs for TAT at toplevel make this more critical Multiple causes of silicon failure Clocks Case Analysis Exceptions Boundary Budget

Future Directions Closing the gap between timing and functional verification – Big need to make sure the timing specification is functionally verified – SDCs are just like any other manually-created input – Finding optimal exceptions to aid in timing closure SoC integration and analysis – Bigger, more complex SoCs – Big need for hierarchical analysis and consistency tools, that can aid with promotion & demotion of SDCs