Скачать презентацию HW SW System C Co-Simulation So C Validation Platform Скачать презентацию HW SW System C Co-Simulation So C Validation Platform

e45661b93ed77d46a6af22d689b0ddab.ppt

  • Количество слайдов: 19

HW/SW System. C Co-Simulation So. C Validation Platform Thomas Schuster HW/SW System. C Co-Simulation So. C Validation Platform Thomas Schuster

Outline 1. Introduction TU Braunschweig/IDA 2. Study Objectives & Organization 3. Virtual Platform Infrastructure Outline 1. Introduction TU Braunschweig/IDA 2. Study Objectives & Organization 3. Virtual Platform Infrastructure 4. Development of TLM 2. 0 Simulation Models 5. Proof-of-concept VP

1. TECHNISCHE UNIVERSITÄT BRAUNSCHWEIG 14. 000 3. 000 1. 600 5 40 Students University 1. TECHNISCHE UNIVERSITÄT BRAUNSCHWEIG 14. 000 3. 000 1. 600 5 40 Students University staff Scientists Departments Degree Programs Founded in 1745 (oldest university of technology in Germany) School of Carl-Friedrich Gauß

IDA Institute of Computer and Communication Network Engineering director: Prof. Rolf Ernst computer aided IDA Institute of Computer and Communication Network Engineering director: Prof. Rolf Ernst computer aided embedded system design embedded computers for space applications Prof. Rolf Ernst Prof. Harald Michalik communication networks Prof. Admela Jukan VLSI systems design Prof. Mladen Berekovic cryptography Prof. Wael Adi sponsored by Intel • ca. 60 employees (21 univ. funded) • ca. 2. 2 Mio. € 3 rd party funding in 2006 • part of department of EE&IT staff secretariat accounting system administration electronic lab mechanical lab

People involved IDA: Prof. Dr. Harald Michalik Prof. Dr. Mladen Berekovic Study Management Chief People involved IDA: Prof. Dr. Harald Michalik Prof. Dr. Mladen Berekovic Study Management Chief Technical Scientist Thomas Schuster Dennis Bode Bjoern Osterloh Study Engineer ESA Supervisors: Dr. Luca Fossati Dr. Laurent Hili

2. Project Objectives • High-Level modeling of key IPs in TLM 2. 0 • 2. Project Objectives • High-Level modeling of key IPs in TLM 2. 0 • Functional validation and timing accuracy analysis • Power Modeling • Definition of a design flow for VP modeling • Selection of appropriate infrastructure • Development of a proof-of-concept Virtual Platform • Demonstration of a design space exploration www. vlsilab. org

Study Organization Jan 2010 today July 2011 Study Organization Jan 2010 today July 2011

Virtual Platform / Advantages A Virtual Platform is an abstract hardware model that is Virtual Platform / Advantages A Virtual Platform is an abstract hardware model that is simulated by software. VPs can easily be duplicated and packaged allowing multiple developers to work in parallel. Unlike physical hardware VPs provide observability and controllability for the entire system. Software development can start before hardware prototypes are available. Productivity Availability Accessibility Consistency VPs can be co-simulated/emulated. Gradual refinement from high abstraction to RTL eases verification.

3. Selection of VP Infrastructure Requirements: • Open Source (GPL, L-GPL) • Support for 3. Selection of VP Infrastructure Requirements: • Open Source (GPL, L-GPL) • Support for TLM 2. 0 (LT and AT) • Concept for development of: - memory mapped devices - complex bus models • Vendor tool independence System shall be developed around TRAP (Transaction level Automatic Processor generator) http: //code. google. com/p/trap-gen/

