Giovanni de Micheli (Author of Synthesis and …

He is President of the IEEE CAS Society. He was Editor in Chief of the IEEE Transactions on CAD/ICAS in 1987-2001. Dr. De Micheli was the Program Chair and General Chair of the Design Automation Conference (DAC) in 1996-1997 and 2000 respectively. He was the Program and General Chair of the International Conference on Computer Design (ICCD) in 1988 and 1989 respectively. He was also co-director of the NATO Advanced Study Institutes on Hardware/Software Co-design, held in Tremezzo, Italy, 1995 and on Logic Synthesis and Silicon Compilation, held in L'Aquila, Italy, 1986. He is a founding member of the ALaRI institute at Università della Svizzera italiana (USI), in Lugano, Switzerland, where he is currently scientific counselor.

De Micheli, Synthesis and optimization of digital circuits

De-Micheli, Synthesis and Optimization of ..

The book for the class is "Giovanni De Micheli: Synthesis and ..

As the significant part of the digital system design becomesincorporated into CAD tools, the designers should become familiar with the operation of such tools. This course providesthe basics of logic synthesis. The essential representationsof Boolean functions will be given, followed by the algorithms for two-level (sum-of-products), multi-level (Boolean networks)and sequential logic synthesis. The course is suited for logic designers, CAD tool developers and students interested in applications of combinatorial optimizations.

Logic synthesis and physical design: Quo vadis

: After completing this course, students should understand the essential logic synthesis algorithms and tools, be able to reason about problems in logic synthesis in general andbe capable of reading critically the recent literature.

Design systems for VLSI circuits : logic synthesis and silicon compilation
A great book on Synthesis and Optimization of Digital Circuits by Giovanni De Micheli

Disorders of Iron Metabolism — NEJM

Professor Giovanni De Micheli is interested in computer-aided design (CAD) methods and tools for VLSI circuits and systems, with particular emphasis on automated synthesis, optimization and validation. More specifically, he is interested in logic and high-level synthesis and optimization of integrated circuits and in hardware/software co-design of electronic systems. Current research projects address:

students should understand the essential logic synthesis algorithms ..

Gene-Expression Signatures in Breast Cancer — NEJM

This course covers the theory and techniques of synthesis and optimization of digital
systems. In particular, we will study in a sequence the theory, design, and implementation
of computer-aided design (CAD) tools used in logic synthesis, architectural synthesis, and
system-level synthesis. This semester we focus on logic synthesis and optimization. The
core topics include: graph terminologies and problems, fundamental algorithms, boolean
algebra, logic-level synthesis and optimization techniques for 1) two-level circuits, 2)
multi-level circuits, and 3) sequential circuits. On completion of this course, students
should understand the essential logic synthesis algorithms and tools, be able to reason
about problems in logic synthesis in general and be capable of readingcritically the
recent literature.

BDS-MAJ: A BDD-based Logic Synthesis Tool Exploiting Majority Logic Decomposition

CiteSeerX — Citation Query Synchronous Logic Synthesis

S. Devadas, A. Ghosh and K. Keutzer, Logic Synthesis, Mc-Graw Hill Series
G. De-Micheli, Synthesis and Optimization of Digital Circuits, Mc-Graw Hill Series