TAU Panel: Timing constraints: Are they constraining designs or designers Bruce Zahn March 2015.

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

(1/25) UCSD VLSI CAD Laboratory - ISQED10, March. 23, 2010 Toward Effective Utilization of Timing Exceptions in Design Optimization Kwangok Jeong, Andrew.
OCV-Aware Top-Level Clock Tree Optimization
Continuing Challenges in Static Timing Analysis
White Box and Black Box Testing Tor Stålhane. What is White Box testing White box testing is testing where we use the info available from the code of.
Optimal PRAM algorithms: Efficiency of concurrent writing “Computer science is no more about computers than astronomy is about telescopes.” Edsger Dijkstra.
Timing Override Verification (TOV) Erik Seligman CS 510, Lecture 18, March 2009.
Timing Constraints: Are they constraining designs or designers? Subramanyam Sripada Synopsys Inc 3/13/2015.
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.
Defining activities – Activity list containing activity name, identifier, attributes, and brief description Sequencing activities – determining the dependencies.
TIMING CLOSURE IN SYSTEM-ON-CHIP ERA Sam Appleton, CEO CONFIDENTIAL.
DCDL The Design Constraints Description Language An Emerging OVI Standard.
IMS1001 – Information Systems 1 CSE Information Systems 1
The Design Process Outline Goal Reading Design Domain Design Flow
Automatic Verification of Timing Constraints Asli Samir – JTag course 2006.
An Introduction to Synopsys Design Automation Jeremy Lee November 7, 2007.
Machine-Independent Optimizations Ⅰ CS308 Compiler Theory1.
Process Modelling Using Data Flow Diagrams - Building and Levelling Them; Process Modelling Using Function Decomposition CSE Information Systems.
The Program Design Phases
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
Supply Voltage Biasing in Synopsys Andy Whetzel University of Virginia 1.
Design Verification Design Profiler Course 8. All materials updated on: September 30, Design Profiler Design Profiler is a tool integrated within.
Hierarchical Physical Design Methodology for Multi-Million Gate Chips Session 11 Wei-Jin Dai.
System/Software Testing
Global Timing Constraints FPGA Design Workshop. Objectives  Apply timing constraints to a simple synchronous design  Specify global timing constraints.
S/W Project Management Software Process Models. Objectives To understand  Software process and process models, including the main characteristics of.
The Automatic Generation of Merged-Mode Design Constraints
© 2010 Altera Corporation—Public Quickly Master SDC (Synopsis Design Constraint) Timing Analysis 2010 Technology Roadshow.
Database Technical Session By: Prof. Adarsh Patel.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
EUDET Report - MICELEC Activities Design Tools Status.
Some Course Info Jean-Michel Chabloz. Main idea This is a course on writing efficient testbenches Very lab-centric course: –You are supposed to learn.
Ch6: Software Verification. 1 Decision table based testing  Applicability:  Spec. is described by a decision table.  Tables describe:  How combinations.
Using Formal Verification to Exhaustively Verify SoC Assemblies by Mark Handover Kenny Ranerup Applications Engineer ASIC Consultant Mentor Graphics Corp.
Assertion Based Testing. Testing and verification Does the design function according to the specifications? Example.
CSE 494: Electronic Design Automation Lecture 2 VLSI Design, Physical Design Automation, Design Styles.
Access Control Lists Accessing the WAN – Chapter 5.
Software Testing Reference: Software Engineering, Ian Sommerville, 6 th edition, Chapter 20.
Unit 4 Object-Oriented Design Patterns NameStudent Number CAI XIANGHT082182A KYAW THU LINHT082238Y LI PENGFEIHT082220L NAUNG NAUNG LATTHT082195L PLATHOTTAM.
Database Management Systems (DBMS)
Finite State Machine (FSM) Nattha Jindapetch December 2008.
Courtesy RK Brayton (UCB) and A Kuehlmann (Cadence) 1 Logic Synthesis Multi-Level Logic Synthesis.
TOPIC : Controllability and Observability
Software Engineering Issues Software Engineering Concepts System Specifications Procedural Design Object-Oriented Design System Testing.
Context Process0. student Data Flow Diagram Progression.
CS3320-Chap21 Office Hours TR 1:00-2:15 PM W 2:30-3:30 PM By appointment.
03/30/031 ECE Digital System Design & Synthesis Lecture Design Partitioning for Synthesis Strategies  Partition for design reuse  Keep related.
Naming in Content-Oriented Architectures 1. select produce Data publishing RWINameKey Data own certify 2.
Best Practices in Loading Large Datasets Asanka Padmakumara (BSc,MCTS) SQL Server Sri Lanka User Group Meeting Oct 2013.
1 7 Systems Analysis and Design in a Changing World, 2 nd Edition, Satzinger, Jackson, & Burd Chapter 7 The Object-Oriented Approach to Requirements.
Software Testing Reference: Software Engineering, Ian Sommerville, 6 th edition, Chapter 20.
Authors: Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker Presenter: Byungkwon Choi Abstractions for Network Update INA.
Dillon: CSE470: ANALYSIS1 Requirements l Specify functionality »model objects and resources »model behavior l Specify data interfaces »type, quantity,
Combinational Design, Part 2: Procedure. 2 Topics Positive vs. negative logic Design procedure.
Chapter (12) – Old Version
Accessing the WAN – Chapter 5
ASIC Design Methodology
Activity Diagram.
Accessing the WAN – Chapter 5
Accessing the WAN – Chapter 5
IP – Based Design Methodology
Design Flow System Level
Matlab as a Development Environment for FPGA Design
Sensors and Logic Switches
Switch Blocks check a value and choose a path based on that value
Chapter 10 – Software Testing
Selection Statements.
Practical Database Design and Tuning Objectives
Presentation transcript:

