Puneet Arora ESCUG, 09 Abstraction Levels in SoC Modelling.

Slides:



Advertisements
Similar presentations
INTERVAL Next Previous 13/02/ Timed extensions to SDL Analysis requirements –Assumptions on moments and duration Semantics with controllable time.
Advertisements

Simics/SystemC Hybrid Virtual Platform A Case Study
DATE 2003, Munich, Germany Formal Verification of a System-on-Chip Bus Protocol Abhik Roychoudhury Tulika Mitra S.R. Karri National University of Singapore.
SoC Challenges & Transaction Level Modeling (TLM) Dr. Eng. Amr T. Abdel-Hamid ELECT 1002 Spring 2008 System-On-a-Chip Design.
3D Graphics Content Over OCP Martti Venell Sr. Verification Engineer Bitboys.
OCP-IP SLD New Generation Using OSCI-TLM-2.0 to Model a Real Bus Protocol at Multiple Levels of Abstraction FDL 2008 James Aldis, Texas Instruments Mark.
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Using emulation for RTL performance verification
Chapter 1 : SystemC Overview. What is SystemC Systemc is a modeling platform  A set C++ class library to add hardware modeling constructs  Simulation.
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/
A2T: automatic abstraction from RTL to TLM IPs. 2 Outline HIFSuite overview Motivation for abstraction Abstraction techniques Tool features Tested benchmarks.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
OSCI TLM-2.0 The Transaction Level Modeling standard of the Open SystemC Initiative (OSCI)
LOGO HW/SW Co-Verification -- Mentor Graphics® Seamless CVE By: Getao Liang March, 2006.
JEDA Technologies, Inc. Verification Methodologies in a TLM-to-RTL Design Flow Atsushi Kasuya.
Transaction Level Modeling with SystemC Adviser :陳少傑 教授 Member :王啟欣 P Member :陳嘉雄 R Member :林振民 P
Mahapatra-Texas A&M-Fall'001 Cosimulation II Cosimulation Approaches.
Usage of System C Marco Steffan Overview Standard Existing Tools Companies using SystemC.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
I/O Hardware n Incredible variety of I/O devices n Common concepts: – Port – connection point to the computer – Bus (daisy chain or shared direct access)
Reliable Data Storage using Reed Solomon Code Supervised by: Isaschar (Zigi) Walter Performed by: Ilan Rosenfeld, Moshe Karl Spring 2004 Midterm Presentation.
Transaction Level Modeling Definitions and Approximations Trevor Meyerowitz EE290A Presentation May 12, 2005.
Dipartimento di Informatica - Università di Verona Networked Embedded Systems The HW/SW/Network Cosimulation-based Design Flow Introduction Transaction.
ARTIST2 Network of Excellence on Embedded Systems Design cluster meeting –Bologna, May 22 nd, 2006 System Modelling Infrastructure Activity leader : Jan.
Network-on-Chip: Communication Synthesis Department of Computer Science Texas A&M University.
Embedded Systems Design at Mentor. Platform Express Drag and Drop Design in Minutes IP Described In XML Databook s Simple System Diagrams represent complex.
Lecture 12 Today’s topics –CPU basics Registers ALU Control Unit –The bus –Clocks –Input/output subsystem 1.
Students: Oleg Korenev Eugene Reznik Supervisor: Rolf Hilgendorf
Role of Standards in TLM driven D&V Methodology
Presenter : Cheng-Ta Wu Vijay D’silva, S. Ramesh Indian Institute of Technology Bombay Arcot Sowmya University of New South Wales, Sydney.
1 Chapter 2. The System-on-a-Chip Design Process Canonical SoC Design System design flow The Specification Problem System design.
TLM and its evolution Copyright © 2007 Tata Elxsi Ltd. Shwetha Pai.
Institut für Computertechnik ICT Institute of Computer Technology Interaction of SystemC AMS Extensions with TLM 2.0 Markus Damm, Christoph.
Towards A C++ based Design Methodology Facilitating Sequential Equivalence Checking Venkat Krishnaswamy, Calypto Design Systems, Inc. & Philippe Georgelin,
1CADENCE DESIGN SYSTEMS, INC. Cadence Proposed Transaction Level Interface Enhancements for SCE-MI SEPTEMBER 11, 2003.
SystemC: A Complete Digital System Modeling Language: A Case Study Reni Rambus Inc.
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
Presenter: Zong Ze-Huang Fast and Accurate Resource Conflict Simulation for Performance Analysis of Multi- Core Systems Stattelmann, S. ; Bringmann, O.
1 H ardware D escription L anguages Modeling Digital Systems.
SystemC and Levels of System Abstraction: Part I.
A Methodology for Architecture Exploration of heterogeneous Signal Processing Systems Paul Lieverse, Pieter van der Wolf, Ed Deprettere, Kees Vissers.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
1 IMEC / KHBO June 2004 Micro-electronics SystemC Dorine Gevaert.
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.
Presentation by Tom Hummel OverSoC: A Framework for the Exploration of RTOS for RSoC Platforms.
1 Hardware/Software Co-Design Final Project Emulation on Distributed Simulation Co-Verification System 陳少傑 教授 R 黃鼎鈞 R 尤建智 R 林語亭.
SCE-MI Meeting 1 San Jose’, 14 th Nov Author: Andrea Castelnuovo SCE-MI Integrating Emulation in a system level design methodology San Jose’, 14/11/2003.
SOC Virtual Prototyping: An Approach towards fast System- On-Chip Solution Date – 09 th April 2012 Mamta CHALANA Tech Leader ST Microelectronics Pvt. Ltd,
Software Engineering Chapter: Computer Aided Software Engineering 1 Chapter : Computer Aided Software Engineering.
Teaching The Principles Of System Design, Platform Development and Hardware Acceleration Tim Kranich
Way beyond fast © 2002 Axis Systems, Inc. CONFIDENTIAL Axis Common Transaction Interface (CTI) Architecture Highlights 9/11/2003 Ching-Ping Chou Axis Systems,
Introduction to ASIC flow and Verilog HDL
TLM Convenience Socket Parvinder Pal Singh Girish Verma.
Multi-objective Topology Synthesis and FPGA Prototyping Framework of Application Specific Network-on-Chip m Akram Ben Ahmed Xinyu LI, Omar Hammami.
DDRIII BASED GENERAL PURPOSE FIFO ON VIRTEX-6 FPGA ML605 BOARD PART B PRESENTATION STUDENTS: OLEG KORENEV EUGENE REZNIK SUPERVISOR: ROLF HILGENDORF 1 Semester:
Spring 2007W. Rhett DavisNC State UniversityECE 747Slide 1 ECE 747 Digital Signal Processing Architecture SoC Lecture – Working with Buses & Interconnects.
ISCUG Keynote May 2008 Acknowledgements to the TI-Nokia ESL forum (held Jan 2007) and to James Aldis, TI and OSCI TLM WG Chair 1 SystemC: Untapped Value.
Creation and Utilization of a Virtual Platform for Embedded Software Optimization: An Industrial Case Study Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo.
System on a Programmable Chip (System on a Reprogrammable Chip)
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
Liana Duenha (FACOM and Unicamp) A SystemC Benchmark Suite for Evaluating MPSoC Tools and Methodologies Rodolfo Azevedo (Unicamp)
Some Historical Context And Some Prognostication
Framework For Exploring Interconnect Level Cache Coherency
IEEE1666 SystemC TLM2.0 Coulpling gem5 with Dipl.-Ing. Matthias Jung
Design Flow System Level
CoCentirc System Studio (CCSS) by
OCP-IP SLD New Generation Using OSCI-TLM-2
Presentation transcript:

