Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2024/2025

Systems on Chip

The course is not on the list Without time-table
Code Completion Credits Range Language
MI-SOC.16 Z,ZK 5 2P+1C Czech
Relations:
It is not possible to register for the course MI-SOC.16 if the student is concurrently registered for or has already completed the course NI-ESW (mutually exclusive courses).
It is not possible to register for the course MI-SOC.16 if the student is concurrently registered for or has previously completed the course NI-ESW (mutually exclusive courses).
The requirement for course MI-SOC.16 can be fulfilled by substitution with the course NI-ESW.
Course guarantor:
Lecturer:
Tutor:
Supervisor:
Department of Digital Design
Synopsis:

Students gain key knowledge and skills in the design of large-scale digital systems. They will be familiar with architectures of such systems and communication among their parts. They will use an appropriate workflow to design these architectures, their hardware and software. They will also have knowledge of contemporary methods of large systems verification and fault-tolerant systems design.

Requirements:

Design and test of combinational and synchronous sequential digital circuits and corresponding workflows. System modeling and modeling languages. Basic overview of verification methods.

Syllabus of lectures:

1. A taxonomy and characteristics of systems on a chip (SoC). Common requirements to SoC. Implementation platforms, granularity.

2. On the chip communications, quantitative approach.

3. Hardware-software decomposition, design space exploration.

4. Harware-software codesign methods and metrics.

5. Real-time systems, architectures, properties.

6. Real-time operation systems (RTOS), fault-tolerant software.

7. Fault-tolerant systems, Dependability models and method of dependability characteristics´ computations.

8. System-level timing and synchronization.

9. Networks on chip (NoC), routing protocols and their implementation.

10. Low-power design.

11. SoC modeling and verification methods. Software-hardware co-verification.

12. Verification by simulation, simulation cover monitoring and control, stimuli generation methods.

13. Practical applications.

Syllabus of tutorials:

1. Team construction and project topic selection close to SoC.

2. Practical HW/SW Co-Design (Xilinx Zynq)

3. Processor design in CODASIP

5. Consultations of partial results

6. Semestral team project prezentation

7. Project review and discussion

Study Objective:

Modern highly integrated digital systems are designed to achieve high performance, small dimensions, and low energy consumption. The module brings knowledge required to design both the software and the hardware of such systems, because both areas are tightly coupled. Nevertheless, design is only a small part of the game. „We will die of verification“ was heard at conferences as early as in 2000, in reference to difficult verification of system correctness. Therefore, we present the contemporary state-of-the-art in this area, as it is necessary for verification engineers. The last part of the course is dedicated to the construction of dependable systems for critical applications.

Study materials:

1. Pasricha, S., Dutt, N. ''On-Chip Communication Architectures: System on Chip Interconnect''. Morgan Kaufmann, 2008. ISBN 012373892X.

2. Erbas, G. ''System-Level Modeling and Design Space Exploration for Multiprocessor Embedded System-on-Chip Architectures''. Amsterdam University Press, 2006. ISBN 9056294555.

Note:
Further information:
https://courses.fit.cvut.cz/MI-SOC/
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2024-12-04
For updated information see http://bilakniha.cvut.cz/en/predmet4656906.html