Fiches de cours 2017-2018

PDF
 

Hardware systems modeling I

EE-432

Enseignant(s) :

Vachoux Alain

Langue:

English

Summary

Creation and use of models in digital hardware design from the RTL design with the VHDL language to the more abstract system level as required for designing modern systems-on-chip. The SystemVerilog and SystemC languages and the principles of functional verification will be introduced.

Content

Introduction

System-on-chip (SoC) design issues. Design methodologies and design tasks. Notion of model. Hardware description and verification languages at RTL and system level.

Digital hardware modeling at RTL and system level

Review of essential modeling concepts in RTL design using VHDL. Discrete-event (DE) modeling. Untimed modeling (algorithmic, functional). Transaction-level modeling (TLM). Dataflow (DF) modeling. Modeling using SystemVerilog and SystemC.

Functional verification of systems-on-chip

Fundamental elements of the functional verification for SoCs: challenges of the verification of complex SoCs, verification methodologies, definition and use of a verification plan, architecture and elements of a layered verification environment. Use of Open Source VHDL Verification Methodology (OSVVM) for building an efficient and scalable functional verification environment.

Keywords

Hardware description and verification language, model of computation, functional verification, VHDL, SystemVerilog, SystemC.

Learning Prerequisites

Required courses

Logic systems (CS-171). Digital Systems Design (EE-334).

Recommended courses

Lab in digital systems design (EE-397).

Important concepts to start the course

Combinational and sequential components in digital electronic systems. RTL design (control and datapath processing). Use of VHDL for synthesis.

Learning Outcomes

By the end of the course, the student must be able to:

Teaching methods

Lectures with integrated exercises.

Expected student activities

Attending lectures. Completing exercises. Using state-of-the-art electronic design automation (EDA) tools.

Assessment methods

Homework exercises (10%). Midterm examination (40%). Final examination including a quiz and problems (50%).

Supervision

Office hours No
Assistants Yes
Forum Yes
Others Individual feedback comments on delivered work in the Moodle page of the course.

Resources

Bibliography

A. Jantsch, Modeling Embedded Systems and SOC's, Morgan Kaufmann (Elsevier), 2004.

P.P. Chu, RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability, Wiley-Interscience, 2006.

T. Grötker, et al., System Design with SystemC, Springer, 2002.

C. Spear, G. Tumbush, SystemVerilog for Verification - A Guide to Learning the Testbench Language Features, Springer, 3rd ed., 2012.

Ressources en bibliothèque
Notes/Handbook

Course notes. VHDL/SystemVerilog/SystemC in a nutshell. EDA tool user's guide.

Websites
Moodle Link

Prerequisite for

Hardware systems modeling II (EE-433). VLSI design II (EE-431).

Dans les plans d'études

  • Génie électrique et électronique , 2017-2018, Master semestre 1
    • Semestre
      Automne
    • Forme de l'examen
      Ecrit
    • Crédits
      2
    • Matière examinée
      Hardware systems modeling I
    • Cours
      2 Heure(s) hebdo x 14 semaines
  • Génie électrique et électronique , 2017-2018, Master semestre 3
    • Semestre
      Automne
    • Forme de l'examen
      Ecrit
    • Crédits
      2
    • Matière examinée
      Hardware systems modeling I
    • Cours
      2 Heure(s) hebdo x 14 semaines
  • Computer engineering minor, 2017-2018, Semestre automne
    • Semestre
      Automne
    • Forme de l'examen
      Ecrit
    • Crédits
      2
    • Matière examinée
      Hardware systems modeling I
    • Cours
      2 Heure(s) hebdo x 14 semaines
  • Mineur STAS Chine, 2017-2018, Semestre automne
    • Semestre
      Automne
    • Forme de l'examen
      Ecrit
    • Crédits
      2
    • Matière examinée
      Hardware systems modeling I
    • Cours
      2 Heure(s) hebdo x 14 semaines

Semaine de référence

LuMaMeJeVe
8-9
9-10
10-11
11-12
12-13
13-14
14-15 DIA003
ELD020
15-16
16-17
17-18
18-19
19-20
20-21
21-22
Cours
Exercice, TP
Projet, autre

légende

  • Semestre d'automne
  • Session d'hiver
  • Semestre de printemps
  • Session d'été
  • Cours en français
  • Cours en anglais
  • Cours en allemand