
e45661b93ed77d46a6af22d689b0ddab.ppt
- Количество слайдов: 19
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 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 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 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 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 • 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
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 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 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 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
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 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 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 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 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 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!