Workshop - November 2011 - Toulouse Paul Brelet TRT Case of smart camera system 24/11/2011 1.

Slides:



Advertisements
Similar presentations
SoC Challenges & Transaction Level Modeling (TLM) Dr. Eng. Amr T. Abdel-Hamid ELECT 1002 Spring 2008 System-On-a-Chip Design.
Advertisements

Workshop - November Toulouse. Plan Overview & Safety Requirements PSL formalization & ISIS Monitors Safety Monitors Integration Conclusion Workshop.
Some Trends in High-level Synthesis Research Tools Tanguy Risset Compsys, Lip, ENS-Lyon
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Using emulation for RTL performance verification
Digital Design with VHDL Presented by: Amir Masoud Gharehbaghi
1 SECURE-PARTIAL RECONFIGURATION OF FPGAs MSc.Fisnik KRAJA Computer Engineering Department, Faculty Of Information Technology, Polytechnic University of.
ECMDA workshop Thales ATM experience in using MDE ECMDA Workshop From code centric to model centric software engineering Bilbao 11 July 2006.
1 OBJECTIVES To generate a web-based system enables to assemble model configurations. to submit these configurations on different.
Adding SystemC TLM to a RTL Design Flow Bill Bunton Principal Engineer LSI Networking Components Group Austin, Texas.
Synchron’08 Jean-François LE TALLEC INRIA SOP lab, AOSTE INRIA SOP lab, EPI AOSTE ScaleoChip Company SoC Conception Methodology.
Workshop - November Toulouse Paul Brelet TRT Modeling of a smart camera systems 24/11/
LOGO HW/SW Co-Verification -- Mentor Graphics® Seamless CVE By: Getao Liang March, 2006.
Workshop - November Toulouse L. Maillet-Contoz, STMicroelectronics.
MICROELETTRONICA Design methodologies Lection 8. Design methodologies (general) Three domains –Behavior –Structural –physic Three levels inside –Architectural.
Platforms, ASIPs and LISATek Federico Angiolini DEIS Università di Bologna.
Configurable System-on-Chip: Xilinx EDK
Dipartimento di Informatica - Università di Verona Networked Embedded Systems The HW/SW/Network Cosimulation-based Design Flow Introduction Transaction.
2 PDesigner : MPSoC Development Framework Processor and MPSoC Modeling – ESL modeling – Platform based Automatic Generation of MPSoC Simulators Architecture.
1 Chapter 7 Design Implementation. 2 Overview 3 Main Steps of an FPGA Design ’ s Implementation Design architecture Defining the structure, interface.
Using VHDL VHDL used for Simulation Synthesis.
Embedded Systems Design at Mentor. Platform Express Drag and Drop Design in Minutes IP Described In XML Databook s Simple System Diagrams represent complex.
© 2010 Mentor Graphics Corp. Company Confidential Requirements-Driven Design from Concept to Implementation to Compliance Abstract As electronic.
Churning the Most Out of IP-XACT for Superior Design Quality Ayon Dey Lead Engineer, TI Anshuman Nayak Senior Product Director, Atrenta Samantak Chakrabarti.
Efficient Hardware dependant Software (HdS) Generation using SW Development Platforms Frédéric ROUSSEAU CASTNESS‘07 Computer Architectures and Software.
Role of Standards in TLM driven D&V Methodology
(1) Programming Mechanics © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
Workshop - November Toulouse SoCKET Workshop Introduction.
Fault Models and Injection Strategies in SystemC Specifications ANTONIO MIELE Dipartimento di Elettronica e Informazione
Workshop - November Toulouse Ronan LUCAS - Magillem Design Services 07/04/2011.
Making FPGAs a Cost-Effective Computing Architecture Tom VanCourt Yongfeng Gu Martin Herbordt Boston University BOSTON UNIVERSITY.
Extreme Makeover for EDA Industry
Automated Design of Custom Architecture Tulika Mitra
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
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.
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.
SimArch: Work in Progress Multimedia Teaching Tool Faculty of Electronic Engineering University of Nis Serbia.
Hardware/Software Co-design Design of Hardware/Software Systems A Class Presentation for VLSI Course by : Akbar Sharifi Based on the work presented in.
ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.
EDA Standards – The SPIRIT View Gary Delp VP and Technical Director SPIRIT.
Workshop - November Toulouse Toulouse, J.LACHAIZE (Astrium) High Level Synthesis.
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE Novel, Emerging Computing System Technologies Smart Technologies for Effective Reconfiguration: The FASTER approach.
MODUS Project FP7- SME – , Eclipse Conference Toulouse, May 6 th 2013 Page 1 MODUS Project FP Methodology and Supporting Toolset Advancing.
UML MARTE Time Model for Spirit IP-XACT Aoste Project INRIA Sophia-Antipolis.
6. A PPLICATION MAPPING 6.3 HW/SW partitioning 6.4 Mapping to heterogeneous multi-processors 1 6. Application mapping (part 2)
System-level power analysis and estimation September 20, 2006 Chong-Min Kyung.
Workshop - November Toulouse Astrium Use Case.
Electronic system level design Teacher : 蔡宗漢 Electronic system level Design Lab environment overview Speaker: 范辰碩 2012/10/231.
Workshop - November Toulouse (SoC toolKit for critical Embedded sysTems) Thales Use Case: Pedestrian tracking with smart cameras SoCKET Collaborative.
Teaching The Principles Of System Design, Platform Development and Hardware Acceleration Tim Kranich
Multi-objective Topology Synthesis and FPGA Prototyping Framework of Application Specific Network-on-Chip m Akram Ben Ahmed Xinyu LI, Omar Hammami.
Final Presentation Hardware DLL Real Time Partial Reconfiguration Management of FPGA by OS Submitters:Alon ReznikAnton Vainer Supervisors:Ina RivkinOz.
Design with Vivado IP Integrator
ECE 587 Hardware/Software Co- Design Lecture 23 LLVM and xPilot Professor Jia Wang Department of Electrical and Computer Engineering Illinois Institute.
Software tools for digital LLRF system integration at CERN 04/11/2015 LLRF15, Software tools2 Andy Butterworth Tom Levens, Andrey Pashnin, Anthony Rey.
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
1 COMP427 Embedded Systems Lecture 3. Virtual Platform Prof. Taeweon Suh Computer Science Education Korea University.
UML Profile for SDR Hardware/Software Adequacy Verification
System-on-Chip Design
How Systems are Developed
How to Quick Start Virtual Platform Development
ENG3050 Embedded Reconfigurable Computing Systems
Design Flow System Level
Figure 1 PC Emulation System Display Memory [Embedded SOC Software]
CoCentirc System Studio (CCSS) by
VHDL Introduction.
THE ECE 554 XILINX DESIGN PROCESS
Digital Designs – What does it take
THE ECE 554 XILINX DESIGN PROCESS
Presentation transcript:

