Mixed-abstraction Modeling Approach with Fault Injection for Hardware-Firmware Co-design and Functional Co-verification of an Automotive Airbag System.

Slides:



Advertisements
Similar presentations
HARDWARE Rashedul Hasan..
Advertisements

System On Chip - SoC Mohanad Shini JTAG course 2005.
Lecture #4 Page 1 ECE 4110–5110 Digital System Design Lecture #4 Agenda 1.VHDL History 2.Design Abstraction Announcements 1.n/a.
EELE 367 – Logic Design Module 2 – Modern Digital Design Flow Agenda 1.History of Digital Design Approach 2.HDLs 3.Design Abstraction 4.Modern Design Steps.
MotoHawk Training Model-Based Design of Embedded Systems.
LOGO HW/SW Co-Verification -- Mentor Graphics® Seamless CVE By: Getao Liang March, 2006.
Filling the Gap Between System Design & Performance Verification Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology.
The Design Process Outline Goal Reading Design Domain Design Flow
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.
DSI Division of Integrated Systems Design Functional Verification Environments Development Goals Our main goals are in the field of developing modular.
1 Evgeny Bolotin – ICECS 2004 Automatic Hardware-Efficient SoC Integration by QoS Network on Chip Electrical Engineering Department, Technion, Haifa, Israel.
6/30/2015HY220: Ιάκωβος Μαυροειδής1 Moore’s Law Gordon Moore (co-founder of Intel) predicted in 1965 that the transistor density of semiconductor chips.
BIST vs. ATPG.
Design Tools, Flows and Library Aspects during the FE-I4 Implementation on Silicon Vladimir Zivkovic National Institute for Subatomic Physics Amsterdam,
Hierarchical Physical Design Methodology for Multi-Million Gate Chips Session 11 Wei-Jin Dai.
Presenter : Ching-Hua Huang 2012/11/3 Implementation and Prototyping of a Complex Multi-Project System-on-a-Chip Chun-Ming Huang, Chien-Ming Wu, Chih-Chyau.
Unit VI. Keil µVision3/4 IDE for 8051 Tool for embedded firmware development Steps for using keil.
Design methodology.
I N V E N T I V EI N V E N T I V E EDA360 - Is End-to-End Design a Riddle, a Rebus, or a Reality? April 6, 2011.
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.
1 SERIAL PORT INTERFACE FOR MICROCONTROLLER EMBEDDED INTO INTEGRATED POWER METER Mr. Borisav Jovanović, Prof.dr Predrag Petković, Prof.dr. Milunka Damnjanović,
Typical Microcontroller Purposes
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.
A New Method For Developing IBIS-AMI Models
1 H ardware D escription L anguages Modeling Digital Systems.
1 5. Application Examples 5.1. Programmable compensation for analog circuits (Optimal tuning) 5.2. Programmable delays in high-speed digital circuits (Clock.
System Design with CoWare N2C - Overview. 2 Agenda q Overview –CoWare background and focus –Understanding current design flows –CoWare technology overview.
ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.
1 System-on-Chip (SoC) Testing An Introduction and Overview of IEEE 1500 Standard Testability Method for Embedded Core-based ICs.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
- Funcational Verification with Modelsim 1 Interfacing Customized Components with Avalon Interconnect (II) Gang Chen.
Testability of Analogue Macrocells Embedded in System-on-Chip Workshop on the Testing of High Resolution Mixed Signal Interfaces Held in conjunction with.
M.Mohajjel. Digital Systems Advantages Ease of design Reproducibility of results Noise immunity Ease of Integration Disadvantages The real world is analog.
SOC Virtual Prototyping: An Approach towards fast System- On-Chip Solution Date – 09 th April 2012 Mamta CHALANA Tech Leader ST Microelectronics Pvt. Ltd,
Axel Jantsch 1 Networks on Chip A Paradigm Change ? Axel Jantsch Laboratory of Electronics and Computer Systems, Royal Institute of Technology, Stockholm.
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.
VLSI Design System-on-Chip Design
Embedded Product Design. The Initial Concept of a Product l Top-level management –Composed primarily of engineers l Marketing –Feedback from customers.
Low Power, High-Throughput AD Converters
1 Analog versus Digital Information-bearing signals can be either analog or digital. Analog signal takes on a continuous range of amplitude values. Whereas.
DOLPHIN INTEGRATION Second Review March 26, Use Plan WP 5: Dissemination and implementation Task 5.1: Market evaluation and use planning Use planning.
Creation and Utilization of a Virtual Platform for Embedded Software Optimization: An Industrial Case Study Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo.
Bharath Kumar Poluri, Atul Ramakant Lele, Aswani Kumar Golla, Lakshmanan Balasubramanian Texas Instruments (India) Pvt. Ltd. 1 Fully automated interface.
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
Reliability and Performance of the SNS Machine Protection System Doug Curry 2013.
An Overview CS341 Digital Logic and Computer Organization F2003.
EMT 351/4 DIGITAL IC DESIGN Week # 1 EDA & HDL.
Specialized Battery Emulator for Automotive Electrical Systems
Programmable Hardware: Hardware or Software?
ASIC Design Methodology
B.Sc. Thesis by Çağrı Gürleyük
ITEA3 Project: ACOSAR Advanced Co-Simulation Open System Architecture
ECE 4110 – Digital Logic Design
Topics Modeling with hardware description languages (HDLs).
Andes Technology Innovate SOC ProcessorsTM
System On Chip - SoC E.Anjali.
Introducing Embedded Systems and the Microcontrollers
Topics Modeling with hardware description languages (HDLs).
Real Number Modeling Enables Fast, Accurate Functional Verification
Steven Lewis, Andrey Martchovsky, Chengcheng Xu
A High Performance SoC: PkunityTM
HIGH LEVEL SYNTHESIS.
Hardware Assisted Fault Tolerance Using Reconfigurable Logic
H a r d w a r e M o d e l i n g O v e r v i e w
Digital Designs – What does it take
Functional Safety Solutions for Automotive
Presentation transcript:

Mixed-abstraction Modeling Approach with Fault Injection for Hardware-Firmware Co-design and Functional Co-verification of an Automotive Airbag System on Chip Product by Thang Nguyen, Dipl.-Ing.-Dr. and Dieter Haerle, Dipl.-Ing. System Integration and Rapid Prototype Infineon Technologies Austria AG

Sponsored By: 2 of 11 Agenda Automotive Airbag System Overview Challenges of Airbag SoC Design and Verification The Mixed-abstraction Modeling Approach Model Coverage Evaluation Fault Injection Simulation using Global Signaling Concept Summary of Results/Conclusions

Sponsored By: 3 of 11 Page  ‹#› Stricter safety requirements for airbag controllers More airbags in the car Higher safety at lower cost New safety architecture for system-on-chip solution is compliant with the new ISO standard Prevention of false triggering of airbags Optimization of self tests Drivers Solution Functional Safety innovation project brings airbag safety to new heights

Sponsored By: 4 of 11 Automotive Airbag System - I …a typical airbag system from bird’s eye view

Sponsored By: 5 of 11 Automotive Airbag System - II

Sponsored By: 6 of 11 Challenges of Airbag SoC Design Factors that drive design complexity: –Based on modern sub-micron logic and PWR technology –integration of high complexity digital circuits with high voltage power driving modules  new architecture approach with distributed functionalities in D/A/_HW and embedded FW –Compliance to ISO safety standard The system covers real-time embedded mixed-signal domains with high number of modules Time-to-Market and first time right design  leads to verification challenges

Sponsored By: 7 of 11 Modeling Requirements & Analysis A complete airbag SoC chip model: –Top-level functional simulation = HW, FW, and co-verification –“Accuracy” vs. “Speed” –Interface consistency between analogue/digital and also with top- level schematic HW (A+D) behavior model for HW/FW co-verification at chip toplevel at early stage of the design phase. Effort vs. Time vs. Accuracy

Sponsored By: 8 of 11 The Mixed-abstraction Modeling Approach Reuse ! Reuse of the chip digital RTL code Analogue circuit is modelled using VHDL with support of real value for the analog behavior Model integration using top-level tape-out schematic netlist Firmware ROM Mask content is used directly with the digital RTL of the model

Sponsored By: 9 of 11 Example of analogue circuit modeling Resolution function and example of supply_check module:

Sponsored By: 10 of 11 Model Coverage Evaluation Functional coverage: –Hardware (ANA + DIG) behavior –Firmware behavior –PWR  Chip Gobal functional Physical Impelmentation coverage: –Digital_Hardware (RTL) –ROM Mask –Interfaces between DIG and ANA hardware domain –Top-level LVS connectivities

Sponsored By: 11 of 11 The Mixed-abstraction Modeling Approach – Advantages/Limitations + Event based chip top-level: –significantly gain in speed complexity and clk rate) –et. Convergency + still guarantee the accuracy for functional verification purpose. + Effort (integration and maintenance) vs. Time (in a very short) vs. Accuracy (High) - For chip TL model integration: it is strongly dependent on the DIG_TOP level Modeling of external load (capacitive and inductive) is limited  workaround: „Global Signalling Concept“

Sponsored By: 12 of 11 Global Signaling Concept …for external load modeling…for fault injection simulation

Sponsored By: 13 of 11 Summary of Results/Conclusions Virtual „prototype“ of the airbag SoC product at an early phase for firmware develop. and verification Simulation performance: less than 1h (for a typical functional simulation run at chip top-level) Bridging the gap between “Speed” and “Accuracy” Project could significantly gain time-to-market and achieve design target