Advanced Digital Systems
PCS Acad. year 2020/2021 Winter semester 5 credits
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
Subject specific learning outcomes and competences
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.
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.
Why is the course taught
Design of real digital circuits often requires advanced knowledge, such as a deeper understanding of the synthesis process and its result, power-aware digital design, appropriate setting of constraints or functional verification. The goal of this course is to familiarize a student with these techniques and prepare him/her for a future profession in this area.
Prerequisite kwnowledge and skills
Digital system design, basic programming skills.
- Lecture notes in e-format
- Khatri S. P., Gulati K. (eds.): Advanced Techniques in Logic Synthesis, Optimizations and Applications, ISBN 978-1-4419-7517-1, 2011
- Rabaey J., Pedram M.: Low Power Design Methodologies, Kluwer, ISBN 0792396308, 1996
Syllabus of lectures
- 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).
Syllabus of computer exercises
- 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.
Syllabus - others, projects and individual work of students
- Individual project focused on synthesis of digital circuits.
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:
- 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.
Requirements for class accreditation are not defined.
Course inclusion in study plans
- Programme IT-MSC-2, field MBI, MGM, any year of study, Compulsory-Elective group C
- Programme IT-MSC-2, field MBS, MIN, MIS, MMM, MSK, any year of study, Elective
- Programme IT-MSC-2, field MPV, 2nd year of study, Compulsory
- Programme MITAI, specialisation NADE, NBIO, NCPS, NGRI, NHPC, NIDE, NISD, NISY, NMAL, NMAT, NNET, NSEC, NSEN, NSPE, NVER, NVIZ, any year of study, Elective
- Programme MITAI, specialisation NEMB, any year of study, Compulsory