CS-724 / 2 credits

Teacher(s): De Micheli Giovanni, Soeken Mathias

Language: English

Remark: Next time: To be confirmed


Logic synthesis describes techniques to map complex functionality into a sequence of a few, simple, and small logic primitives. It finds application dominantly in digital design, but is most recently also frequently used in cryptography and quantum computing.



Logic synthesis, optimization, algorithms, SAT solving, efficient data structures, quantum computing, quantum compilation

Learning Prerequisites

Required courses

No specific course requirement.

Recommended courses

CS 472 (helps, but not mandatory, the course is self-contained)

Important concepts to start the course

Knowledge of digital circuits, data structures and algorithms, and programming.

Learning Outcomes

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

  • Implement data structures and algorithms to manipulate logic networks
  • Integrate incremental SAT solving into efficient algorithms
  • Implement a program on a quantum computer and optimise it

Transversal skills

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

Assessment methods

Project 100%



Isaac Chuang and Michael Nielsen: Quantum Computation and Quantum Information

Ressources en bibliothèque

In the programs

  • Exam form: Project report (session free)
  • Subject examined: Advanced logic synthesis and quantum computing
  • Lecture: 20 Hour(s)
  • Exercises: 8 Hour(s)

Reference week

Related courses

Results from graphsearch.epfl.ch.