TAU Panel: Timing constraints: Are they constraining designs or designers Bruce Zahn March 2015

Design Flow Constraints used throughout entire flow Must be correct, realistic, understood by multiple tools Missing/inconsistent/conflicting constraints lead to problems in optimization Over constraining may cause implementation tool to thrash Multiple constraint inputs must be managed throughout design process Constraints change throughout flow Constraint management for hierarchical design flow SynthesisDFTPlacementCTSRoute Signoff STA Functional Constraints IP Constraints IP Constraints DFT Constraints Customer/front end IP provider DFT Source

Hierarchical Constraints Design partitioned and implemented in parallel across multiple locations Must support top-down and bottom up flow Blocks available first Top level always comes late Constraints flexible to support model or flat (netlist) view of block Top and blocks need to be independent to allow concurrent design Block constraints slightly pessimistic compared to top This may cause some consistency issues Do not want to re-open closed blocks due to top level changes

SDC Vs. TCL SDC Common constraint set – consistency across tools Must be re-generated When constraints change Different configuration of netlist (flat vs. models) Machine generated – very difficult to work with (read/edit/debug) Busses and wildcards expanded TCL Compact, readable and easier to debug/modify Support variables, wildcards, conditional statements Constraint set customized to work with hierarchical flow Block represented as model or netlist Some tcl commands not understood by all tools

Merged Constraints vs. MCMM Implementation using Multi-Corner-Multi-Mode Resource intensive – many scenarios Difficult to check all real paths constrained across all modes Need models for all modes Not all modes exist due to complexity of constraint generation Results in some path unconstrained in optimization tool Merged Constraints Difficult to generate and manage Some EDA tools perform mode merging Time consuming to verify merged constraints Many false violations due to transfers that are not real Func clocks  DFT clocks

How can EDA tools help Need EDA tools to help manage constraints Output constraints in readable format – do not expand Improved merged or MCMM flow Ability to validate quality of constraints across all scenarios Support hierarchical design constraints where blocks may be either: Models – cannot see inside Flat netlist – can see internals Support bottom up flow

Intel Confidential — Do Not Forward