TRAMS PROJECT WP3 (T3.3) FP7 248789 PTC, November 4 th, 2011 Paul Zuber, Miguel Miranda Imec Acknowledgments: Pablo Royer, Peter Buchegger.

Slides:



Advertisements
Similar presentations
Timing Override Verification (TOV) Erik Seligman CS 510, Lecture 18, March 2009.
Advertisements

A reconfigurable system featuring dynamically extensible embedded microprocessor, FPGA, and customizable I/O Borgatti, M. Lertora, F. Foret, B. Cali, L.
Praveen Venkataramani Suraj Sindia Vishwani D. Agrawal FINDING BEST VOLTAGE AND FREQUENCY TO SHORTEN POWER CONSTRAINED TEST TIME 4/29/ ST IEEE VLSI.
CSE241 Formal Verification.1Cichy, UCSD ©2003 CSE241A VLSI Digital Circuits Winter 2003 Recitation 6: Formal Verification.
RTL Hardware Design by P. Chu Chapter 161 Clock and Synchronization.
Graduate Computer Architecture I Lecture 15: Intro to Reconfigurable Devices.
1 Razor: A Low Power Processor Design Presented By: - Murali Dharan.
Logic Design Outline –Logic Design –Schematic Capture –Logic Simulation –Logic Synthesis –Technology Mapping –Logic Verification Goal –Understand logic.
ELEN468 Lecture 11 ELEN468 Advanced Logic Design Lecture 1Introduction.
Digital Circuits to Compensate for Energy Harvester Supply Variation Hao-Yen Tang David Burnett.
GOOD MORNING.
April 15, Synthesis of Signal Processing on FPGA Hongtao
VHDL Structured Logic Design School of Electrical Engineering University of Belgrade Department of Computer Engineering Ivan Dugic Veljko.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
1 of 23 Fouts MAPLD 2005/C117 Synthesis of False Target Radar Images Using a Reconfigurable Computer Dr. Douglas J. Fouts LT Kendrick R. Macklin Daniel.
1 H ardware D escription L anguages Modeling Digital Systems.
Teaching VLSI Design Considering Future Industrial Requirements Matthias Hanke
Canary SRAM Built in Self Test for SRAM VMIN Tracking
1 Towards Optimal Custom Instruction Processors Wayne Luk Kubilay Atasu, Rob Dimond and Oskar Mencer Department of Computing Imperial College London HOT.
ECE 449: Computer Design Lab Coordinator: Kris Gaj TAs: Tuesday session: Pawel Chodowiec Thursday session: Nghi Nguyen.
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.
ASIC, Customer-Owned Tooling, and Processor Design Nancy Nettleton Manager, VLSI ASIC Device Engineering April 2000 Design Style Myths That Lead EDA Astray.
Introductory project. Development systems Design Entry –Foundation ISE –Third party tools Mentor Graphics: FPGA Advantage Celoxica: DK Design Suite Design.
Physical Synthesis Buffer Insertion, Gate Sizing, Wire Sizing,
IMPLEMENTATION OF MIPS 64 WITH VERILOG HARDWARE DESIGN LANGUAGE BY PRAMOD MENON CET520 S’03.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
Lecture 5B Block Diagrams HASH Example.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
EE222 Winter 2013 Steve Kang Lecture 5 Interconnects and Clock Signaling Open systems interconnect (
Microprocessor Design Process
George Mason University Finite State Machines Refresher ECE 545 Lecture 11.
1 A hardware description language is a computer language that is used to describe hardware. Two HDLs are widely used Verilog HDL VHDL (Very High Speed.
SUBJECT : DIGITAL ELECTRONICS CLASS : SEM 3(B) TOPIC : INTRODUCTION OF VHDL.
Gopakumar.G Hardware Design Group
Programmable Hardware: Hardware or Software?
ASIC Design Methodology
TRAMS PROJECT PTC meeting June 23rd 2011 WP3 progress
RTL Design Methodology Transition from Pseudocode & Interface
An Unobtrusive Debugging Methodology for Actel AX and RTAX-S FPGAs
ECE 448 Lecture 6 Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts, and VHDL Code.
Evaluating Register File Size
VLSI Testing Lecture 5: Logic Simulation
CSE241A VLSI Digital Circuits Winter 2003 Recitation 2
VLSI Testing Lecture 5: Logic Simulation
Vishwani D. Agrawal Department of ECE, Auburn University
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
RTL Design Methodology
Hardware Description Languages
Topics The logic design process..
Field Programmable Gate Array
Hardware Description Languages
RTL Design Methodology
Dual Mode Logic An approach for high speed and energy efficient design
Circuit Design Techniques for Low Power DSPs
High Speed Self-Correcting Circuit for Space Applications
VHDL Introduction.
Testing in the Fourth Dimension
De-synchronization: from synchronous to asynchronous
RTL Design Methodology
CS 153 Logic Design Lab Professor Ian G. Harris
ECE 448 Lecture 6 Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts, and VHDL Code.
H a r d w a r e M o d e l i n g O v e r v i e w
RTL Design Methodology
Low Power Digital Design
RTL Design Methodology Transition from Pseudocode & Interface
Measuring the Gap between FPGAs and ASICs
RTL Design Methodology Transition from Pseudocode & Interface
ECE 448 Lecture 6 Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts, and VHDL code ECE 448 – FPGA and ASIC Design.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
Presentation transcript:

TRAMS PROJECT WP3 (T3.3) FP PTC, November 4 th, 2011 Paul Zuber, Miguel Miranda Imec Acknowledgments: Pablo Royer, Peter Buchegger

Deliverable D3.5 D3.5: Report on the method that instantiates the monitor insertion in ASICs descriptions – Lead beneficiary: Imec – What: Monitor insertion flow – Input: RTL – Output: gate netlist with inserted monitor – Imec unit: PT – When: m24 – Status: Draft available 2

Two main types of low cost: Timing Monitors (Reactive) != Logic DFF clock G G O O R R T. Austin, D. Blaauw, T. Mudge, K. Flautner, “Making typical silicon matter with Razor”, IEEE Computer Society, Vol. 37, Iss.3, pp.57-65, March 2004.

!= Logic DFF clock G G O O R R Sh Sh M. Eireiner, et al “ In-Situ Delay Characterization and Local Supply Voltage Adjustment for Compensation of Local Parametric Variations ”, IEEE Journal of Solid-State Circuits, Vol.42, No.7, July 2007 Two main types of low cost: Timing Monitors (Proactive)

RTL2RTL Tool 5 Tool used by WL group Single Step RTL2RTL After Monitor insertion RTL-Netlist Monitor (knob) circuit in RTL Verify Re-use the original TestBenches Automated extended testing ~6 times slower than RTL Simulation ~7 times faster than post-synthesis simulation Selected Statistical Critical Paths SoC Design in RTL Synthesis and Place & Route Tool Properties Automated insert, connect, &route Single step before synthesis Builds on the top of standard existing tools: Tool in TCL Non invasive: no change in design interface Transparent to designer No design cost overhead No design cost It simply: WORKS! In silicon & simulation Naessens, F et al, "A mm2 675 mW reconfigurable LDPC and Turbo encoder and decoder for n, e and 3GPP-LTE," VLSI Circuits (VLSIC), 2010 IEEE Symposium on, vol., no., pp , June 2010

Monitors(Knobs) visible to system level OS Working toward proving its feasibility Reconfigurable SKM Hardware Controller on FPGA Synchronize circuitry Port (Multiplexed) LDPC Encoder Barrel Shifter(s) SoC Top-level mm 2, 65nm FlexFec CMOS ASIC chip in testbed 103 Monitors: 103 Monitors: Area overhead: 0.144% of logic area, Power overhead is system speed

First conclusions Monitor does not interfere “good” circuit operation Monitor does not complicate timing closure Monitor does not introduces design cost overhead Monitor does not required more design effort Monitor works: simulation and silicon 7 To controller Digital monitors in a chain

Back-up slides Miguel Miranda

Critical path selection Option 1: insert monitor after synthesis and P&R: – Timing closure gets jeopardized: no way out Option 2: Fully automated flow – Synthesis down to pre-layout netlist – Statistical timing analysis (could be based on VAM technology) – Selection of top X% statistically critical paths – Monitor insertion and re-synthesis (requires loop over synthesis) Option 3: Based on system knowledge of critical path -> e.g., barrel shifter of LDPC encoder which is in critical loop (1 cycle update operation) – requires system knowledge and limited manual intervention (list of RTL signals to monitor) Limited area overhead (<0.1%) shows list of considered monitors can 1000’s without noticeable impact – And the number of paths monitored per monitor is not 1 but many more 9

Delay Monitor (RTL description) 10