Course detail

Advanced Digital Systems

FIT-PCSAcad. year: 2023/2024

This course is aimed at teaching advanced techniques of digital circuit design. Firstly, it presents a brief overview of basic approaches to modelling and simulation of digital circuits using the VHDL language and summarizes key properties of target technologies, such as ASIC and FPGA. Next, the course introduces advanced techniques of digital circuits minimization and synthesis (pipelining, retiming), which are supplemented by the application of constraints. The main part of the course is focused on modern approaches to the synthesis of digital circuits. This includes models and methods used for optimisation at logical level and with respect to target technology as well as approaches that build on synergy between synthesis and verification of digital circuits. Apart from these main topics, the course also touches some additional topics like low-power design and the verification of digital circuits based on the OVM methodology.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

doc. Ing. Jan Kořenek, Ph.D.

Department

Department of Computer Systems (UPSY)

Entry knowledge

Digital system design, basic programming skills.

Rules for evaluation and completion of the course

Written mid-term exam and project in due dates.

Presence in any form of instruction is not compulsory. An absence (and hence loss of points) can be compensated in the following ways: 

  1. presence in another laboratory group dealing with the same task. 
  2. showing a summary of results to the tutor at the next lab. 
  3. sending a short report (summarizing the results of the missed lab and answering the questions from the assignment) to the tutor, in 14 days after the missed lab.

Aims

To give the students the knowledge of advanced digital systems design including hardware description languages, professional CAD tools, techniques for constrained design, and PLD technology.
The students are able to design complex constrained digital systems using contemporary design techniques and they know modern methods for synthesis and verification of these systems.

Study aids

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

M. Morris Mano, Michael D. Ciletti: Digital Design, ISBN  978-9353062019, 2018 (EN)
Micheli G., High-Level Synthesis from Algorithm to Digital Circuit, ISBN 978-1-4020-8587-1, 2008 (EN)

Recommended literature

Khatri S. P., Gulati K. (eds.): Advanced Techniques in Logic Synthesis, Optimizations and Applications, ISBN 978-1-4419-7517-1, 2011 (EN)
Rabaey J., Pedram M.: Low Power Design Methodologies, Kluwer, ISBN 0792396308, 1996 (EN)

Elearning

eLearning: currently opened course

Classification of course in study plans

  • Programme IT-MSC-2 Master's

    branch MGM , 0 year of study, winter semester, compulsory-optional
    branch MBI , 0 year of study, winter semester, compulsory-optional
    branch MBS , 0 year of study, winter semester, elective
    branch MPV , 2 year of study, winter semester, compulsory
    branch MIS , 0 year of study, winter semester, elective
    branch MIN , 0 year of study, winter semester, elective
    branch MSK , 0 year of study, winter semester, elective
    branch MMM , 0 year of study, winter semester, elective

  • Programme MITAI Master's

    specialization NSPE , 0 year of study, winter semester, elective
    specialization NBIO , 0 year of study, winter semester, elective
    specialization NSEN , 0 year of study, winter semester, elective
    specialization NVIZ , 0 year of study, winter semester, elective
    specialization NGRI , 0 year of study, winter semester, elective
    specialization NADE , 0 year of study, winter semester, elective
    specialization NISD , 0 year of study, winter semester, elective
    specialization NMAT , 0 year of study, winter semester, elective
    specialization NSEC , 0 year of study, winter semester, elective
    specialization NISY up to 2020/21 , 0 year of study, winter semester, elective
    specialization NCPS , 0 year of study, winter semester, elective
    specialization NHPC , 0 year of study, winter semester, elective
    specialization NNET , 0 year of study, winter semester, elective
    specialization NMAL , 0 year of study, winter semester, elective
    specialization NVER , 0 year of study, winter semester, elective
    specialization NIDE , 0 year of study, winter semester, elective
    specialization NEMB , 0 year of study, winter semester, compulsory
    specialization NISY , 0 year of study, winter semester, elective
    specialization NEMB up to 2021/22 , 0 year of study, winter semester, compulsory

Type of course unit

 

Lecture

26 hod., optionally

Teacher / Lecturer

doc. Ing. Jan Kořenek, Ph.D.
Ing. Marcela Zachariášová, Ph.D.
Ing. Lukáš Kekely, Ph.D.
Ing. Jiří Matoušek, Ph.D.

Syllabus

  • Combinatorial and sequential logic design techniques, algorithms, and tools review.
  • Review of digital design target technologies (ASIC, FPGA).
  • Algorithms for minimization of digital circuits.
  • Advanced synthesis techniques (pipelining, retiming).
  • Constraint conditions.
  • Models and methods for modern synthesis of digital circuits (AIG, BDD, SAT solvers).
  • Modern synthesis of digital circuits (logic optimization).
  • Modern synthesis of digital circuits (optimization for target technology).
  • Synergy between synthesis and verification of digital circuits.
  • Low power design methodologies.
  • Development tools for FPGA and SoC.
  • Verification of digital circuits (OVM methodology).

Exercise in computer lab

10 hod., compulsory

Teacher / Lecturer

Ing. Marcela Zachariášová, Ph.D.
Ing. Lukáš Kekely, Ph.D.
Ing. Jiří Matoušek, Ph.D.

Syllabus

  • Synthesis of the basic logic circuits, pipelining, retiming.
  • Constraint conditions.
  • Synthesis of basic digital circuits using ABC tool.
  • Synthesis of advanced digital circuits using ABC tool.
  • Verification of digital circuits.

Project

16 hod., compulsory

Teacher / Lecturer

Ing. Jiří Matoušek, Ph.D.
Ing. Lukáš Kekely, Ph.D.

Syllabus

  • Individual project focused on synthesis of digital circuits.

Elearning

eLearning: currently opened course