Advanced Logic Design
(IL2209, PhD 2B5473)
October - December 2012
NEWS:
The project description is now availible below.
SUMMARY:
The design paradigm of how to build chips is now changing due to the
underlying technology changes with emphasis placed on different
objectives of the synthesis and different sources affecting parameters
like delay, communication, and power. This brings the need for new,
non-standard approaches to logic synthesis.
OBJECTIVES:
The aims of this course are:
- to gain knowledge of the data structures and
algorithms used in modern logic synthesis tools
- to learn advanced techniques for logic circuit optimization
- to develop skills in evaluating different data structures
for target applications
- to understand merits and limitations of logic synthesis
TOPICS:
The following is a tentative list of topics to be covered:
- Introduction:
- steps of design process
- computational complexity
- Boolean algebra, Boolean functions
- Data structures
- cubes
- Binary Decision Diagrams
- Boolean networks
- Algorithms
- exact and heuristic two-level optimization
- multi-level optimization, Boolean and algebraic decomposition, graph dominators
- technology mapping
- Non-traditional synthesis
- Galois field optimization
- Multiple-valued logic optimization
EVALUATION:
The evaluation will be based on 5 homework assignments (theory, 16%), four quizzes (theory, 4%), a
project (programming, 30%) and a final exam (50%). For PhD students,
an additional task will be to read and present a paper approved by the
instructor (20 min talk).
LECTURE HANDOUTS:
The following 12 lecture handouts
contain the material covered by the course.
ASSIGNMENTS:
Here is a list of assignments.
Assignment 4 is due Nov. 22th.
QUIZZES:
You will be informed about the date for the next quiz here.
PROJECT:
The description of the project is availible here.
FINAL EXAM:
The final exam will take place on Monday December 10, 9-13, rooms 539, 540.
Please, don't forget to register!
Here is an example of the last year final exam.
PREREQUISITES:
Basic understanding of circuits and digital logic, some background in
algorithms and a programming background in C.
TEXTBOOKS (optional):
- Ed. S. Hassoun and T. Sasao,
"Logic Synthesis and Verification",
Kluwer Academic Publishers, 2002, ISBN 0-7923-7606-4.
- G. De Micheli,
"Synthesis and optimization of digital circuits",
McGraw-Hill, 1994.
CONTACT PERSON:
Elena Dubrova
Department of Electronics, Computer and Software Systems
School of Information and Communication Technology
dubrova@kth.se