ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.

Slides:



Advertisements
Similar presentations
FPGA (Field Programmable Gate Array)
Advertisements

1 General-Purpose Languages, High-Level Synthesis John Sanguinetti High-Level Modeling.
SOC Design: From System to Transistor
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Case Tools Trisha Cummings. Our Definition of CASE  CASE is the use of computer-based support in the software development process.  A CASE tool is a.
The Future of Formal: Academic, IC, EDA, and Software Perspectives Ziyad Hanna VP of Research and Chief Architect Jasper Design Automation Ziyad Hanna.
The Design Process Outline Goal Reading Design Domain Design Flow
Usage of System C Marco Steffan Overview Standard Existing Tools Companies using SystemC.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Tejas Bhatt and Dennis McCain Hardware Prototype Group, NRC/Dallas Matlab as a Development Environment for FPGA Design Tejas Bhatt June 16, 2005.
Transaction Level Modeling Definitions and Approximations Trevor Meyerowitz EE290A Presentation May 12, 2005.
UCB November 8, 2001 Krishna V Palem Proceler Inc. Customization Using Variable Instruction Sets Krishna V Palem CTO Proceler Inc.
Trend towards Embedded Multiprocessors Popular Examples –Network processors (Intel, Motorola, etc.) –Graphics (NVIDIA) –Gaming (IBM, Sony, and Toshiba)
ECE 699: Lecture 2 ZYNQ Design Flow.
Embedded Systems Design at Mentor. Platform Express Drag and Drop Design in Minutes IP Described In XML Databook s Simple System Diagrams represent complex.
Methods to Differentiate Mil/Aero Solutions Using FPGAs BOF session W – Focus on verification Dan Gardner Final MAPLD BOF Presentation.
(1) Introduction © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
1  Staunstrup and Wolf Ed. “Hardware Software codesign: principles and practice”, Kluwer Publication, 1997  Gajski, Vahid, Narayan and Gong, “Specification,
Role of Standards in TLM driven D&V Methodology
TM Efficient IP Design flow for Low-Power High-Level Synthesis Quick & Accurate Power Analysis and Optimization Flow JAN Asher Berkovitz Yaniv.
ECE-777 System Level Design and Automation Introduction 1 Cristinel Ababei Electrical and Computer Department, North Dakota State University Spring 2012.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
ON LINE TEST GENERATION AND ANALYSIS R. Šeinauskas Kaunas University of Technology LITHUANIA.
CAD Techniques for IP-Based and System-On-Chip Designs Allen C.-H. Wu Department of Computer Science Tsing Hua University Hsinchu, Taiwan, R.O.C {
1 Designing for 65nm and Beyond Where’s The Revolution ?!? Greg Spirakis Absolutely, positively not working for Intel (or anyone else) EDP 2005.
CAD for Physical Design of VLSI Circuits
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
Automated Design of Custom Architecture Tulika Mitra
© 2003 Xilinx, Inc. All Rights Reserved For Academic Use Only Xilinx Design Flow FPGA Design Flow Workshop.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Section 10: Advanced Topics 1 M. Balakrishnan Dept. of Comp. Sci. & Engg. I.I.T. Delhi.
High Performance Embedded Computing © 2007 Elsevier Lecture 3: Design Methodologies Embedded Computing Systems Mikko Lipasti, adapted from M. Schulte Based.
System Design with CoWare N2C - Overview. 2 Agenda q Overview –CoWare background and focus –Understanding current design flows –CoWare technology overview.
High Performance Embedded Computing © 2007 Elsevier Chapter 1, part 2: Embedded Computing High Performance Embedded Computing Wayne Wolf.
CSE 494: Electronic Design Automation Lecture 2 VLSI Design, Physical Design Automation, Design Styles.
Configurable, reconfigurable, and run-time reconfigurable computing.
COE 405 Design and Modeling of Digital Systems
1 Towards Optimal Custom Instruction Processors Wayne Luk Kubilay Atasu, Rob Dimond and Oskar Mencer Department of Computing Imperial College London HOT.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
Catapult™ C Synthesis Crossing the Gap between Algorithm and Hardware Architecture Mac Moore North American Product Specialist Advanced Synthesis Solutions.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Quality Driven SystemC Design By Nasir Mahmood. Hybrid Approach The idea here is to combine the strengths of simulation – namely the ability to handle.
- 1 - EE898_HW/SW Partitioning Hardware/software partitioning  Functionality to be implemented in software or in hardware? No need to consider special.
© 2006 Synopsys, Inc. (1) CONFIDENTIAL Simulation and Formal Verification: What is the Synergy? Carl Pixley Disclaimer: These opinions are mine alone and.
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
Dec 1, 2003 Slide 1 Copyright, © Zenasis Technologies, Inc. Flex-Cell Optimization A Paradigm Shift in High-Performance Cell-Based Design A.
System-level power analysis and estimation September 20, 2006 Chong-Min Kyung.
Workshop - November Toulouse Astrium Use Case.
FPL Sept. 2, 2003 Software Decelerators Eric Keller, Gordon Brebner and Phil James-Roxby Xilinx Research Labs.
1 Copyright  2001 Pao-Ann Hsiung SW HW Module Outline l Introduction l Unified HW/SW Representations l HW/SW Partitioning Techniques l Integrated HW/SW.
Design for Verification in System-level Models and RTL Anmol Mathur Venkat Krishnaswamy Calypto Design Systems, Inc.
System-on-Chip Design Hao Zheng Comp Sci & Eng U of South Florida 1.
Chapter 11 System-Level Verification Issues. The Importance of Verification Verifying at the system level is the last opportunity to find errors before.
Hardware/Software Co-Design of Complex Embedded System NIKOLAOS S. VOROS, LUIS SANCHES, ALEJANDRO ALONSO, ALEXIOS N. BIRBAS, MICHAEL BIRBAS, AHMED JERRAYA.
ISCUG Keynote May 2008 Acknowledgements to the TI-Nokia ESL forum (held Jan 2007) and to James Aldis, TI and OSCI TLM WG Chair 1 SystemC: Untapped Value.
ECE 587 Hardware/Software Co- Design Lecture 23 LLVM and xPilot Professor Jia Wang Department of Electrical and Computer Engineering Illinois Institute.
Problem: design complexity advances in a pace that far exceeds the pace in which verification technology advances. More accurately: (verification complexity)
K-Nearest Neighbor Digit Recognition ApplicationDomainConstraintsKernels/Algorithms Voice Removal and Pitch ShiftingAudio ProcessingLatency (Real-Time)FFT,
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
Dynamic and On-Line Design Space Exploration for Reconfigurable Architecture Fakhreddine Ghaffari, Michael Auguin, Mohamed Abid Nice Sophia Antipolis University.
System-on-Chip Design
Programmable Hardware: Hardware or Software?
ASIC Design Methodology
VLSI Testing Lecture 5: Logic Simulation
ENG3050 Embedded Reconfigurable Computing Systems
Matlab as a Development Environment for FPGA Design
ECE 699: Lecture 3 ZYNQ Design Flow.
HIGH LEVEL SYNTHESIS.
H a r d w a r e M o d e l i n g O v e r v i e w
Presentation transcript:

ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems

2

3

4 Trends in Applications and Processor Design

5 Trends Driven by Consumer Electronics Time-to-market is king! –Ability to re-target designs to new technology nodes –Ability to turn around ASICs in 3 month cycles Flexible architectures – Allow same semiconductor part to live in multiple design generations Low power designs –System-level and micro-architectural decisions impact power very significantly Software is the queen! –Key differentiation in consumer products is via applications –Early software development is key

6 Move to System-level Design System Level Design Economics Development Cost Time to Revenue Re-spin reduction Productivity Design reuse Platform design Optimization Performance Power / battery life Design updates Complexity Increasing design size HW / SW co-design Verification testbench Design tools to leverage system-level models for RTL design and verification are needed

7 Usage of System Level Model System Level Model Architectural and Performance Analysis SLM to RTL Flows (High Level Synthesis) Functional reference model Faster Simulation Platform for software development

8 Manual Process Imp. SLM RTL Manual Process Algorithmic Micro-architecture User Control Limited ControlBroad Control Process Flow SLM to RTL Gap

9 Power Dilemma Greater power savings opportunities at higher levels of abstraction Greater accuracy of power analysis requires detailed layout information Accurate Switching Activity Accurate Capacitance

10 Status of High-level Modeling Today Majority of design teams still using raw C/C++ –Proprietary modeling of simulation time –Simulation speed and ease of coding are key criteria System-model and RTL partitioning is not consistent –Hard to use system-models for RTL verification System-level modeling and RTL teams do not talk! Several different system models at differing levels of abstraction often exist –Different level of interface/timing accuracy –Different levels of computational accuracy Diverse/non-standard modeling makes the space very fragmented –Very hard to build tools for verification/synthesis

11 SLM to RTL Flows Manual SLM to RTL DESIGN FLOW SLM TO RTL HLS DESIGN FLOW Floating Point Model Fixed Point Model Micro-architecture Definition RTL Design RTL Area/Timing Optimization RTL Synthesis Place & Route Hardware ASIC/FPGA Hardware ASIC/FPGA Place & Route RTL Synthesis Fixed Point C++ Model Floating Point Model High Level Synthesis Constraints Manual Methods Logic Analyzer + + System Level Model Precision RTL or DC ASIC or FPGA Vendor Algorithm Functional Description System Designer Hardware Designer Vendor n Replaces manual RTL creation with automation n Connects system domain to hardware design n Technology based design space exploration. n Up to 20x reduction in RTL creation

12 RTL to layout System Analysis Algorithm GDS2 C/C++ SystemC Design model Target ASIC SLM to RTL Flow High Level Synthesis Technology files (Standard Cells + RAM cuts) RTL Formal Proof (SEC) FPGA synthesis FPGA Netlist FPGA

13 Making ESL/HLM a Reality Standardized levels of abstraction in system-level models –SystemC 2.0 starting to do that Consistency between system-level models and RTL –Coherent system-level and RTL design teams Tool eco-system to link system-level and RTL –System-level model validation –Hardware-software co-simulation –High-level synthesis –Sequential equivalence checking –Sequential/micro-architectural power optimizations at RTL and micro-architectural levels