System Modelling and Verification (ILV)
BackCourse number | M2.02840.20.041 |
Course code | SysMod |
Curriculum | 2023 |
Semester of degree program | Semester 2 |
Mode of delivery | Presencecourse |
Units per week | 3,5 |
ECTS credits | 5,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