CS-472 / 6 credits

Teacher: De Micheli Giovanni

Language: English


Summary

Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.

Content

The course will present the most outstanding features of hardware compilation, as well as the techniques for optimizing logic representations and networks. The course gives a novel, uptodate view of digital circuit design. Practical sessions will teach students the use of current design tools.Syllabus1) Modeling languages and specification formalisms;2) High-level synthesis and optimization methods (scheduling, binding, data-path and control synthesis);3) Representation and optimization of combinational logic functions (encoding problems, binary decision diagrams);4) Representation and optimization of multiple-level networks (algebraic and Boolean methods, "don't care" set computation, timing verification and optimization);5) Modeling and optimization of sequential functions and networks (retiming);6) Semicustom libraries and library binding.

Keywords

Hardware, VLSI, Synthesis, Optimization, Algorithms

Learning Prerequisites

Required courses

No specific course

Recommended courses

Good knowledge of digital design, algorithm design and programming.

Important concepts to start the course

Good knowledge of digital design, algorithm design and programming.

Learning Outcomes

By the end of the course, the student must be able to:

  • Recognize important problems in digital design
  • Examine and evaluate available design tools and methods
  • Decide upon a design tool flow to perform a digital design

Transversal skills

  • Plan and carry out activities in a way which makes optimal use of available time and other resources.

Assessment methods

Continuous control :
Homework : 30 %, Project 10 %, Midterm test : 25 %,
End term test : 35 %

Resources

Bibliography

G. De Micheli, Synthesis and Optimization of Digital Circuits, McGraw'Hill.

Ressources en bibliothèque

Moodle Link

In the programs

  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: mandatory
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional
  • Semester: Fall
  • Exam form: During the semester (winter session)
  • Subject examined: Design technologies for integrated systems
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Labs: 2 Hour(s) per week x 14 weeks
  • Type: optional

Reference week

Tuesday, 8h - 10h: Lecture INM10

Thursday, 10h - 11h: Lecture INR219

Thursday, 11h - 13h: Project, labs, other INR219

Related courses

Results from graphsearch.epfl.ch.