Course detail
Advanced Digital Systems
FIT-PCSAcad. year: 2019/2020
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
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Exam prerequisites:
Requirements for class accreditation are not defined.
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
- presence in another laboratory group dealing with the same task.
- showing a summary of results to the tutor at the next lab.
- 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.
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Micheli G., High-Level Synthesis from Algorithm to Digital Circuit, ISBN 978-1-4020-8587-1, 2008 (EN)
Recommended reading
Rabaey J., Pedram M.: Low Power Design Methodologies, Kluwer, ISBN 0792396308, 1996 (EN)
Classification of course in study plans
- Programme IT-MSC-2 Master's
branch MBI , 0 year of study, winter semester, compulsory-optional
branch MSK , 0 year of study, winter semester, elective
branch MMM , 0 year of study, winter semester, elective
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 MGM , 0 year of study, winter semester, compulsory-optional - Programme MITAI Master's
specialization NEMB , 0 year of study, winter semester, compulsory
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 NISD , 0 year of study, winter semester, elective
specialization NSEC , 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 NSPE , 0 year of study, winter semester, elective
specialization NADE , 0 year of study, winter semester, elective
specialization NMAT , 0 year of study, winter semester, elective
specialization NISY , 0 year of study, winter semester, elective
Type of course unit
Lecture
Teacher / Lecturer
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.
- Reconfigurable computing.
- Verification of digital circuits (OVM methodology).
Exercise in computer lab
Teacher / Lecturer
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
Teacher / Lecturer
Syllabus
- Individual project focused on synthesis of digital circuits.