[PDF] - &RPELQDWLRQDOORJLFWRSLFV 3RVVLEOHORJLFIXQFWLRQVRIWZRYDULDEOHV PDF Document

SLIDE 1 CSE 370 – Spring 2001 - Combinational Logic - 1

&RPELQDWLRQDOORJLFWRSLFV

❚ /RJLFIXQFWLRQVWUXWKWDEOHVDQGVZLWFKHV ❙ 127$1'251$1'125;25 ❙ PLQLPDOVHW ❚ $[LRPVDQGWKHRUHPVRI%RROHDQDOJHEUD ❙ SURRIVE\UHZULWLQJ ❙ SURRIVE\SHUIHFWLQGXFWLRQ ❚ *DWHORJLF ❙ QHWZRUNVRI%RROHDQIXQFWLRQV ❙ WLPHEHKDYLRU ❚ &DQRQLFDOIRUPV ❙ WZROHYHO ❙ LQFRPSOHWHO\VSHFLILHGIXQFWLRQV ❚ 6LPSOLILFDWLRQ ❙ %RROHDQFXEHVDQG .DUQDXJK PDSV ❙ WZROHYHOVLPSOLILFDWLRQ

CSE 370 – Spring 2001 - Combinational Logic - 2

; < SRVVLEOHIXQFWLRQV))

;DQG <

; < ;RU < QRW < QRW ;

;

< )