Puneet Arora ESCUG, 09 Abstraction Levels in SoC Modelling

Agenda Introduction Abstraction levels Terminologies Implementation Implementation Example Adaptors Conclusion and References

Introduction SoC Modelling: Software model / Executable representation of SoC Various use cases –Functional verification –Early s/w development –HW/SW partitioning, resource sharing –Architecture Exploration –Verify memory and bus designs –Cycle accurate h/w models

Abstraction Levels Required to cater to different use-cases Control amount and frequency of communication Control simulation speed and accuracy SystemC signal: RTL TLM2.0 (Payload / Phases): Higher abstractions

Terminologies.. Popular Terminology Programmer's View: functional correct, fast models for embedded software development Architect's View: explore design features like bus-width, memory organization, die-area etc Verification View: cycle-accurate modelling, simulate actual timing and memory requirements, closest to RTL

Terminologies.. OCP-IP modelling kit Introduces four levels –TL1: cycle accurate modelling, supports all dataflow signals of OCP through extensions and phases –TL2/TL3: approximate timed modelling, fewer extensions and phases –TL4: loosely timed modelling, phases are not used, blocking transport mechanism is used –Compatible with OSCI BP wherever possible

Terminologies.. OSCI TLM2.0 Provides generic framework for memory mapped busses Defines a Base protocol Provides infrastructure for extending base protocol to model at different abstraction levels Recommends two coding styles Abstraction levels not well defined

