Download presentation

Presentation is loading. Please wait.

Published byColleen Cowser Modified over 2 years ago

1
Node Optimization

2
Simplification Represent each node in two level form Use espresso to minimize each node Several simplification procedures which vary only in the size of don’t care constructed –don’t care set empty –subset of don’t care

3
Simplification Don’t Care –External DC –Internal DC (derived from the structure) (1) Satisfiability DC (SDC) (2) Observability DC (ODC)

4
Satisfiability Don’t Care Satisfiability DC (to all nodes) Ex: x = ab y = a’b’ f = x’y’+a x ab = x(ab)’+x’(ab) Why? Expand the Boolean space of PI to include intermediate variables B n B n+ m n=2 m=1 100000 010 111 b a x In general, SDC = (y i f i ’ + y i ’ f i )

5
Observability Don’t Care Observability DC ( to certain intermediate node) f is sensitive to the value of x ( )’ f is not sensitive to the value of x x is observable at f if 0 (Note is a function of the inputs)

6
Example Ex: u = ab+xc’+x’b’ x = a’b+ac’ = u x u x’ + u x ’ u x’ ’ u x = ab + c’ u x’ = ab + b’ = u x u x’ + u x ’ u x’ ’ = (ab+c’b’) + a’bc (the ODC of x) u = ab+xc’+x’b’ x=a’b+ac’ abc u x ( )’ u x (

7
Observability Don’t Care ODC relative to x is ODC x = f i output Including the external DC ( + D xi ) f i output In general, the complete DC is too large solutions: filter the DC => subset “support” filter

8
Incompleteness of Don’t Cares Example COMPARATOR ADDER B A x 2 x 1 x 0 N2N2 N1N1 a 1 a 0 b 1 b 0 z 1 z 0 Z = 0 1 a + b < 3 Z = 0 0 a + b = 3 Z = 1 0 a + b > 3

9
Equivalence x 2 x 1 x 0 z 1 z 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 Input values 000, 001, and 010 are equivalent {000,001,010} forms an equivalence class. The other equivalent classes are: {011} and {100,101,110,111} with respect to B.

10
Boolean Relation Formulation If x', x'' are input values indistinguishable from the outputs of B, they are interchangeable output values for A. a 1 a 0 b 1 b 0 x 2 x 1 x 0 0 0 0 0 {000,001,010} 0 0 0 1 {000,001,010} 0 0 1 0 {000,001,010} 0 1 0 0 {000,001,010} 1 0 0 0 {000,001,010} 0 0 1 1 {011} 0 1 0 1 {000,001,010} 0 1 1 0 {011} 1 0 0 1 {011} 1 0 1 0 {100,101,110,111} 1 1 0 0 {011} 1 0 1 1 {100,101,110,111} 1 1 0 1 {100,101,110,111} 1 1 1 0 {100,101,110,111} 1 1 1 1 {100,101,110,111} 0 1 1 1 {100,101,110,111}

11
Example The optimal implementation of the following a b x y 0 0 0 0, 0 1 0 1 0 1, 1 0 1 1 1 0 0 1 00 00 11 11 00 10 01 11 10 11 aa aa bb bb relation R B 2 B 2

12
Problems 1. How to find a multiple-output sub-network ? 2. How to utilize Boolean Relations for minimization ? – full set of Boolean Relation – subset of Boolean Relation

Similar presentations

OK

ENGG3190 Logic Synthesis “Multi Level Logic” (Part II) Winter 2014 S. Areibi School of Engineering University of Guelph.

ENGG3190 Logic Synthesis “Multi Level Logic” (Part II) Winter 2014 S. Areibi School of Engineering University of Guelph.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on reflection of sound waves Ppt on cell the basic unit of life Ppt on natural disaster tsunami Ppt on advertising techniques Water level indicator using 7 segment display ppt online Ppt on human chromosomes disorders Ppt on natural selection 6th grade Ppt on different types of dogs Ppt on human nutrition and digestion Ppt on carl friedrich gauss facts