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.

Hardware, VLSI, Synthesis, Optimization, Algorithms

No specific course

Good knowledge of digital design, algorithm design and programming.

Good knowledge of digital design, algorithm design and programming.

• 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

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

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

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

• Synthesis and Optimization of Digital Circuits / De Micheli http://library.epfl.ch/en/beast?isbn=0070163332

• https://go.epfl.ch/CS-472https://go.epfl.ch/CS-472