Workshop - November Toulouse Paul Brelet TRT Case of smart camera system 24/11/2011 1

Introduction Socket Flow. Hardware Design Flow. Tools: SPEAR DE MAGILLEM Tools GAUT 2Workshop - November 2011

SoCKET Flow Global SoC Req. SoC Architecture Functional validation SW Performance Validation C/C++/ASM Functionality Fonctionnalité + timing Instruction Set Simulator System Requirements Platform Assembly Metrics HLS System Properties Hardware properties Software properties TLM LT TLM AT Software Co-simulation/Co-emulation Silicon Software Execution HLS Traffic generator Metrics IP-Xact SoC Headers generation RTL Software Requirements traceability 3

Phase 2: HW Design Level: RTL. Tools: - GAUT: Apply on accelerator engines. - Magillem: Packager, Platform Assembly, Generator Studio. - SPEAR DE: Mapping Validation : Register Level. Links : - Scripts « bash ». 4Workshop - November 2011

Template JET HAL SystemC Skeleton client GAUT VHDL Acc. client TE IP-XACT library PLT Assembly MDS Spear Application Netlister MDS Vhdl FPGA MRV Generator Generator Studio Generic client Validation Thales Flow: RTL Validation 5

SPEAR Tool 6Workshop - November 2011

SPEAR: Application Application catching 7Workshop - November 2011

SPEAR: Application Change the I/O: Fitting/paving Automatic cornerturn 8Workshop - November 2011

SPEAR: Architecture Architecture Model 9Workshop - November 2011

Mapping SPEAR Application mapping 10Workshop - November 2011

SPEAR: Code generation Code generation 11Workshop - November 2011

TLM Simulation 12Workshop - November 2011

MAGILLEM Tool RTL Level: - Bus interface, components creation, link between components: ditto TLM. VHDL code generation: - Using generics. - The code is readable by an individual. - Inter-connects are taken into account during the VHDL code generation. 13Workshop - November 2011

GAUT Tool The C code: - The C code must be very close to VHDL code. Comparison with commercial tools: - Roccc, ImpulseC. Some troubles during VHDL code generation: - The generated code can be synthesizable but it does not work well in placement/routing. 14Workshop - November 2011

IP-XACT Advantage Standard: Reuse strategy Support of SystemC Model by TLM ports Opportunities for “bottom up” and “top down” XML Transformation: correct and complete XML descriptions Hardware description: lot of data for several components 15Workshop - November 2011

Questions? 16Workshop - November 2011