;[RU < ;QRU < QRW ;RU < ; < ; QDQG < QRW ;DQG <

3RVVLEOHORJLFIXQFWLRQVRIWZRYDULDEOHV

❚ 7KHUHDUHSRVVLEOHIXQFWLRQVRILQSXWYDULDEOHV ❙ LQJHQHUDOWKHUHDUHQIXQFWLRQVRIQLQSXWV

CSE 370 – Spring 2001 - Combinational Logic - 3

&RVWRIGLIIHUHQWORJLFIXQFWLRQV

❚ 'LIIHUHQWIXQFWLRQVDUHHDVLHURUKDUGHUWRLPSOHPHQW ❙ HDFKKDVDFRVWDVVRFLDWHGZLWKWKHQXPEHURIVZLWFKHVQHHGHG ❙ )DQG)UHTXLUHVZLWFKHVGLUHFWO\FRQQHFWRXWSXWWRORZKLJK ❙ ;)DQG<)UHTXLUHVZLWFKHVRXWSXWLVRQHRILQSXWV ❙ ;)DQG<)UHTXLUHVZLWFKHVIRULQYHUWHURU127JDWH ❙ ;QRU<)DQG; QDQG <)UHTXLUHVZLWFKHV ❙ ;RU<)DQG;DQG<)UHTXLUHVZLWFKHV ❙ ; <)DQG;⊕ <)UHTXLUHVZLWFKHV ❙ WKXVEHFDXVH127125DQG1$1'DUHWKHFKHDSHVWWKH\DUHWKH IXQFWLRQVZHLPSOHPHQWWKHPRVWLQSUDFWLFH

CSE 370 – Spring 2001 - Combinational Logic - 4

; < ; QDQG <

;

< ;QRU<

X nand Y

≡ not ( (not X) nor (not Y) ) X nor Y ≡ not ( (not X) nand (not Y) )

0LQLPDOVHWRIIXQFWLRQV

❚ &DQZHLPSOHPHQWDOOORJLFIXQFWLRQVIURP127125DQG1$1'" ❙ )RUH[DPSOHLPSOHPHQWLQJ;DQG < LVWKHVDPHDVLPSOHPHQWLQJQRW ; QDQG < ❚ ,QIDFWZHFDQGRLWZLWKRQO\125RURQO\1$1' ❙ 127LVMXVWD1$1'RUD125ZLWKERWKLQSXWVWLHGWRJHWKHU ❙ DQG1$1'DQG125DUHGXDOV WKDWLVLWVHDV\WRLPSOHPHQWRQHXVLQJWKHRWKHU ❚ %XWOHWVQRWPRYHWRRIDVW ❙ OHWVORRNDWWKHPDWKHPDWLFDOIRXQGDWLRQRIORJLF

CSE 370 – Spring 2001 - Combinational Logic - 5

$QDOJHEUDLFVWUXFWXUH

❚ $QDOJHEUDLFVWUXFWXUHFRQVLVWVRI ❙ DVHWRIHOHPHQWV% ❙ ELQDU\RSHUDWLRQV^` ❙ DQGDXQDU\RSHUDWLRQ^` ❙ VXFKWKDWWKHIROORZLQJD[LRPVKROG

WKHVHW%FRQWDLQVDWOHDVWWZRHOHPHQWVDEVXFKWKDWD E FORVXUH DELVLQ% DELVLQ% FRPPXWDWLYLW\ DE ED DE ED DVVRFLDWLYLW\ DEF DEF DEF DEF LGHQWLW\ D D D D GLVWULEXWLYLW\ DEF DEDF DEF DEDF FRPSOHPHQWDULW\ DD DD

CSE 370 – Spring 2001 - Combinational Logic - 6

%RROHDQDOJHEUD

❚ %RROHDQDOJHEUD ❙ % ^` ❙ LVORJLFDO25LVORJLFDO$1' ❙ LVORJLFDO127 ❚ $OODOJHEUDLFD[LRPVKROG

SLIDE 2 CSE 370 – Spring 2001 - Combinational Logic - 7

;<DUH%RROHDQDOJHEUDYDULDEOHV ; < ; <

;

< ; < ; < ; < ; <; <

; <; <≡

; < ; < ; ;<

%RROHDQH[SUHVVLRQWKDWLV

WUXHZKHQWKHYDULDEOHV; DQG<KDYHWKHVDPHYDOXH DQGIDOVHRWKHUZLVH

/RJLFIXQFWLRQVDQG%RROHDQDOJHEUD

❚ $Q\ORJLFIXQFWLRQWKDWFDQEHH[SUHVVHGDVDWUXWKWDEOHFDQEH ZULWWHQDV DQH[SUHVVLRQLQ%RROHDQDOJHEUDXVLQJWKHRSHUDWRUVDQG

CSE 370 – Spring 2001 - Combinational Logic - 8

$[LRPVDQGWKHRUHPVRI%RROHDQDOJHEUD

❚ LGHQWLW\ ; ; '; ; ❚ QXOO ; '; ❚ LGHPSRWHQF\ ;; ; ';; ; ❚ LQYROXWLRQ ; ; ❚ FRPSOHPHQWDULW\ ;; ';; ❚ FRPPXWDWLYLW\ ;< <; ';< <; ❚ DVVRFLDWLYLW\ ;<= ;<= ';<= ;<=

CSE 370 – Spring 2001 - Combinational Logic - 9

$[LRPVDQGWKHRUHPVRI%RROHDQDOJHEUDFRQWG

❚ GLVWULEXWLYLW\ ;<= ;<;= ';<= ;<;= ❚ XQLWLQJ ;<;< ; ';<;< ; ❚ DEVRUSWLRQ ;;< ; ';;< ; ;<< ;< ';<< ;< ❚ IDFWRULQJ ;<;= ';<;= ;=;< ;=;< ❚ FRQFHQVXV ;<<=;= ';<<=;= ;<;= ;<;=

CSE 370 – Spring 2001 - Combinational Logic - 10

$[LRPVDQGWKHRUHPVRI%RROHDQDOJHEUDFRQW

❚ GH0RUJDQV ;< ;< ';< ;< ❚ JHQHUDOL]HGGH0RUJDQV I;;;Q I;;;Q ❚ HVWDEOLVKHVUHODWLRQVKLSEHWZHHQDQG

CSE 370 – Spring 2001 - Combinational Logic - 11

$[LRPVDQGWKHRUHPVRI%RROHDQDOJHEUDFRQW

❚ 'XDOLW\ ❙ DGXDORID%RROHDQH[SUHVVLRQLVGHULYHGE\UHSODFLQJ E\E\E\DQGE\DQGOHDYLQJYDULDEOHVXQFKDQJHG ❙ DQ\WKHRUHPWKDWFDQEHSURYHQLVWKXVDOVRSURYHQIRULWVGXDO ❙ DPHWDWKHRUHPDWKHRUHPDERXWWKHRUHPV ❚ GXDOLW\ ;<⇔ ;< ❚ JHQHUDOL]HGGXDOLW\ I;;;Q⇔ I;;;Q ❚ 'LIIHUHQWWKDQGH0RUJDQV/DZ ❙ WKLVLVDVWDWHPHQWDERXWWKHRUHPV ❙ WKLVLVQRWDZD\WRPDQLSXODWHUHZULWHH[SUHVVLRQV

CSE 370 – Spring 2001 - Combinational Logic - 12

3URYLQJWKHRUHPVUHZULWLQJ

❚ 8VLQJWKHD[LRPVRI%RROHDQDOJHEUD ❙ HJSURYHWKHWKHRUHP ;<;< ; ❙ HJSURYHWKHWKHRUHP ;;< ; GLVWULEXWLYLW\ ; <; < ;<< FRPSOHPHQWDULW\ ;<< ; LGHQWLW\' ; ;➼ LGHQWLW\' ;;< ;;< GLVWULEXWLYLW\ ;;< ;< LGHQWLW\ ;< ; LGHQWLW\' ; ;➼

SLIDE 3 CSE 370 – Spring 2001 - Combinational Logic - 13

;< ;< 125LVHTXLYDOHQWWR$1' ZLWKLQSXWVFRPSOHPHQWHG ;< ;< 1$1'LVHTXLYDOHQWWR25 ZLWKLQSXWVFRPSOHPHQWHG ; < ; < ;< ;<

;

< ; < ;< ;<

3URYLQJWKHRUHPVSHUIHFWLQGXFWLRQ

❚ 8VLQJSHUIHFWLQGXFWLRQFRPSOHWHWUXWKWDEOH ❙ HJGH0RUJDQV

CSE 370 – Spring 2001 - Combinational Logic - 14

$VLPSOHH[DPSOH

❚ ELWELQDU\DGGHU ❙ LQSXWV$%&DUU\LQ ❙ RXWSXWV6XP&DUU\RXW

$ % &LQ &RXW 6 $ % &LQ 6 &RXW

&RXW $% &LQ $% &LQ $% &LQ $% &LQ

6 $%&LQ $%&LQ $%&LQ $% &LQ

CSE 370 – Spring 2001 - Combinational Logic - 15

$SSO\WKHWKHRUHPVWRVLPSOLI\H[SUHVVLRQV

❚ 7KHWKHRUHPVRI%RROHDQDOJHEUDFDQVLPSOLI\%RROHDQH[SUHVVLRQV ❙ HJIXOODGGHUVFDUU\RXWIXQFWLRQVDPHUXOHVDSSO\WRDQ\IXQFWLRQ &RXW $% &LQ $% &LQ $% &LQ $%&LQ $% &LQ$% &LQ$% &LQ$% &LQ$%&LQ $% &LQ$% &LQ $% &LQ$% &LQ$%&LQ $$% &LQ $% &LQ$% &LQ$%&LQ % &LQ$% &LQ$% &LQ$%&LQ % &LQ$% &LQ$% &LQ$% &LQ$%&LQ % &LQ$% &LQ$% &LQ$% &LQ $%&LQ % &LQ$%% &LQ $% &LQ$%&LQ % &LQ$ &LQ$% &LQ$%&LQ % &LQ$ &LQ$%&LQ &LQ % &LQ$ &LQ$% % &LQ$ &LQ$%

CSE 370 – Spring 2001 - Combinational Logic - 16

; < =

;

<

;

< =

;

< ; ; < < = =

)URP%RROHDQH[SUHVVLRQVWRORJLFJDWHV

❚ 127 ; ; a; ❚ $1' ;< ;< ;∧ < ❚ 25 ;< ;∨ <

CSE 370 – Spring 2001 - Combinational Logic - 17

; < = ; < =

;

< =

=

; < ; < = ; < =

;

< =

=

; < ; [RU < ;<;< ;RU<EXWQRWERWK LQHTXDOLW\GLIIHUHQFH

X xnor Y = X Y + X’ Y’ X and Y are the same ("equality", "coincidence")

)URP%RROHDQH[SUHVVLRQVWRORJLFJDWHVFRQWG

❚ 1$1' ❚ 125 ❚ ;25 ;⊕ < ❚ ;125 ; <

CSE 370 – Spring 2001 - Combinational Logic - 18

T1 T2 use of 3-input gate

$ % & ' 7 7 = $ % & ' =

)URP%RROHDQH[SUHVVLRQVWRORJLFJDWHVFRQWG

❚ 0RUHWKDQRQHZD\WRPDSH[SUHVVLRQVWRJDWHV ❙ HJ= $%&' $%&'

SLIDE 4 CSE 370 – Spring 2001 - Combinational Logic - 19

WLPH FKDQJHLQ<WDNHVWLPHWRSURSDJDWHWKURXJKJDWHV

:DYHIRUPYLHZRIORJLFIXQFWLRQV

❚

XVWDVLGHZD\VWUXWKWDEOH

❙ EXWQRWHKRZHGJHVGRQWOLQHXSH[DFWO\ ❙ LWWDNHVWLPHIRUDJDWHWRVZLWFKLWVRXWSXW

CSE 370 – Spring 2001 - Combinational Logic - 20

$ % & =

&KRRVLQJGLIIHUHQWUHDOL]DWLRQVRIDIXQFWLRQ

two-level realization (we don’t count NOT gates) XOR gate (easier to draw but costlier to build) multi-level realization (gates with fewer inputs)

CSE 370 – Spring 2001 - Combinational Logic - 21

:KLFKUHDOL]DWLRQLVEHVW"

❚ 5HGXFHQXPEHURILQSXWV ❙ OLWHUDOLQSXWYDULDEOHFRPSOHPHQWHGRUQRW ❘ FDQDSSUR[LPDWHFRVWRIORJLFJDWHDV WUDQVLWRUV SHUOLWHUDO ❘ ZK\QRWFRXQWLQYHUWHUV" ❙ IHZHUOLWHUDOVPHDQVOHVVWUDQVLVWRUV ❘ VPDOOHUFLUFXLWV ❙ IHZHULQSXWVLPSOLHVIDVWHUJDWHV ❘ JDWHVDUHVPDOOHUDQGWKXVDOVRIDVWHU ❙ IDQLQVRIJDWHLQSXWVDUHOLPLWHGLQVRPHWHFKQRORJLHV ❚ 5HGXFHQXPEHURIJDWHV ❙ IHZHUJDWHVDQGWKHSDFNDJHVWKH\FRPHLQPHDQVVPDOOHUFLUFXLWV ❘ GLUHFWO\LQIOXHQFHVPDQXIDFWXULQJFRVWV

CSE 370 – Spring 2001 - Combinational Logic - 22

:KLFKLVWKHEHVWUHDOL]DWLRQ"FRQWG

❚ 5HGXFHQXPEHURIOHYHOVRIJDWHV ❙ IHZHUOHYHORIJDWHVLPSOLHVUHGXFHGVLJQDOSURSDJDWLRQGHOD\V ❙ PLQLPXPGHOD\FRQILJXUDWLRQW\SLFDOO\UHTXLUHVPRUHJDWHV ❘ ZLGHUOHVVGHHSFLUFXLWV ❚ +RZGRZHH[SORUHWUDGHRIIVEHWZHHQLQFUHDVHGFLUFXLWGHOD\DQGVL]H" ❙ DXWRPDWHGWRROVWRJHQHUDWHGLIIHUHQWVROXWLRQV ❙ ORJLFPLQLPL]DWLRQUHGXFHQXPEHURIJDWHVDQGFRPSOH[LW\ ❙ ORJLFRSWLPL]DWLRQUHGXFWLRQZKLOHWUDGLQJRIIDJDLQVWGHOD\

CSE 370 – Spring 2001 - Combinational Logic - 23

$UHDOOUHDOL]DWLRQVHTXLYDOHQW"

❚ 8QGHUWKHVDPHLQSXWVWLPXOLWKHWKUHHDOWHUQDWLYHLPSOHPHQWDWLRQVKDYH DOPRVWWKHVDPHZDYHIRUPEHKDYLRU ❙ GHOD\VDUHGLIIHUHQW ❙ JOLWFKHVKD]DUGVPD\DULVH ❙ YDULDWLRQVGXHWRGLIIHUHQFHVLQQXPEHURIJDWHOHYHOVDQGVWUXFWXUH ❚ 7KHWKUHHLPSOHPHQWDWLRQVDUHIXQFWLRQDOO\HTXLYDOHQW

CSE 370 – Spring 2001 - Combinational Logic - 24

,PSOHPHQWLQJ%RROHDQIXQFWLRQV

❚ 7HFKQRORJ\LQGHSHQGHQW ❙ FDQRQLFDOIRUPV ❙ WZROHYHOIRUPV ❙ PXOWLOHYHOIRUPV ❚ 7HFKQRORJ\FKRLFHV ❙ SDFNDJHVRIDIHZJDWHV ❙ UHJXODUORJLF ❙ WZROHYHOSURJUDPPDEOHORJLF ❙ PXOWLOHYHOSURJUDPPDEOHORJLF

SLIDE 5 CSE 370 – Spring 2001 - Combinational Logic - 25

&DQRQLFDOIRUPV

❚ 7UXWKWDEOHLVWKHXQLTXHVLJQDWXUHRID%RROHDQIXQFWLRQ ❚ 0DQ\DOWHUQDWLYHJDWHUHDOL]DWLRQVPD\KDYHWKHVDPHWUXWKWDEOH ❚ &DQRQLFDOIRUPV ❙ VWDQGDUGIRUPVIRUD%RROHDQH[SUHVVLRQ ❙ SURYLGHVDXQLTXHDOJHEUDLFVLJQDWXUH

CSE 370 – Spring 2001 - Combinational Logic - 26

$ % & ) )

)

) $%&$%&$%&

6XPRISURGXFWVFDQRQLFDOIRUPV

❚ $OVRNQRZQDVGLVMXQFWLYHQRUPDOIRUP ❚ $OVRNQRZQDV PLQWHUP H[SDQVLRQ

)

$%& $%& $%& $%&

$%&

CSE 370 – Spring 2001 - Combinational Logic - 27

VKRUWKDQGQRWDWLRQIRU PLQWHUPV RIYDULDEOHV $ % & PLQWHUPV

$%&

P

$%&

P

$%&

P

$%&

P

$%&

P

$%&

P

$%&

P

$%&

P )LQFDQRQLFDOIRUP )$%& ΣP PPPPP $%&$%&$%&$%&$%& FDQRQLFDOIRUP≠ PLQLPDOIRUP )$%& $%&$%&$%&$%&$%& $%$%$%$%&$%& $$%%&$%& &$%& $%&& $%&

6XPRISURGXFWVFDQRQLFDOIRUPFRQWG

❚ 3URGXFWWHUPRU PLQWHUP ❙ $1'HG SURGXFWRIOLWHUDOV LQSXWFRPELQDWLRQIRUZKLFKRXWSXWLVWUXH ❙ HDFKYDULDEOHDSSHDUVH[DFWO\RQFHLQWUXHRULQYHUWHGIRUPEXWQRWERWK

CSE 370 – Spring 2001 - Combinational Logic - 28

$ % & ) )

)

) ) $%&$%&$%&$%&$%&

3URGXFWRIVXPVFDQRQLFDOIRUP

❚ $OVRNQRZQDVFRQMXQFWLYHQRUPDOIRUP ❚ $OVRNQRZQDV PD[WHUP H[SDQVLRQ

$%& $%& $%&

CSE 370 – Spring 2001 - Combinational Logic - 29

$ % & PD[WHUPV

$%&
$%&
$%&
$%&
$%&
$%&
$%&
$%&

VKRUWKDQGQRWDWLRQIRU PD[WHUPV RIYDULDEOHV )LQFDQRQLFDOIRUP )$%& Π0 000 $%&$%&$%& FDQRQLFDOIRUP≠ PLQLPDOIRUP )$%& $%&$%&$%& $%&$%& $%&$%& $&%&

3URGXFWRIVXPVFDQRQLFDOIRUPFRQWG

❚ 6XPWHUPRU PD[WHUP ❙ 25HG VXPRIOLWHUDOV LQSXWFRPELQDWLRQIRUZKLFKRXWSXWLVIDOVH ❙ HDFKYDULDEOHDSSHDUVH[DFWO\RQFHLQWUXHRULQYHUWHGIRUPEXWQRWERWK

CSE 370 – Spring 2001 - Combinational Logic - 30

6R33R6DQGGH0RUJDQVWKHRUHP

❚ 6XPRISURGXFWV ❙ ) $%&$%&$%& ❚ $SSO\GH0RUJDQV ❙ ) $%&$%&$%& ❙ ) $%&$%&$%& ❚ 3URGXFWRIVXPV ❙ ) $%&$%&$%&$%&$%& ❚ $SSO\GH0RUJDQV ❙ ) $%&$%&$%&$%&$ %& ❙ ) $%&$%&$%&$%&$%&

SLIDE 6 CSE 370 – Spring 2001 - Combinational Logic - 31

FDQRQLFDOVXPRISURGXFWV PLQLPL]HGVXPRISURGXFWV FDQRQLFDOSURGXFWRIVXPV PLQLPL]HGSURGXFWRIVXPV

F1 F2 F3 B A C F4

)RXUDOWHUQDWLYHWZROHYHOLPSOHPHQWDWLRQV RI) $%&

CSE 370 – Spring 2001 - Combinational Logic - 32

:DYHIRUPVIRUWKHIRXUDOWHUQDWLYHV

❚ :DYHIRUPVDUHHVVHQWLDOO\LGHQWLFDO ❙ H[FHSWIRUWLPLQJKD]DUGVJOLWFKHV ❙ GHOD\VDOPRVWLGHQWLFDOPRGHOHGDVDGHOD\SHUOHYHOQRWW\SHRIJDWH RUQXPEHURILQSXWVWRJDWH

CSE 370 – Spring 2001 - Combinational Logic - 33

0DSSLQJEHWZHHQFDQRQLFDOIRUPV

❚ 0LQWHUP WR PD[WHUP FRQYHUVLRQ ❙ XVH PD[WHUPV ZKRVHLQGLFHVGRQRWDSSHDULQ PLQWHUP H[SDQVLRQ ❙ HJ)$%& ΣP Π0 ❚ 0D[WHUP WR PLQWHUP FRQYHUVLRQ ❙ XVH PLQWHUPV ZKRVHLQGLFHVGRQRWDSSHDULQ PD[WHUP H[SDQVLRQ ❙ HJ)$%& Π0 ΣP ❚ 0LQWHUP H[SDQVLRQRI)WR PLQWHUP H[SDQVLRQRI) ❙ XVH PLQWHUPV ZKRVHLQGLFHVGRQRWDSSHDU ❙ HJ)$%& ΣP )$%& ΣP ❚ 0D[WHUP H[SDQVLRQRI)WR PD[WHUP H[SDQVLRQRI) ❙ XVH PD[WHUPV ZKRVHLQGLFHVGRQRWDSSHDU ❙ HJ)$%& Π0 )$%& Π0

CSE 370 – Spring 2001 - Combinational Logic - 34

$ % & ' : ; < =

;

; ; ;

;

; ; ;

;

; ; ;

;

; ; ;

;

; ; ;

;

; ; ; RIIVHWRI: WKHVHLQSXWVSDWWHUQVVKRXOG QHYHUEHHQFRXQWHUHGLQSUDFWLFH GRQWFDUH DERXWDVVRFLDWHG RXWSXWYDOXHVFDQEHH[SORLWHG LQPLQLPL]DWLRQ

,QFRPSOHWHO\VSHFLILHGIXQFWLRQV

❚ ([DPSOHELQDU\FRGHGGHFLPDOLQFUHPHQWE\ ❙ %&'GLJLWVHQFRGHWKHGHFLPDOGLJLWV LQWKHELWSDWWHUQV

GRQWFDUH'&VHWRI: RQVHWRI:

CSE 370 – Spring 2001 - Combinational Logic - 35

1RWDWLRQIRULQFRPSOHWHO\VSHFLILHGIXQFWLRQV

❚ 'RQWFDUHVDQGFDQRQLFDOIRUPV ❙ VRIDURQO\UHSUHVHQWHGRQVHW ❙ DOVRUHSUHVHQWGRQWFDUHVHW ❙ QHHGWZRRIWKHWKUHHVHWVRQVHWRIIVHWGFVHW ❚ &DQRQLFDOUHSUHVHQWDWLRQVRIWKH%&'LQFUHPHQWE\IXQFWLRQ ❙ = PPPPPGGGGGG ❙ = Σ >PG@ ❙ = 00000'''''' ❙ = Π >0'@

CSE 370 – Spring 2001 - Combinational Logic - 36

6LPSOLILFDWLRQRIWZROHYHOFRPELQDWLRQDOORJLF

❚ )LQGLQJDPLQLPDOVXPRISURGXFWVRUSURGXFWRIVXPVUHDOL]DWLRQ ❙ H[SORLWGRQWFDUHLQIRUPDWLRQLQWKHSURFHVV ❚ $OJHEUDLFVLPSOLILFDWLRQ ❙ QRWDQDOJRULWKPLFV\VWHPDWLFSURFHGXUH ❙ KRZGR\RXNQRZZKHQWKHPLQLPXPUHDOL]DWLRQKDVEHHQIRXQG" ❚ &RPSXWHUDLGHGGHVLJQWRROV ❙ SUHFLVHVROXWLRQVUHTXLUHYHU\ORQJFRPSXWDWLRQWLPHVHVSHFLDOO\IRU IXQFWLRQVZLWKPDQ\LQSXWV! ❙ KHXULVWLFPHWKRGVHPSOR\HG HGXFDWHGJXHVVHVWRUHGXFHDPRXQWRI FRPSXWDWLRQDQG\LHOGJRRGLIQRWEHVWVROXWLRQV ❚ +DQGPHWKRGVVWLOOUHOHYDQW ❙ WRXQGHUVWDQGDXWRPDWLFWRROVDQGWKHLUVWUHQJWKVDQGZHDNQHVVHV ❙ DELOLW\WRFKHFNUHVXOWVRQVPDOOH[DPSOHV

SLIDE 7 CSE 370 – Spring 2001 - Combinational Logic - 37

$ % )

%KDVWKHVDPHYDOXHLQERWKRQVHWURZV

%UHPDLQV $KDVDGLIIHUHQWYDOXHLQWKHWZRURZV $LVHOLPLQDWHG ) $%$% $$% %

7KHXQLWLQJWKHRUHP

❚ .H\WRROWRVLPSOLILFDWLRQ$%% $ ❚ (VVHQFHRIVLPSOLILFDWLRQRIWZROHYHOORJLF ❙ ILQGWZRHOHPHQWVXEVHWVRIWKH21VHWZKHUHRQO\RQHYDULDEOHFKDQJHV LWVYDOXH WKLVVLQJOHYDU\LQJYDULDEOHFDQEHHOLPLQDWHGDQGDVLQJOH SURGXFWWHUPXVHGWRUHSUHVHQWERWKHOHPHQWV

CSE 370 – Spring 2001 - Combinational Logic - 38

FXEH ;

%RROHDQFXEHV

❚ 9LVXDOWHFKQLTXHIRU LQGHQWLI\LQJ ZKHQWKHXQLWLQJWKHRUHPFDQEHDSSOLHG ❚ QLQSXWYDULDEOHV QGLPHQVLRQDOFXEH

FXEH ; <

FXEH

; < =

FXEH

: ; < =

CSE 370 – Spring 2001 - Combinational Logic - 39

$ % )

21VHW VROLGQRGHV

2))VHW HPSW\QRGHV '&VHW ×GQRGHV WZRIDFHVRIVL]HQRGHV FRPELQHLQWRDIDFHRIVL]HOLQH $YDULHVZLWKLQIDFH%GRHVQRW WKLVIDFHUHSUHVHQWVWKHOLWHUDO%

0DSSLQJWUXWKWDEOHVRQWR%RROHDQFXEHV

❚ 8QLWLQJWKHRUHPFRPELQHVWZRIDFHVRIDFXEHLQWRDODUJHUIDFH ❚ ([DPSOH

$ %

)

CSE 370 – Spring 2001 - Combinational Logic - 40

$ % &LQ &RXW

$$%&LQ

$%&LQ&LQ $%%&LQ &RXW %&LQ$%$&LQ WKHRQVHWLVFRPSOHWHO\FRYHUHGE\ WKHFRPELQDWLRQ25RIWKH VXEFXEHV RIORZHUGLPHQVLRQDOLW\ QRWHWKDW LVFRYHUHGWKUHHWLPHV

7KUHHYDULDEOHH[DPSOH

❚ %LQDU\IXOODGGHUFDUU\RXWORJLF

$ % &

CSE 370 – Spring 2001 - Combinational Logic - 41

)$%& ΣP RQVHWIRUPVDVTXDUH LHDFXEHRIGLPHQVLRQ UHSUHVHQWVDQH[SUHVVLRQLQRQHYDULDEOH LHGLPHQVLRQV GLPHQVLRQV $LVDVVHUWHGWUXHDQGXQFKDQJHG %DQG&YDU\ 7KLV VXEFXEH UHSUHVHQWVWKH OLWHUDO$

+LJKHUGLPHQVLRQDOFXEHV

❚ 6XEFXEHVRIKLJKHUGLPHQVLRQWKDQ

$ % &

CSE 370 – Spring 2001 - Combinational Logic - 42

PGLPHQVLRQDOFXEHVLQDQGLPHQVLRQDO %RROHDQVSDFH

❚ ,QDFXEHWKUHHYDULDEOHV ❙ DFXEHLHDVLQJOHQRGH\LHOGVDWHUPLQOLWHUDOV ❙ DFXEHLHDOLQHRIWZRQRGHV\LHOGVDWHUPLQOLWHUDOV ❙ DFXEHLHDSODQHRIIRXUQRGHV\LHOGVDWHUPLQOLWHUDO ❙ DFXEHLHDFXEHRIHLJKWQRGHV\LHOGVDFRQVWDQWWHUP ❚ ,QJHQHUDO ❙ DQPVXEFXEH ZLWKLQDQQFXEHPQ\LHOGVDWHUPZLWKQ POLWHUDOV

SLIDE 8 CSE 370 – Spring 2001 - Combinational Logic - 43

$ % )

.DUQDXJKPDSV

❚ )ODWPDSRI%RROHDQFXEH ❙ ZUDSDURXQGDWHGJHV ❙ KDUGWRGUDZDQGYLVXDOL]HIRUPRUHWKDQGLPHQVLRQV ❙ YLUWXDOO\LPSRVVLEOHIRUPRUHWKDQGLPHQVLRQV ❚ $OWHUQDWLYHWRWUXWKWDEOHVWRKHOSYLVXDOL]HDGMDFHQFLHV ❙ JXLGHWRDSSO\LQJWKHXQLWLQJWKHRUHP ❙ RQVHWHOHPHQWVZLWKRQO\RQHYDULDEOHFKDQJLQJYDOXHDUHDGMDFHQW XQOLNHWKHVLWXDWLRQLQDOLQHDUWUXWKWDEOH

$

%

CSE 370 – Spring 2001 - Combinational Logic - 44

.DUQDXJKPDSVFRQWG

❚ 1XPEHULQJVFKHPHEDVHGRQ*UD\FRGH ❙ HJ ❙ RQO\DVLQJOHELWFKDQJHVLQFRGHIRUDGMDFHQWPDSFHOOV

$%

&

&

% $

&

% $

'

$

&

% $%&'

CSE 370 – Spring 2001 - Combinational Logic - 45

& % $ ' $ & %

CSE 370 – Spring 2001 - Combinational Logic - 46

$GMDFHQFLHVLQ.DUQDXJKPDSV

❚ :UDSIURPILUVWWRODVWFROXPQ ❚ :UDSWRSURZWRERWWRPURZ

&

% $ $ % &

CSE 370 – Spring 2001 - Combinational Logic - 47

REWDLQWKH FRPSOHPHQW RIWKHIXQFWLRQ E\FRYHULQJV ZLWKVXEFXEHV

.DUQDXJKPDSH[DPSOHV

❚ ) ❚ &RXW ❚ I$%& ΣP

&LQ

% $

%

$

&

% $

% $% $& $&LQ %&LQ %& $%

CSE 370 – Spring 2001 - Combinational Logic - 48

F(A,B,C) = Σm(0,4,5,7) F’(A,B,C) = Σ m(1,2,3,6) F’ simply replace 1’s with 0’s and vice versa G(A,B,C) =

0RUH.DUQDXJKPDSH[DPSOHV

&

% $

&

% $

&

% $

A = AC + B’C’ = BC’ + A’C

SLIDE 9 CSE 370 – Spring 2001 - Combinational Logic - 49

& %' find the smallest number of the largest possible subcubes to cover the ON-set (fewer terms with fewer inputs per term)

.DUQDXJKPDSYDULDEOHH[DPSOH

❚ )$%&' ΣP )

' $ % : ; < =

&

$%'

CSE 370 – Spring 2001 - Combinational Logic - 50

%&'

.DUQDXJKPDSVGRQWFDUHV

❚ I$%&' Σ PG ❙ ZLWKRXWGRQWFDUHV ❘ I

;
;
'

$

;
%

&

$'

CSE 370 – Spring 2001 - Combinational Logic - 51

.DUQDXJKPDSVGRQWFDUHVFRQWG

❚ I$%&' Σ PG ❙ I $'%&' ZLWKRXWGRQWFDUHV ❙ I ZLWKGRQWFDUHV don’t cares can be treated as 1s or 0s depending on which is more advantageous

;
;
'

$

;
%

&

$' by using don’t care as a "1" a 2-cube can be formed rather than a 1-cube to cover this node &'

CSE 370 – Spring 2001 - Combinational Logic - 52

ZHOOQHHGDYDULDEOH .DUQDXJK PDS IRUHDFKRIWKHRXWSXWIXQFWLRQV

'HVLJQH[DPSOHWZRELWFRPSDUDWRU

EORFNGLDJUDP /7 (4 *7 $%&' $% &' $%!&' $ % & ' 1 1 $ % & ' /7 (4 *7

DQG

WUXWKWDEOH

CSE 370 – Spring 2001 - Combinational Logic - 53

$%'$&%&' %&'$&$%' /7 (4 *7 .PDSIRU(4 .PDSIRU/7 .PDSIRU*7

'HVLJQH[DPSOHWZRELWFRPSDUDWRUFRQWG

'

$

%

&

'

$

%

&

'

$

%

&

$ [QRU &% [QRU ' /7DQG*7DUHVLPLODUIOLS$&DQG%' $%&'$%&'$%&'$%&'

CSE 370 – Spring 2001 - Combinational Logic - 54

WZRDOWHUQDWLYH LPSOHPHQWDWLRQVRI(4 ZLWKDQGZLWKRXW;25 ;125LVLPSOHPHQWHGZLWK DWOHDVWVLPSOHJDWHV $ % & ' (4 (4

'HVLJQH[DPSOHWZRELWFRPSDUDWRUFRQWG

SLIDE 10 CSE 370 – Spring 2001 - Combinational Logic - 55

EORFNGLDJUDP DQG WUXWKWDEOH YDULDEOH.PDS IRUHDFKRIWKH RXWSXWIXQFWLRQV $ $ % % 3 3 3 3

'HVLJQH[DPSOH[ELWPXOWLSOLHU

3 3 3 3 $ $ % %

CSE 370 – Spring 2001 - Combinational Logic - 56

K-map for P8 K-map for P4 K-map for P2 K-map for P1

'HVLJQH[DPSOH[ELWPXOWLSOLHUFRQWG

%

$

$

%

%

$

$

%

%

$

$

%

%

$

$

%

P8 = A2A1B2B1 P4 = A2B2B1’ + A2A1’B2 P2 = A2’A1B2 + A1B2B1’ + A2B2’B1 + A2A1’B1 P1 = A1B1

CSE 370 – Spring 2001 - Combinational Logic - 57

, , , , 2 2 2 2

;

; ; ;

;

; ; ;

;

; ; ;

;

; ; ;

;

; ; ;

;

; ; ; EORFNGLDJUDP DQG WUXWKWDEOH YDULDEOH.PDSIRUHDFKRI WKHRXWSXWIXQFWLRQV 2 2 2 2 , , , ,

'HVLJQH[DPSOH%&'LQFUHPHQWE\

CSE 370 – Spring 2001 - Combinational Logic - 58

2 ,,,,, 2 ,,,,,,, 2 ,,,,, 2 , 2 2 2 2

'HVLJQH[DPSOH%&'LQFUHPHQWE\FRQWG

;
;
,

,

;

; ; ; , ,

;
;
,

,

;

; ; ; , ,

;
;
,

,

;

; ; ; , ,

;
;
,

,

;

; ; ; , ,

CSE 370 – Spring 2001 - Combinational Logic - 59

'HILQLWLRQRIWHUPVIRUWZROHYHOVLPSOLILFDWLRQ

❚ ,PSOLFDQW ❙ VLQJOHHOHPHQWRI21VHWRU'&VHWRUDQ\JURXSRIWKHVHHOHPHQWVWKDW FDQEHFRPELQHGWRIRUPD VXEFXEH ❚ 3ULPH LPSOLFDQW ❙ LPSOLFDQW WKDWFDQWEHFRPELQHGZLWKDQRWKHUWRIRUPDODUJHU VXEFXEH ❚ (VVHQWLDOSULPH LPSOLFDQW ❙ SULPH LPSOLFDQW LVHVVHQWLDOLILWDORQHFRYHUVDQHOHPHQWRI21VHW ❙ ZLOOSDUWLFLSDWHLQ$//SRVVLEOHFRYHUVRIWKH21VHW ❙ '&VHWXVHGWRIRUPSULPH LPSOLFDQWV EXWQRWWRPDNHLPSOLFDQW HVVHQWLDO ❚ 2EMHFWLYH ❙ JURZ LPSOLFDQW LQWRSULPH LPSOLFDQWV PLQLPL]HOLWHUDOVSHUWHUP ❙ FRYHUWKH21VHWZLWKDVIHZSULPH LPSOLFDQWV DVSRVVLEOH PLQLPL]HQXPEHURISURGXFWWHUPV

CSE 370 – Spring 2001 - Combinational Logic - 60

;
'

$

%

&

SULPH LPSOLFDQWV %'$%&$&'$%&$&'

([DPSOHVWRLOOXVWUDWHWHUPV

'

$

%

&

SULPH LPSOLFDQWV $%'%&$&$&'$%%&' PLQLPXPFRYHU$&%& $%' HVVHQWLDO PLQLPXPFRYHUHVVHQWLDO LPSOLFDQWV HVVHQWLDO

SLIDE 11 CSE 370 – Spring 2001 - Combinational Logic - 61

$OJRULWKPIRUWZROHYHOVLPSOLILFDWLRQ

❚ $OJRULWKPPLQLPXPVXPRISURGXFWVH[SUHVVLRQIURPD .DUQDXJK PDS ❙ 6WHSFKRRVHDQHOHPHQWRIWKH21VHW ❙ 6WHSILQGPD[LPDOJURXSLQJVRIVDQG;VDGMDFHQWWRWKDWHOHPHQW ❘ FRQVLGHUWRSERWWRPURZOHIWULJKWFROXPQDQGFRUQHUDGMDFHQFLHV ❘ WKLVIRUPVSULPH LPSOLFDQWVQXPEHURIHOHPHQWVDOZD\VDSRZHURI ❙ 5HSHDW6WHSVDQGWRILQGDOOSULPHLPSOLFDQWV ❙ 6WHSUHYLVLWWKHVLQWKH.PDS ❘ LIFRYHUHGE\VLQJOHSULPH LPSOLFDQWLWLVHVVHQWLDODQGSDUWLFLSDWHVLQ ILQDOFRYHU ❘ VFRYHUHGE\HVVHQWLDOSULPH LPSOLFDQW GRQRWQHHGWREHUHYLVLWHG ❙ 6WHSLIWKHUHUHPDLQVQRWFRYHUHGE\HVVHQWLDOSULPH LPSOLFDQWV ❘ VHOHFWWKHVPDOOHVWQXPEHURISULPH LPSOLFDQWV WKDWFRYHUWKH UHPDLQLQJV

CSE 370 – Spring 2001 - Combinational Logic - 62

;

'

$

;
;
%

& SULPHVDURXQG$%&'

$OJRULWKPIRUWZROHYHOVLPSOLILFDWLRQH[DPSOH

;

'

$

;
;
%

& SULPHVDURXQG$%&' ;

'

$

;
;
%

& SULPHVDURXQG$%&' ;

'

$

;
;
%

& PLQLPXPFRYHUSULPHV ;

'

$

;
;
%

& ;

'

$

;
;
%

& HVVHQWLDOSULPHV ;

'

$

;
;
%

&

CSE 370 – Spring 2001 - Combinational Logic - 63

&RPELQDWLRQDOORJLFVXPPDU\

❚ /RJLFIXQFWLRQVWUXWKWDEOHVDQGVZLWFKHV ❙ 127$1'251$1'125;25PLQLPDOVHW ❚ $[LRPVDQGWKHRUHPVRI%RROHDQDOJHEUD ❙ SURRIVE\UHZULWLQJDQGSHUIHFWLQGXFWLRQ ❚ *DWHORJLF ❙ QHWZRUNVRI%RROHDQIXQFWLRQVDQGWKHLUWLPHEHKDYLRU ❚ &DQRQLFDOIRUPV ❙ WZROHYHODQGLQFRPSOHWHO\VSHFLILHGIXQFWLRQV ❚ 6LPSOLILFDWLRQ ❙ WZROHYHOVLPSOLILFDWLRQ ❚ /DWHU ❙ DXWRPDWLRQRIVLPSOLILFDWLRQ ❙ PXOWLOHYHOORJLF ❙ GHVLJQFDVHVWXGLHV ❙ WLPHEHKDYLRU