Course

Unit 1:

Introduction to Electronic System Level Design–Design Space Exploration – Hybrid Design – ESLD Flows and Methodologies – Architecture Exploration–Hardware-software Partitioning.

Unit 2:

Models for ESL Design– Open-Source Language–SpecC (basic idea), System C –Transaction Level Modelling- Building Platform Models- High Level Synthesis-– Power Evaluation –– Virtual Platform and Virtual Prototyping.

Unit 3:

Functional Models- High Level verification- Formal solution- Debugging Platform Models Case study: Bluespec and Accellera initiatives on test and stimulus standards- Property Specification Language.

Course Objectives

• To introduce design and verification at system level.
• To introduce Open Source language based design and debug.
• To provide basics of Transaction Level Modelling and High Level Synthesis.
• To introduce portable test and stimulus standards.

+

Course Outcomes: At the end of the course, the student should be able to

• CO1: To Understand Electronic System level Design and Verification.
• CO2: Apply system level design methodologies using open-source languages.
• CO3: Analyze virtual prototyping and its advantages
• CO4: Evaluating the transaction level models built using SystemC.

Skills Acquired: System level modelling and verification

CO-PO Mapping:

1. Sandro Rigo, Rodolfo Azevedo and Luizsantos, Electronic System Level Design – An Open Source Approach, Springer, 2011.
2. Bailey, Brian, and Grant Martin. “ESL Models and their Application.” Springer, Boston, MA, Springer, USA, DOI 10 (2010): 978-1.
3. David Black, Jack Donovan, Bill Bunton and Anna Keist, “System C from the ground up”, Second Edition, Springer, 2010.