Survey on Tools & Techniques VPI Originated by License Pros Cons Coware Virtual Platform Survey on Tools & Techniques VPI Originated by License Pros Cons Coware Virtual Platform Coware Inc. Com + runtime Sophisticated, Processor Designer, in-house expertise expensive Carbon So. C Designer Carbon Design Systems Com + runtime Sophisticated, Model Compiler expensive OVP Imperas semi-com TLM 2. 0 compliant, large open component lib, widespread simulator not open-source SOCLIB ANR project (ST, Thales, …) GPL Widespread, large community no TLM 2. 0 UNISIM Hi. PEAC project INRIA BSD Existing component library no TLM 2. 0 contrib. slow down Re. SP ESA project Politecnico di Milano GPL Existing components (LEON), ESA affiliation no TLM 2. 0 contrib. low Green. Socs Ltd. GPL TLM 2. 0, TU-BS expertise - Open Tools for TLM 2. 0 are hard to find.

is closest to requirements Mission: • Provision of vendor-independent infrastructure • Open platform for is closest to requirements Mission: • Provision of vendor-independent infrastructure • Open platform for joint IP development Infrastructure (selected): Green. Bus Green. Reg Green. Control Green. Script - Foundation for Bus Modeling with TLM 2. 0 (incl. AMBA impl. almost ready-to-use) - Framework for Register & Device Modeling - Control and Configuration Interfaces (CCI) - Methods and Tools for Use-Case capture … and much more, see: www. greensocs. com

Green. Socs System Overview Source: Mark Burton, Green. Socs Green. Socs System Overview Source: Mark Burton, Green. Socs

4. Modeling of System. C IP No. IP 1 AMBA AHB 2 Aeroflex Gaisler 4. Modeling of System. C IP No. IP 1 AMBA AHB 2 Aeroflex Gaisler GRLIB MCTRL Memory Controller 3 A memory model working with IP 2 4 A Harvard L 1 cache 5 A SPARCv 8 MMU or equivalent 6 Aeroflex Gaisler GPTIMER General Purpose Timer 7 Aeroflex Gaisler IRQMP Interrupt Controller Models will be implemented in LT and AT flavor of TLM 2. 0

Transaction Level Modeling Simulation Performance Accuracy Function calls through dedicated interfaces model synchronization of Transaction Level Modeling Simulation Performance Accuracy Function calls through dedicated interfaces model synchronization of concurrent threads of execution. TLM 2. 0 Loosely Timed (LT) – blocking communication, temporal decoupling TLM 2. 0 Approximately Timed (AT)– non-blocking communication 2 Phase AT (begin request, end response) 4 Phase AT (begin/end request, begin/end response) n Phase AT Cycle Accurate System. C or RTL simulation

Device Modeling with Green. Reg Protocol (Socket) Register Set User Model Regfile callbacks reg Device Modeling with Green. Reg Protocol (Socket) Register Set User Model Regfile callbacks reg reg behavior timing power Example Slave Module • Registers can be automatically hooked on sockets • Registers provide Pre/Post Read/Write callbacks to behavior

Verification of IP Models Reference Simulation (TLM/RTL) Full TLM Simulation test vectors TLM Stimuli/Monitor Verification of IP Models Reference Simulation (TLM/RTL) Full TLM Simulation test vectors TLM Stimuli/Monitor AMBA TLM/RTL Adapter RTL Design Under Test TLM Stimuli/Monitor AMBA TLM Design Under Test Models will be evaluated with respect to simulation performance & accuracy.

5. Proof-of-Concept VP MEM Aeroflex MCTRL Status/Ct rl Regs MEM Aeroflex IRQMP CAN Space 5. Proof-of-Concept VP MEM Aeroflex MCTRL Status/Ct rl Regs MEM Aeroflex IRQMP CAN Space Wire Segmented 2 x 4 LEON AHB processors So. C Wire AMBA Aeroflex GPTimer MEM Bridge Aeroflex GPTimer Mem AMBA LEON 3 LEON 3 Cache Cache MMU MMU Multi-Processor system stimulating all IPs generated in the course of the project.

Platform Software Architecture Open Source Software Architecture: Compiler OS GNU Compiler Collection + Embedded Platform Software Architecture Open Source Software Architecture: Compiler OS GNU Compiler Collection + Embedded C library Real-Time Executive for Multi-processor Systems A set of Mi. Bench applications will be executed on top of RTEMS:

HW/SW System. C Co-Simulation Platform Thank you for your attention! HW/SW System. C Co-Simulation Platform Thank you for your attention!