CSCI 255, ENGR 274, ECE 212 -- 14 September, 2000

Announcements

Espresso

The real world

Getting into chapter 3

Multilevel logic

Multilevel circuit implementation

Conversion to NAND logic

Multilevel conversion to NAND logic

AND-OR-Invert and OR-AND-Invert

Techniques for multilevel logic synthesis

Decomposition
One Boolean expression → Several Boolean expressions
Extraction
Finding common subexpressions within a set of
Factoring
Factoring a two-level expression
Substitution
Replacing common subexpressions with new variables
Collapsing
Inverse of substitution -- replacing variables with their expressions

Time response