System Modelling and Verification (ILV)

Back
Course numberM2.02840.20.041
Course codeSysMod
Curriculum2023
Semester of degree program Semester 2
Mode of delivery Presencecourse
Units per week3,5
ECTS credits5,0
Language of instruction English

  • Students have know-how in the field of applied embedded computing
  • They know details about HW/SW development and SoC design, including computer architectures, bus systems and memory
  • They can use modern design tools for practical project work

ILV "Digital Integrated Circuits 1"
ILV "Digital Integrated Circuits 2"
ILV "Computer Aided Design 1"
ILV "Computer Aided Design 2"
ILV "System Modelling and Verification"

This module introduces advanced topics in the field of System-on-Chip design and will be offered as elective course. The choice of topic is open and will depend on demand or availability. Possible topics are:

  • Introduction to embedded systems and system-on-chips
  • Computer architecture: Instruction Set Architectures, CPU versus DSP versus ASIP (low-level differences), Design of arithmetic logical units and MACs, guarding, flagging
  • Bus systems overview, how to transport data (SRAM bus, Wishbone, AXI, EoC or similar)
  • IP and Memories: RAMs, ROMs, PROMs (eFuse, Flash, EPROM, EEPROM), REG-files, IP-XACT
  • Tool flows for SW development in ASM, C/C++, unit testing
  • HW/SW partitioning, co-design and verification
  • Practical examples

Lecture material as provided in the course (required)
Recommended reading as follows:

  • D. A. Patterson, J. L. Hennessy, Computer Organisation and Design: The Hardware Software Interface, Morgan Kaufmann, 2011.
  • D. A. Patterson, J. L. Hennessy, Computer Organisation and Design - RISC-V Edition, Morgan Kaufmann, 2020.
  • Web: https://riscv.org/

Project-based learning based on hands on examples.
Collaborative learning based on assignments covering different topics.
Flipped classroom by incorporating student presentations from asynchronous learning (homework) tasks.

Integrated module examination
Immanent examination character: Written/oral exam, including homework assignments, presentations and lecture contribution