Course detail

Advanced Techniques in Digital Design

FIT-PNDAcad. year: 2017/2018

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.

Language of instruction

Czech

Mode of study

Not applicable.

Guarantor

doc. Dr. Ing. Otto Fučík

Department

Department of Computer Systems (UPSY)

Learning outcomes of the course unit

Students will be able to use modern techniques, tools and technologies for the design of hardware devices. 

Using modern techniques to design hardware devices.

Prerequisites

There are no prerequisites

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.

Course curriculum

    Syllabus of lectures:
    1. Introduction: Summary of current approaches to digital design.
    2. 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).
    3. Synthesis of circuits from high-level programming languages (circuit representation, process planning, allocation and assignment of resources).
    4. Functional verification of digital circuits with respect to the coverage of source codes, states, etc. The synergy of logic synthesis and verification. OVM methodology.
    5. Embedded computer system, design of embedded systems with microcontrollers, specification of requirements for embedded systems.
    6. The methods to select appropriate target platform for the embedded system, processes to select appropriate key components of the system.
    7. Typical software architecture of embedded system. Testing, debugging and diagnostics of embedded systems.
    8. Modern computing technologies, structures and heterogeneous platforms (FPGAs 3D IC, IP-core, hard / soft CPU, DSP etc.).
    9. Concurrent design of embedded HW / SW systems (models, distribution, estimates, synthesis, integration, optimization).
    10. Reconfigurable computing - acceleration in hardware with flexibility of software. (reconfiguration, design tools for C / C ++ high-level synthesis etc.).
    11. The design of embedded systems with respect to the energy consumption (power reduction at various levels, ambient energy sources and their use etc.).
    12. Acceleration of application-specific time-critical operations (network traffic processing, image processing, etc.).
    13. Recent trends in technology, logic synthesis and reconfigurable computing.

    Syllabus - others, projects and individual work of students:
    A project will be assigned to each student. 

Work placements

Not applicable.

Aims

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.

Specification of controlled education, way of implementation and compensation for absences

Elaboration and presentation of a project. 

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Victor Kravets, Alan Mishchenko, Smita Krishnasamy, Nilesh Modi, Robert Brayton, Ruchir Puri, Kanupriya Gulati, and Sunil Khatri. 2010. Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer Publishing Company, Incorporated.Micheli G., High-Level Synthesis from Algorithm to Digital Circuit, ISBN 978-1-4020-8587-1, 2008Hauck, S., DeHon, A.: Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation. Morgan Kaufmann Publishers Inc., USA, 2007, ISBN 978-0-12-370522-8.Ball, S. R.: Embeded Microprocessor Systems: Real World Design. Elsevier, USA, 2002, ISBN 0-7506-7534-9.J. M. Rabaey, Low Power Design Essentials, Series on Integrated Circuits and Systems, New York, NY: Springer New York, 2009.

Recommended reading

Victor Kravets, Alan Mishchenko, Smita Krishnasamy, Nilesh Modi, Robert Brayton, Ruchir Puri, Kanupriya Gulati, and Sunil Khatri. 2010. Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer Publishing Company, Incorporated.Micheli G., High-Level Synthesis from Algorithm to Digital Circuit, ISBN 978-1-4020-8587-1, 2008Hauck, S., DeHon, A.: Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation. Morgan Kaufmann Publishers Inc., USA, 2007, ISBN 978-0-12-370522-8.Ball, S. R.: Embeded Microprocessor Systems: Real World Design. Elsevier, USA, 2002, ISBN 0-7506-7534-9.J. M. Rabaey, Low Power Design Essentials, Series on Integrated Circuits and Systems, New York, NY: Springer New York, 2009.

Classification of course in study plans

  • Programme CSE-PHD-4 Doctoral

    branch DVI4 , 0 year of study, winter semester, elective

Type of course unit

 

Lecture

39 hod., optionally

Teacher / Lecturer

doc. Dr. Ing. Otto Fučík

Syllabus

  1. Introduction: Summary of current approaches to digital design.
  2. 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).
  3. Synthesis of circuits from high-level programming languages (circuit representation, process planning, allocation and assignment of resources).
  4. Functional verification of digital circuits with respect to the coverage of source codes, states, etc. The synergy of logic synthesis and verification. OVM methodology.
  5. Embedded computer system, design of embedded systems with microcontrollers, specification of requirements for embedded systems.
  6. The methods to select appropriate target platform for the embedded system, processes to select appropriate key components of the system.
  7. Typical software architecture of embedded system. Testing, debugging and diagnostics of embedded systems.
  8. Modern computing technologies, structures and heterogeneous platforms (FPGAs 3D IC, IP-core, hard / soft CPU, DSP etc.).
  9. Concurrent design of embedded HW / SW systems (models, distribution, estimates, synthesis, integration, optimization).
  10. Reconfigurable computing - acceleration in hardware with flexibility of software. (reconfiguration, design tools for C / C ++ high-level synthesis etc.).
  11. The design of embedded systems with respect to the energy consumption (power reduction at various levels, ambient energy sources and their use etc.).
  12. Acceleration of application-specific time-critical operations (network traffic processing, image processing, etc.).
  13. Recent trends in technology, logic synthesis and reconfigurable computing.