Course details
Advanced Techniques in Digital Design
PND Acad. year 2024/2025 Winter semester
This course introduces advanced techniques for digital design. It is focused on logic synthesis and verification of complex logic circuits, efficient utilization of hardware and software and modern technology to construct hardware devices. In particular, the following topics will be discussed: Advanced logic synthesis and verification, high-level synthesis, hardware/software codesign, low power design and reconfigurable computing. The mentioned approaches and techniques will be illustrated on the design of application specific systems.
Areas of questions for the state doctoral examination
- Principles of logical synthesis of digital circuits (representation, optimization, mapping).
- Modern approaches to the synthesis of digital circuits (AIG, BDD, functional equivalence verification).
- HW synthesis from higher programming languages (representation, allocation, planning, binding).
- Application of constraints.
- Verification of digital circuits, OVM methodology.
- Processing technologies (FPGA, 3D IC, IP-core, hard / soft CPU, DSP, etc.).
- Embedded systems, SW architecture.
- Methodology of designing HW / SW signature codes, platforms, programmable logic circuits.
- Reconfigurable computing.
- Design techniques for energy efficient and low-power systems.
Guarantor
Language of instruction
Completion
Time span
- 39 hrs lectures
Assessment points
- 100 pts final exam
Department
Learning objectives
To understand advanced techniques in design of complex digital systems. To be able to use modern technology and systems for digital design to build new hardware devices. To understand modern principles of logic synthesis and get advanced knowledge in hardware/software codesign and reconfigurable computing.
Students will be able to use modern techniques, tools and technologies for the design of hardware devices.
Using modern techniques to design hardware devices.
Study literature
- Joo Manuel Paiva Cardoso, Jos Gabriel de Figueiredo Coutinho, and Pedro C. Diniz. 2017. Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
- Marwedel, P.: Embeded System Design: Embedded Systems Foundations of Cyber-Physical Systems and the Internet of Things, 3rd Edition. Springer, USA, 2018, ISBN 978-3-319-56043-4.
- Sarkar, Angsuman, Swapnadip De, Manash Chanda, and Chandan Kumar Sarkar. 2016. Low Power VLSI Design Fundamentals.
Syllabus of lectures
- Introduction: Summary of current approaches to digital design.
- Modern approaches to the logic synthesis of digital circuits, optimization at the logical level and the target technology. Models and methods of synthesis (AIG, BDD,functional equivalence checking).
- Synthesis of circuits from high-level programming languages (circuit representation, process planning, allocation and assignment of resources).
- Functional verification of digital circuits with respect to the coverage of source codes, states, etc. The synergy of logic synthesis and verification. OVM methodology.
- Embedded computer system, design of embedded systems with microcontrollers, specification of requirements for embedded systems.
- The methods to select appropriate target platform for the embedded system, processes to select appropriate key components of the system.
- Typical software architecture of embedded system. Testing, debugging and diagnostics of embedded systems.
- Modern computing technologies, structures and heterogeneous platforms (FPGAs 3D IC, IP-core, hard / soft CPU, DSP etc.).
- Concurrent design of embedded HW / SW systems (models, distribution, estimates, synthesis, integration, optimization).
- Reconfigurable computing - acceleration in hardware with flexibility of software. (reconfiguration, design tools for C / C ++ high-level synthesis etc.).
- The design of embedded systems with respect to the energy consumption (power reduction at various levels, ambient energy sources and their use etc.).
- Acceleration of application-specific time-critical operations (network traffic processing, image processing, etc.).
- Recent trends in technology, logic synthesis and reconfigurable computing.
Progress assessment
Elaboration and presentation of a project.
Course inclusion in study plans
- Programme DIT, any year of study, Compulsory-Elective group O
- Programme DIT, any year of study, Compulsory-Elective group O
- Programme DIT-EN (in English), any year of study, Compulsory-Elective group O
- Programme DIT-EN (in English), any year of study, Compulsory-Elective group O
- Programme VTI-DR-4, field DVI4, any year of study, Elective
- Programme VTI-DR-4, field DVI4, any year of study, Elective
- Programme VTI-DR-4 (in English), field DVI4, any year of study, Elective