Catapult™ C Synthesis Crossing the Gap between Algorithm and Hardware Architecture Mac Moore North American Product Specialist Advanced Synthesis Solutions.

Slides:



Advertisements
Similar presentations
1 General-Purpose Languages, High-Level Synthesis John Sanguinetti High-Level Modeling.
Advertisements

SOC Design: From System to Transistor
Using emulation for RTL performance verification
February 28 – March 3, 2011 Stepwise Refinement and Reuse: The Key to ESL Ashok B. Mehta Senior Manager (DTP/SJDMP) TSMC Technology, Inc. Mark Glasser.
TAC Vista Security. Target  TAC Vista & Security Integration  Key customer groups –Existing TAC Vista users Provide features and hardware for security.
MICROELETTRONICA Design methodologies Lection 8. Design methodologies (general) Three domains –Behavior –Structural –physic Three levels inside –Architectural.
Usage of System C Marco Steffan Overview Standard Existing Tools Companies using SystemC.
Design For Verification Synopsys Inc, April 2003.
Presenter : Yeh Chi-Tsai System-on-chip validation using UML and CWL Qiang Zhu 1, Ryosuke Oish 1, Takashi Hasegawa 2, Tsuneo Nakata 1 1 Fujitsu Laboratories.
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.
Matlab as a Design Environment for Wireless ASIC Design June 16, 2005 Erik Lindskog Beceem Communications, Inc.
Digital System Design EEE344 Lecture 1 INTRODUCTION TO THE COURSE
Embedded Systems Design at Mentor. Platform Express Drag and Drop Design in Minutes IP Described In XML Databook s Simple System Diagrams represent complex.
Hardware/Software Partitioning Witawas Srisa-an Embedded Systems Design and Implementation.
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.
© 2011 Xilinx, Inc. All Rights Reserved Intro to System Generator This material exempt per Department of Commerce license exception TSU.
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
© Copyright Alvarion Ltd. Hardware Acceleration February 2006.
Delevopment Tools Beyond HDL
Role of Standards in TLM driven D&V Methodology
Towards A C++ based Design Methodology Facilitating Sequential Equivalence Checking Venkat Krishnaswamy, Calypto Design Systems, Inc. & Philippe Georgelin,
Highest Performance Programmable DSP Solution September 17, 2015.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
1CADENCE DESIGN SYSTEMS, INC. Cadence Proposed Transaction Level Interface Enhancements for SCE-MI SEPTEMBER 11, 2003.
1 WORLD CLASS – through people, technology and dedication High level modem development for Radio Link INF3430/4431 H2013.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
Foundation Express The HDL Value Leader. Xilinx Foundation Express The HDL Value Leader  Complete HDL Development Environment Best in Class EDA Tools.
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Xilinx Programmable Logic Design Solutions Version 2.1i Designing the Industry’s First 2 Million Gate FPGA Drop-In 64 Bit / 66 MHz PCI Design.
ASIP Architecture for Future Wireless Systems: Flexibility and Customization Joseph Cavallaro and Predrag Radosavljevic Rice University Center for Multimedia.
System Design with CoWare N2C - Overview. 2 Agenda q Overview –CoWare background and focus –Understanding current design flows –CoWare technology overview.
Workshop - November Toulouse Paul Brelet TRT Exploration and application deployment on a SoC: efficient application.
1 Towards Optimal Custom Instruction Processors Wayne Luk Kubilay Atasu, Rob Dimond and Oskar Mencer Department of Computing Imperial College London HOT.
TEMPLATE DESIGN © Hardware Design, Synthesis, and Verification of a Multicore Communication API Ben Meakin, Ganesh Gopalakrishnan.
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.
1 Additional Altera design support: Timing analysis Layout Power usage Additional tools.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
1. CAD Challenges for Leading-Edge Multimedia Designs Ira Chayut, Verification Architect (opinions are my own and do not necessarily represent the opinion.
BridgePoint Integration John Wolfe / Robert Day Accelerated Technology.
Academy - Xilinx DSP Page 1 Academy - Xilinx DSP Page 2 Existing DSP Solutions Fixed function DSP devices ASICs Standard DSP processors (only programmable.
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
1 Extending FPGA Verification Through The PLI Charles Howard Senior Research Engineer Southwest Research Institute San Antonio, Texas (210)
- 1 - ©2009 Jasper Design Automation ©2009 Jasper Design Automation JasperGold for Targeted ROI JasperGold solutions portfolio delivers competitive.
Discussion of ITC Goals. Historical Goals From SCE-API Marketing presentation Circa 2001.
ELEE 4303 Digital II Introduction to Verilog. ELEE 4303 Digital II Learning Objectives Get familiar with background of HDLs Basic concepts of Verilog.
Discussion of ITC Goals. Historical Goals From SCE-API Marketing presentation Circa 2001.
Baseband Implementation of an OFDM System for 60GHz Radios: From Concept to Silicon Jing Zhang University of Toronto.
Multi-objective Topology Synthesis and FPGA Prototyping Framework of Application Specific Network-on-Chip m Akram Ben Ahmed Xinyu LI, Omar Hammami.
University of Michigan Electrical Engineering and Computer Science 1 Cost Sensitive Modulo Scheduling in a Loop Accelerator Synthesis System Kevin Fan,
Ready to Use Programmable Logic Design Solutions.
Problem: design complexity advances in a pace that far exceeds the pace in which verification technology advances. More accurately: (verification complexity)
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
DAC50, Designer Track, 156-VB543 Parallel Design Methodology for Video Codec LSI with High-level Synthesis and FPGA-based Platform Kazuya YOKOHARI, Koyo.
Programmable Hardware: Hardware or Software?
ASIC Design Methodology
“An Automated System for Floating- to Fixed-Point Conversion of High Performance of MATLAB Algorithms in FPGAs and ASICs” Eric Cigan and Robert Anderson.
Digital System Verification
ECE 551: Digital System Design & Synthesis
Matlab as a Development Environment for FPGA Design
A Digital Signal Prophecy The past, present and future of programmable DSP and the effects on high performance applications Continuing technology enhancements.
The performance requirements for DSP applications continue to grow and the traditional solutions do not adequately address this new challenge Paradigm.
THE ECE 554 XILINX DESIGN PROCESS
H a r d w a r e M o d e l i n g O v e r v i e w
THE ECE 554 XILINX DESIGN PROCESS
Presentation transcript:

Catapult™ C Synthesis Crossing the Gap between Algorithm and Hardware Architecture Mac Moore North American Product Specialist Advanced Synthesis Solutions MAPLD 2005

Introducing Catapult C Synthesis n Catapult C Synthesis launched May 31 st, 2004 — 100+ man years of research and development — 3 years of customer proof and validation — Initial focus on wireless companies: STMicroelectronics, Nokia, Ericsson n Product took center stage at DAC 2004 — “ Most important announcement at DAC” - Gary Smith, Dataquest — No. 1 “must see” product - Gartner Dataquest annual DAC list n Catapult news in 2005 — EDN Top 100 products — John Cooley’s DAC must see list — Recent Press Releases: SystemC verification extension, Fraunhofer, Panasonic, Sanyo customer adoption Front Page -EETimes

Catapult C Synthesis – Algorithm to RTL Develop Algorithms using ANSI C++ No proprietary extension Focus on the functional intent Develop Algorithms using ANSI C++ No proprietary extension Focus on the functional intent Synthesize with Catapult C Explore the design space Find the optimal architecture Synthesize with Catapult C Explore the design space Find the optimal architecture Technology Files Technology Files Architectural Constraints Architectural Constraints Generate High Speed Models Verilog, VHDL, SystemC Accelerate system level verification Generate High Speed Models Verilog, VHDL, SystemC Accelerate system level verification Untimed TLM Timed TLM Cycle TLM Generate Target Optimized RTL Faster and better than hand-coded For ASIC, FPGA or FPGA prototyping of ASICs Generate Target Optimized RTL Faster and better than hand-coded For ASIC, FPGA or FPGA prototyping of ASICs Automatically Verify the RTL Generation of testbench infrastructure Seamlessly reuse original C++ test vectors Automatically Verify the RTL Generation of testbench infrastructure Seamlessly reuse original C++ test vectors

Optimized Design Architecture n Exhaustive design space exploration n Often yields superior designs over hand-coded RTL Algorithmic C++ RTL Optimization Scope Local Minima X X Architectural Scenarios Area Global Minima – Out of Reach Within Reach! X IP Block A A A A A Result

Incremental Design Analysis n Analysis tools tackle algorithm complexity and interactively converge to the optimal solution n “Cause-and-Effect” cross-probing links any result with the original C source n Graphical reports provide better understanding of synthesis results n Ease-of-Use smooths learning curve and facilitates tool adoption n User interface built on live database — Incremental analysis — Incremental exploration — Incremental optimization

Customer Adoption n Design types — Filters (FIR, IIR…) — Tranforms (FFT, DCT …) — Equalizers — Interleavers — FEC (Viterbi, Reed Solomon…) — Video Line Filters — JPEG/MPEG Pixel pipes — … n Applications: — Wireless Communications — Satellite Communications — WLAN — Base Stations — VoIP — Sound Broadcast — Video and Multimedia — Digital TV — Storage — Aerospace & Military — …

Catapult C Synthesis Summary n Only pure ANSI C++ algorithmic synthesis tool — Easiest to write, most concise, fastest to simulate, best results n 1st production quality C++ tool — Over 30 completed ASIC & FPGA designs — Documented case studies, references and testimonials n Used by top customers worldwide — ST, Ericsson, Nokia, Alcatel, Siemens, Panasonic, Sanyo n Focus: Engineers developing complex wireless and video hardware — Yields safer silicon with fewer bugs — More efficient design flow yielding smaller hardware in less time — Automated verification flow