Fiches de cours

Advanced logic synthesis and quantum computing

CS-724

Lecturer(s) :

De Micheli Giovanni
Soeken Mathias

Language:

English

Frequency

Only this year

Remarque

Next time: Spring 2019

Summary

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.

Content

The course is structured into two major parts. In the first part, the course will present fundamental advanced logic synthesis algorithms such as cut enumeration, Boolean resynthesis, standard cell mapping, and LUT mapping. It will also present more recent techniques such as exact synthesis and majority-based logic synthesis.

 

The second part discusses quantum compilation, which is the automatic translation of quantum algorithms into quantum circuits that can run on physical quantum computers. After an introduction into quantum algorithms, quantum circuits, and quantum gates, the course will present automatic compilation techniques based on the logic synthesis techniques described in the first part. The whole compilation flow is illustrated, and the course will present how the resulting circuits can be run on currently available physical quantum computers.

 

Keywords

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 algorithm design and programming.

Learning Outcomes

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

Transversal skills

Assessment methods

Project: 40%
Oral exam: 60%

Resources

Bibliography

Isaac Chuang and Michael Nielsen: Quantum Computation and Quantum Information

In the programs

Reference week

 
      Lecture
      Exercise, TP
      Project, other

legend

  • Autumn semester
  • Winter sessions
  • Spring semester
  • Summer sessions
  • Lecture in French
  • Lecture in English
  • Lecture in German