Terminologies.. STARC TLM Guideline Uses timing and data granularity axis to define abstraction levels Combines points on these axis to define Abstraction levels Timing : UnTimed, ApproximatelyTimed, CycleAccurate Data : TRansaction, BusPhase, BusCycle, BusSignal

Source: STARC TL Guideline, 2 nd Edition Terminologies..

Timing Accuracy Data Granularity Mapping of the OSCI Abstraction Levels

Terminologies.. Timing Accuracy Data Granularity Mapping of the OCP Abstraction Levels

Source: STARC TL Guideline, 2 nd Edition Mapping UseCases

Implementation By extending OSCI TLM2.0 –blocking and non_blocking transport APIs –blocking can use wait, temporal decoupling –non_blocking uses phases and PEQs –Extend protocol for lower abstraction levels or bus specific features typedef generic_payload Define new payload Define new phases

Implementation Example OCP-IP Modelling Kit Support for advanced communication protocols at various abstraction levels –Built on top of TLM2.0 –Payload extensions –Phase extensions –Master Sockets with memory management for payload and extensions –Slave sockets with PEQ for timing annotations

Implementation Example.. OCP-IP TL1 Cycle accurate using extensions & phases Support for individual beats of burst transfers Different from OSCI BP –Enforces END_X for every BEGIN_X –Allows phase overlap –Disallows use of TLM_COMPLETED(no shortcuts)‏ –Modules synchronized at boundary of same clock and supports non-default timing

Implementation Example..

OCP TL2 Used for Approximate Timed coding styles Acts as bridge between TL1 and TL3 Phases like TL1 but exact clocking is optional Used for intra-burst timing Implementation Example..

OCP TL3 Data phases are not used Some extensions are not used as intermediate timing is not captured Maximum interoperability with OSCI BP Different bursts are indistinguishable as data transfer completes in one go Synchronized at interface method calls Implementation Example..

TL3 example : phases same as OSCI BP Implementation Example..

TL3 example : request_accept_delay and response latency is zero Implementation Example..

OCP TL4 loosely timed coding style of OSCI BP Phases are not used Transfer completes when b_transport returns Detail timing behavior not modelled Implementation Example..

Adapters TL3 Slave RTL Master TL1 Module InterConnect Models at different abstraction levels are to be connected -Skip intermediate phases by combining them -May need to arrange data within themselves

TL1 Master to TL3 Slave TL1 MTL3 SAdapter Beg_Resp Beg_Req Beg_Data Beg_Req End_Resp Adapters

TL4 M TL4 Master to TL3 Slave TL3 SAdapter b_transport nb_tr ( beg_req)‏ nb_tr ( beg_resp)‏ wait()‏ Return b_transport Adapters

Conclusion OSCI TLM2.0 can be extended to implement different abstraction levels. OCP-IP TLM Kit extends TLM2.0 for OCP-IP bus protocol. Models at different abstraction levels can be easily connected using adapters

References OSCI TLM2.0 User Manual OCP-IP TLM Modelling Kit Manual STARC TLM Guide, 2 nd Edition

Questions SoC Modelling Services (SystemC, TLM2.0)‏