Análise e síntese de circuitos combinatórios

PCS 2215
Fundamentos de Engenharia de Computao II
Mdulo 07 Anlise e Sntese de Circuitos
Combinatrios
Marco Tlio Carvalho de Andrade
Professor Responsvel
Verso: 2.0 (Agosto de 2.011)
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios
PCS 2215 - Fund. Eng. Comp. II
Contedo
Anlise e Sntese de Circuitos Combinatrios
0. Notas e Definies Preliminares. 1. Formas Cannicas. 1.1 Identidades Bsicas. 2. Anlise de Circuitos Combinatrios 2.1 Circuitos a Portas. 3. Sntese de Circuitos Combinatrios. 3.1 Sntese por Mtodo Algbrico. 3.2 Sntese por Mapa de Karnaugh.
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 2
1
1
Contedo
Anlise e Sntese de Circuitos Combinatrios
4. Minimizao de Circuitos. 4.1 Implicantes primrios. 4.1.1 Tabela de Cobertura 4.2 Minimizao pelo Mtodo Tabular 4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes. 4.4 Funes Incompletamente Definidas 5. Exemplos de Aplicao. Bibliografia
0. Notas e Definies Preliminares Nota 1. - Uma lgebra de Chaveamento ({F.C.}, , , ~, 0t, 1t) pode ser vista como um caso particular de uma estrutura algbrica genrica denominada lgebra de Boole, onde o conjunto S gerador da estrutura o conjunto de funes de chaveamento {F.C.}.
2
2
0. Notas Preliminares
Nota 2. - lgebra Booleana (ver Complementos de lgebra Boolena) - uma sxtupla: (S, , , ~, fronteira inferior Mxima, Fronteira Superior mnima) Nota 3. - Outra particularizao de interesse a lgebra Booleana constituda pelas Classes de Equivalncia geradas por funes de chaveamento de n variveis (x1, x2, ..., xn), onde existe uma correspondncia biunvoca entre elementos de {F.C.} e de {C.E.}: ({C.E.}, , , ~, Ft, Vt)
0. Notas Preliminares Nota 4. - Todo teorema de uma lgebra Booleana vale para uma lgebra de Chaveamento. Definio 1. - Literal - Representa uma varivel ou uma varivel complementada, tendo um sentido mais amplo que o de varivel.
3
3
0. Notas Preliminares
Definio 2. - Expresses Booleanas geradas sobre x1, x2, ..., xn so definidas recursivamente: 1-) 0, 1, x1, x2, ..., xn so expresses Booleanas. 2-) Se X1 e X2 so expresses Booleanas ento, tambm tambm so expresses Booleanas: (a) (X1) (b) ~X1 (c) X1 X2 (d) X1 X2 3-) Se X uma expresso Booleana gerada sobre os smbolos x1, x2, ..., xn ento podemos escrever X = X(x1, x2, ..., xn) onde cada smbolo xi (ou ~xi) chamado de um Literal.
1. Formas Cannicas
Sejam, a lgeb. de Chaveamento ({F.C.},,,~,0t,1t) e a lgebra de Boole ({C.E.},,,~,Ft,Vt) das formas e Classes Booleanas geradas pelas variveis x1, x2, ..., xn. Seja li uma metavarivel que pode valer xi ou ~xi.
Definio 1.1 - Produto Cannico (ou mintermo) toda Expresso de Chaveamento (ou Booleana) composta pelo Produto de todas as variveis, complementadas ou no:
PCi = l1.l2 ., , ,.ln = (lj )

j =1
4
4
1. Formas Cannicas Definio 1.2 - Primeira Forma Cannica toda Expresso de Chaveamento (ou Expresso Booleana) composta pela Soma de produtos cannicos, ou de mintermos, diferentes entre si. Teorema 1.1 - Toda Classe de Equivalncia Cn pode representar-se mediante sua Primeira Forma Cannica que nica para esta Classe.
1. Formas Cannicas
Observaes (I):
Como em um produto cannico intervm todas as variveis, sua interpretao ser sempre 0 a menos de uma determinada: aquela que associe 1 a todas variveis sem ~ e 0 a todas com ~. Portanto cada um dos 2n produtos cannicos serve para representar um, e apenas um, dos 2n tomos (ou elementos atmicos).
5
5
1. Formas Cannicas
Observaes (II):
Segundo Teorema da lgebra de Chaveamento todo elemento desta lgebra distinto de 0 pode expressar-se, de maneira nica, como uma soma de tomos. Logo qualquer classe de equivalncia distinta de C0 pode expressar-se de maneira nica como uma soma de tomos. Portanto pode-se representar de maneira nica como uma Soma de Produtos Cannicos, isto , representar na Primeira Forma Cannica (ou Soma Cannica).
1. Formas Cannicas
Observaes (III) - Existe uma notao abreviada para descrever as formas cannicas: 1-) Baseia-se em associar um nmero decimal a cada produto cannico; 2-) Este nmero aquele que resulta ao interpretar-se como um nmero binrio a combinao de Zeros e Uns das variveis para a qual a interpretao do produto em questo 1. 3-) Por exemplo: A interpretao de ~x3.x2.x1 1 para x3=0, x2=1 e x1=1 e 011 em binrio 3 em decimal (m3).
6
6
1. Formas Cannicas
Mintermos para trs variveis:
x3 x2 x1
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1
Mintermos
m0 = ~x3 ~x2 ~x1 m1 = ~x3 ~x2 x1 m2 = ~x3 x2 ~x1 m3 = ~x3 x2 x1 m4 = x3 ~x2 ~x1 m5 = x3 ~x2 x1 m6 = x3 x2 ~x1 m7 = x3 x2 x1
PCS 2215 - Fund. Eng. Comp. II 13
1. Formas Cannicas
x2 x1 C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 C1 C11 C1 C1 C1 C15 m0 0 m1 0 m2 1 m3 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1
0
1 0 1 1
1 1 1 1
1 0 1 0
1 1 0 0
1 1 0 1
1 1 1 0
C0 = ~(C1 + C2 + C4 + C8) C1 = C1 C2 = C2 C3 = C1 + C2 C4 = C4 C5 = C1 + C4 C6 = C2 + C4 C7 = C1 + C2 + C4
C8 = C8 C9 = C1 + C8 C10 = C2 + C8 C11 = C1 + C2 + C8 C12 = C4 + C8 C13 = C1 + C4 + C8 C14 = C2 + C4 + C8 C15 = C1 + C2 + C4 + C8

7
7
1. Formas Cannicas
Definio 1.3 - Soma Cannica (ou Maxtermo) toda Expresso de Chaveamento (ou Booleana) composta pela soma de todas as variveis, complementadas ou no: n
SCi = l1 + l2 + ... + ln = (lj )
j =1
Definio 1.4- Segunda Forma Cannica toda Expresso de Chaveamento (ou Booleana) composta pelo produto de somas cannicas, ou de Maxtermos, diferentes entre si. Teorema 1.2 - Toda Classe de Equivalncia Cn pode representar-se mediante sua Segunda Forma Cannica que nica para esta Classe.
1. Formas Cannicas
Observaes: Como em uma soma cannica intervm todas as variveis, sua interpretao ser sempre 1, a menos de uma determinada: aquela que associe 0 a todas variveis sem ~ e 1 a todas com ~. Em resumo: Qualquer classe de equivalncia pode tambm ser expressa de maneira nica como um Produto de Somas Cannicas, isto , pode ser representada na Segunda Forma Cannica. (ou Produto Cannico).
8
8
1. Formas Cannicas
Observaes (II) - Existe uma notao abreviada para descrever a segunda Forma Cannica: 1-) Baseia-se em associar um nmero decimal a cada soma cannica. 2-) Este nmero aquele que resulta ao interpretar-se como um nmero binrio a combinao de Zeros e Uns das variveis para a qual a interpretao da soma em questo 0. 3-) Por exemplo: A interpretao de x3+~x2+~x1 0 para x3=0, x2=1 e x1=1 e 011 em binrio 3 em decimal (M3).
1. Formas Cannicas
Maxtermos para trs variveis:
x3 x2 x1
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1
Maxtermos
M0 = x3 + x2 + x1 M1 = x3 + x2 + ~x1 M2 = x3 + ~x2 + x1 M3 = x3 + ~x2 + ~x1 M4 = ~x3 + x2 + x1 M5 = ~x3 + x2 + ~x1 M6 = ~x3 + ~x2 + x1 M7 = ~x3 + ~x2 + ~x1
9
9
1. Formas Cannicas
x2 x1 C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 C1 C11 C1 C1 C1 C15 M0 0 M1 0 M2 1 M3 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1
0
1 0 1 1
1 1 1 1
1 0 1 0
1 1 0 0
1 1 0 1
1 1 1 0
C0 = C7 . C11 . C13 . C14 C1 = C7 . C11 . C13 C2 = C7 . C11 . C14 C3 = C7 . C11 C4 = C7 . C13 . C14 C5 = C7 . C13 C6 = C7 . C14 C7 = C7
C8 = C11 . C13 . C14 C9 = C11 . C13 C10 = C11 . C14 C11 = C11 C12 = C13 . C14 C13 = C13 C14 = C14 C15 = ~(C7 . C11 . C13 . C14)
1. Formas Cannicas
Mintermos e Maxtermos para trs variveis:
x3 x2 x1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 Mintermos m0 = ~x3 ~x2 ~x1 = ~M0 m1 = ~x3 ~x2 x1 = ~M1 m2 = ~x3 x2 ~x1 = ~M2 m3 = ~x3 x2 x1 = ~M3 m4 = x3 ~x2 ~x1 = ~M4 m5 = x3 ~x2 x1 = ~M5 Maxtermos M0 = x3 + x2 + x1 = ~m0 M1 = x3 + x2 + ~x1 = ~m1 M2 = x3 + ~x2 + M3 = x3 + ~x2 + M4 = ~x3 + x2 + M5 = ~x3 + x2 + M6 = ~x3 + ~x2 + x1 = ~m2 ~x1 = ~m3 x1 = ~m4 ~x1 = ~m5 x1 = ~m6
1 0 1 1 1 0 1 1 1
m6 = x3 x2 ~x1 = ~M6 m7 = x3 x2 x1 = ~M7 M7 = ~x3 + ~x2 + ~x1 = ~m7
20
10
10
1. Formas Cannicas Observaes adicionais: A lgebra de Chaveamento ({F.C.}, , , ~, 0t, 1t) tem o mesmo nmero de Funes de Chaveamento que o de classes de equivalncia da lgebra Booleana ({C.E.}, , , ~, Ft, Vt), que : {F.C.} tem um nmero de n-tuplas diferentes em {0,1}n igual a k = 2n e gera 2k combinaes distintas para aplicar cada uma destas k n-tuplas em {0,1}.
n =k
1. Formas Cannicas
Observaes adicionais:
{C.E.} tem um nmero de k = 2n produtos cannicos com os quais pode-se escrever as 2k primeiras formas cannicas diferentes. Pela definio 4.3 do material adicional de lgebra Booleana, elas so isomorfas. Sendo isomorfas existe uma correspondncia biunvoca entre cada Funo de Chaveamento de ordem n e cada classe de equivalncia de Expresses Booleanas de n variveis.
11
11
1. Formas Cannicas
Observaes (continuao): A correspondncia tal que se fi e fk esto em correspondncia com Ci e Ck ento (fi+fk) e (fi.fk) estaro em correspondncia com (Ci+Ck) e (Ci.Ck). Importncia na aplicao ao projeto de circuitos lgicos: A sada de um circuito expressa como uma Funo de Chaveamento tem infinitas formas associadas a uma classe de equivalncia. Como Engenheiros nos interessa encontrar a forma mnima!
1.1. Identidades Bsicas

A seguir so apresentadas identidades bsicas para duas ou trs variveis:
I1 - x+0=x x.1=x [Elemento neutro ou identidade] I2 - x+1=1 x.0=0 [Elementos mximo/mnimo ou elemento nulo] I3 - x+~x=1 x.~x=0 [Complemento] I4 - ~(~x) = x [Involuo]
12
12

Mais identidades:
I5 - x + x = x x.x=x [Idempotncia] I6 - x+y=y+x x.y=y.x [Comutativa] I7 - x+(y+z)=(x+y)+z x.(y.z)=(x.y).z [Associativa] I8 - x.(y+z)=x.y+x.z x+(y.z)=(x+y).(x+z) [Distributiva] I9 - x+x.y=x [I9a] x.(x+y)=x [I9b] [Absoro ou cobertura]

Mais identidades:
I10 - ~(x+y)=~x.~y [De Morgan]
~(x.y)=~x+~y
I11a-(x+y).(~x+z).(y+z)=(x+y).(~x+z)=x.z+~x.y
I11b - x.y+~x.z+y.z=x.y+~x.z [Consenso] I12 - x . y + x . ~y = x (x + y) . (x + ~y) = x [Combinao] I13 - (x+y).(~x+z)= x.z+~x.y I14 - (x+~x.y)=(x+y) x.(~x+y)=x.y
13
13

Exemplo 1.1: Simplificar (x+y+z).(x.~y+y.z+x.~z) =
= x.x.~y+x.y.z+x.x.~z+x.y.~y+y.y.z+x.y.~z+x.~y.z+y.z.z+x.z.~z= = x.~y + x.y.z + x.~z + x.0 + y.z + x.y.~z + x.~y.z + y.z + x.0 =
= x.(~y + y.z) + x.~z + x.y.~z + y.z + x.~y.z + y.z = = x.(~y + z) + x.~z(1 + y) + z.(y + x.~y) + y.z = = x.~y + x.z + x.~z + z.(y + x) + y.z = = x.~y + x.z + x.~z + y.z + x.z + y.z = = x.~y + x.z + x.z + x.~z + y.z + y.z = = x.~y + x.(z + ~z) + y.z = = x.~y + x.1 + y.z = = x.~y + x + y.z = = x + y.z

Exemplo 1.2: Calcular (desenvolver) f = ~(x.y+~y.z+x.~z) Exemplo 1.3: Verificar que a expresso (~y + w.x.z + ~x.z + ~w.x) . (y + w.x + x.z) idntica expresso x . (w + y) . (~w + ~y) + z . (x + y) Exemplo 1.4: Comprovar a validade da identidade I14, [(x + ~x.y) = (x+y)], por Diagrama de Venn.
14
14

Exemplo 1.4: Comprovar a validade da identidade I14, [(x + ~x.y) = (x+y)], por Diagrama de Venn.
x y x+ y
~x
~x . y
x + ~x . y
29

Maxtermos/mintermos permitem a decomposio sistemtica de Expresses de Chaveamento em subexpresses com subconjuntos das variveis. Teorema da Expanso de Shannon: Qualquer Expresso de Chaveamento do tipo fn(x1, x2, x3, ..., xn) pode ser decomposta na Expresso [I15a] x1 . fn(1, x2, x3, ..., xn) + ~ x1 . fn(0, x2, x3, ..., xn) ou decomposta em sua Expresso dual [I15b] [x1+fn(0, x2, x3, ..., xn)] . [ ~ x1+fn(1, x2, x3, ..., xn)]
15
15

Exemplo da aplicao de [I15a]: f3(x1, x2, x3) = x1.f3(1, x2, x3) + ~ x1.f3(0, x2, x3) f3(x1, x2, x3) = x1.x2.f3(1,1, x3) + x1.~x2.f3(1,0, x3) + ~x1.x2.f3(0,1, x3) + ~ x1.~x2.f3(0,0, x3) f3(x1, x2, x3)= x1.x2.x3.f3(1,1,1) + x1.x2.~x3.f3(1,1,0) + x1.~x2.x3.f3(1,0,1) + x1.~x2.~x3.f3(1,0,0) + ~x1.x2.x3.f3(0,1,1) + ~x1.x2.~x3.f3(0,1,0) + ~x1.~x2.x3.f3(0,0,1) + ~x1.~x2.~x3.f3(0,0,0)

Exemplo da aplicao de [I15b]: f3(x1, x2, x3)=[x1 + f3(0, x2, x3)].[~ x1 + f3(1, x2, x3)] f3(x1, x2, x3)=[x1+x2+f3(0,0, x3)].[x1+~x2+f3(0,1, x3)] .[~x1+x2+f3(1,0, x3)].[~ x1+~x2+f3(1,1, x3)] f3(x1,x2, x3)=[x1+x2+x3+f3(0,0,0)].[x1+x2+~x3+f3(0,0,1)] . [x1+~x2+x3+f3(0,1,0)] . [x1+~x2+~x3+f3(0,1,1)] . [~x1+x2+x3+f3(1,0,0)] . [~x1+x2+~x3+f3(1,0,1)] . [~x1+~x2+x3+f3(1,1,0)] . [~x1+~x2+~x3+f3(1,1,1)]
16
16

Mais Identidades: (fnDUAL)DUAL = fn [I16] [fn = gn] [fnDUAL = gnDUAL] [I17] fDUAL(x1, x2, ..., xn) = ~f(~x1, ~x2, ..., ~xn) [I18a] fDUAL(x, y, ..., z) = ~f(~x, ~y, ..., ~z) [I18b] Exemplo: Dado fn = x.y + ~y.z fnDUAL = (x+y) . (~y+z) ~fn=~(x.y+~y.z)=~(x.y).~(~y.z)= (~x+~y) . (y+~z) Portanto: fnDUAL(x,y,z) = ~fn(~x,~y,~z)
2. Anlise de Circuitos Combinatrios

Um Circuito Combinatrio (ou circuito sem memria) pode ser visto como um dispositivo lgico cuja sada (isto , o efeito da operao lgica que ele realiza) depende apenas das entradas no instante presente (isto , das causas lgicas). Em vista disto pode-se representar a sada de um circuito combinatrio por uma funo do tipo fn(x1, x2, ..., xn), sendo (x1, x2, ..., xn) as entradas lgicas. Ou ainda, por uma funo do tipo fn(x, y, ..., z), sendo (x, y, ..., z) as entradas lgicas.
17
17

A forma de anlise de um Circuito Combinatrio depende do modelo utilizado para especific-lo:
Diagrama Lgico Expresso de Chaveamento
Estrutura exposta; comportamento escondido (este pode ser extrado)
Comportamento exposto; Estrutura escondida (representa infinitas estruturas)
35

Tipicamente extrai-se a Expresso de Chaveamento do Diagrama Lgico, quando ento constrise a Tabela da Verdade.
Diagrama Lgico Expresso de Chaveamento
Identificao exata das operaes algbricas envolvidas: - Modelo funcional - Interpretao de Engenharia
Tabela da Verdade
36
18
18

Ao analisar um circuito combinatrio pode-se utilizar um de trs procedimentos bsicos: 1-) Enumerao de todos os caminhos de propagao dos sinais de entrada - Levantam-se os caminhos possveis das entradas para as sadas. 2-) Aplicao da Identidade de Shanonn (I15) - Fixam-se os valores lgicos de uma dada varivel xi gerando-se dois subcircuitos de n-1 variveis. 3-) Decomposio - Divide-se o circuito em blocos e faz-se a anlise no nvel de blocos elementares.

Exemplo 2.1.1 - 1) Enumerao dos caminhos dos sinais de entrada:
x1 x2 ~x1 ~x2 ~x1.~x2
x1.x2 x1.x2 + ~x1.~x2
38
19
19

Exemplo 2.1.2-2) Aplicao da identidade de Shanonn (I15): f2(x1, x2) = x1 . f2(1, x2) + ~x1 . f2(0, x2)
[a] x1 = 0 ~x1 = 1 I15a [b] x1 . f(1, x2) + ~x1 . f(0, x2) [c] f(1, x2) = x2 e [d] f(0, x2) = ~x2
x1 x2
1 x2 0 ~x2 x2 0 x2
x1 x2
0 x2 1 ~x2 0 ~x2 ~x2
Expresso final [e]: x1 . x2 + ~x1 . ~x2


Exemplo 2.1.3 - 3) Decomposio em blocos elementares:
x1 x2 x1 x2 ~x1 ~x2 ~x1 ~x2 x1.x2 x1.x2 ~x1.~x2 ~x1.~x2 x1.x2 + ~x1.~x2
40
20
20
2.1. Circuitos a Portas

Definio 2.1.1 - Portas Lgicas: n Uma porta lgica uma funo de Z 2 em Z 2 . n A porta AND (E) a funo de Z 2 em Z 2 . n A porta OR (OU) a funo de Z 2 em Z 2. A porta NOT (NO) a funo ~ de Z2 em Z 2. Definio 2.1.2 - O conjunto {p1, p2, ..., pn} de portas denominado funcionalmente completo se, dado qualquer inteiro positivo n e uma funo f n de Z 2 em Z 2 , possvel construir um circuito combinatrio que compute a funo f utilizando apenas {p1, p2, ..., pn}.
2.1. Circuitos a Portas

Exemplo 2.1.4 - Os teoremas que atestam que toda classe de equivalncia pode ser gerada a partir da primeira e da segunda formas cannicas (1.1 e 1.2) permitem mostrar que o conjunto de portas {AND, OR, NOT} funcionalmente completo. Definio 2.1.3 - Portas lgicas NAND e NOR.
NAND NOR
Teorema 2.1.1 - Os conjuntos de portas {AND, NOT}={NAND} e {OR, NOT}={NOR} so funcionalmente completos.
21
21
2.1. Circuitos a Portas - Anlise

Quando o circuito aparece determinado por meio de um diagrama de portas lgicas a maneira mais eficiente de anlise a decomposio em funes intermedirias, da sada para a entrada, ou a composio de funes, da entrada para a sada.
x1 x2 x4 x5 x3 f3 f2
f1 f

Exemplo 2.1.5
x4 x5 x1 x2 x3 f3 f2 f1 f
As entradas do circuito anterior so (x1, x2, x3, x4, x5) e sua sada o valor lgico f(x1, x2, x3, x4, x5). Da sada para a entrada tem-se: f(x1, x2, x3, x4, x5) = f1(x1, x2) + f2(x3, x4, x5) = f(x1, x2, x3, x4, x5) = x1. x2 + x3 . f3(x4, x5) = f(x1, x2, x3, x4, x5) = x1. x2 + x3 . (x4 + x5) = f(x1, x2, x3, x4, x5) = x1. x2 + x3 . x4 + x3 . x5
22
22

Exemplo 2.1.6 - Anlise de circuitos E-OU (OU-E) a dois nveis:
x1 x2 x3 x4 x5 x6 f3 f2 f f1 x1 x2 x3 x4 x5 x6 f3
f1 f2

Exemplo 2.1.7 - Anlise de circuitos XOR:
x1 x2
f1 x3
f2 x4
f3 x5
Verifica-se a associatividade da operao, de modo que f poderia ser representada por:

x1 x2 x3 x4 x5 f
46
23
23

Exemplo 2.1.8 - Anlise de circuitos NAND:
x1 x2 f1 x3 f2 x4 f3 f x5
Exemplo 2.1.9 - Anlise de circuitos NOR:

x1 x2 f1 x3 f2 x4 f3 f x5
3. Sntese de Circuitos Combinatrios

Sntese
Diagrama Lgico
Expresso Algbrica
Tabela da Verdade
Interpretao
Anlise
24
24
3. Sntese de Circuitos Combinatrios Terminologia: Engenheiro de Computao - No exerccio da profisso:

Envolvimento na realizao de Projeto de Sistemas Digitais.
Projeto de Sistemas Digitais - Fases:

Especificao: requisitos, escopo. Modelo: tcnicas, mtodos de implementao. Implementao: simulao, laboratrio.
3. Sntese de Circuitos Combinatrios Projeto de Sistemas Digitais - Necessidade de representao: Linguagem. Diagramas. lgebra Booleana e lgebra de Chaveamento - Aparecem como ferramenta aderente ao encaminhamento da soluo desta classe de problemas. Projeto de Sistemas Digitais - Envolve a atividade do Projeto Lgico Digital.
25
25

Projeto Lgico Digital:
Atividade na qual o projetista de um sistema eletrnico digital cria circuitos analisando um problema e elaborando sua soluo no nvel conceitual dos Circuitos Lgicos. Circuitos Lgicos Circuitos que existem apenas como Abstraes Matemticas:
Independentes do mundo fsico da eletrnica digital; Constitudos de associaes de Mdulos Lgicos Funcionais.

Mdulos Lgicos Funcionais: Associaes de Portas Lgicas Fundamentais que realizam as Operaes Lgicas Primitivas definidas na lgebra de Chaveamento adotada. Realizao de um Projeto Lgico Digital: o projeto de uma Mquina Abstrata, ou Equipamento Matemtico, onde as primitivas (tijolos da construo) so operaes matemticas. O Circuito Lgico pode ser visto como uma associao (ou rede) de operadores matemticos.
26
26

Engenharia do Projeto Lgico Digital [Fregni-95]: Muda o enfoque do projeto - Parte do princpio de que a Finalidade de todo Circuito Lgico ser Materializado em um Circuito Fsico. Define: Mdulos Matemticos a serem utilizados. Estabelece Tcnicas e Mtodos de implementao. Define as Caractersticas Fsicas do circuito final. Projetista usa a Intuio - A ao do Projetista deixa de ser exclusivamente mecanizada ou formal e este usa sua experincia como ferramenta.
Projetar passa a ser uma Arte, com mtodo cientfico!

Objetivo: Obter a soluo mais econmica! Soluo mais econmica - Difcil de ser definida com preciso. Critrios possveis: Minimizao do nmero de literais da funo de chaveamento. Minimizao do nmero de interconexes entre as portas. Minimizao do nmero de pinos do circuito integrado a ser eventualmente construdo.
27
27
3.1. Sntese por Mtodo Algbrico O Teorema da Expanso de Shannon [I15] mostrou que pode-se decompor uma Expresso de Chaveamento fn(x1, x2, x3, ..., xn) em duas formas cannicas: Soma de Produtos [SP - I15a] e Produto de Somas [PS - I15b]. Ex. 3.1. f = x1.x2 + ~x2.x3 pode ser representada por:
f = x1.x2 .~x3 + x1.x2.x3 + x1.~x2.x3 + ~x1.~x2.x3 (SP) ou por
f=(x1+x2 +x3).(x1+~x2+x3).(x1+~x2+~x3).(~x1+x2+x3) (PS)
55
3.1. Sntese por Mtodo Algbrico Usando a definio de mintermos e maxtermos:

f = x1.x2 .~x3 + x1.x2.x3 + x1.~x2.x3 + ~x1.~x2.x3 (SP) f = m3 + m7 + m5 + m4 (SP) f = m(3,4,5,7) . ou
f=(x1+x2 +x3).(x1+~x2+x3).(x1+~x2+~x3).(~x1+x2+x3) (PS) f= M0 . M2 . M6 . M1 (PS)
f = M (0,1,2,6) .
28
28
3.1. Sntese por Mtodo Algbrico

Teorema 3.1.1 - Uma Expresso de Chaveamento do tipo fn(x1, x2, x3, ..., xn) pode ser expressa de maneira nica como uma soma de mintermos ou um produto de maxtermos. Teorema 3.1.2 - Se a Expresso de Chaveamento fn(x1, x2, x3, ..., xn) expressa como uma soma de p mintermos ento ela tambm expressa como um produto de (2n - p) maxtermos.
f n = mi = M j
( 2n p )
, onde: i j.
Sntese por Mtodo Algbrico Seja um sistema e uma especificao deste:

O processo de sntese consiste na obteno de uma Expresso de Chaveamento do tipo fn(x1, x2, x3, ..., xn), que represente o comportamento do sistema em questo.
A especificao pode vir:

Por meio de linguagem natural (uma descrio de seu comportamento lgico, por exemplo). Tabela da verdade.
29
29
Exemplo 3.1.1 - Sintetizar um circuito de chaveamento para detectar os cdigos BCD correspondentes aos nmeros mpares.
x1 x2 x3 x4
Detector
59

Exemplo 3.1.1 x4 x3 x2 x1 y 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 Soma Produtos ~x4 . ~x3 . ~x2 . x1 x4 + x3 + ~x2 + x1 ~x4 . ~x3 . x2 . x1 x4 + ~x3 + x2 + x1 ~x4 . x3 . ~x2 . x1 x4 + ~x3 + ~x2 + x1 ~x4 . x3 . x2 . x1 ~x4 + x3 + x2 + x1 x4 . ~x3 . ~x2 . x1
Produto Somas x4 + x3 + x2 + x1
0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1
30
30

Exemplo 3.1.1 - Soma de Produtos: y = ~x4.~x3.~x2.x1 + ~x4.~x3.x2.x1+~x4.x3.~x2.x1+~x4.x3.x2.x1+x4.~x3.~x2.x1
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
61

Ex3.1.1-Produto de Somas: y=(x4+x3+x2+x1).(x4+x3+~x2+x1) .(x4+~x3+x2+x1).(x4+~x3+~x2+x1).(~x4+x3+x2+x1)
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
62
31
31
3.2. Sntese por Mapa de Karnaugh Um Mapa de Karnaugh pode ser considerado como uma representao modificada de uma Tabela da Verdade, em n dimenses. Consegue-se visualizar propriedades explcitas por meio de padres e/ou estruturas que permitem simplificaes nas funes de chaveamento, com complexidade de representao proporcional ao nmero de variveis.
Clula - um mintermo ou um Maxtermo. Clulas Adjacentes - Duas clulas so adjacentes quando diferem apenas no valor de uma varivel. Adjacncias - Grupamentos (retangulares ou quadrados) de 2n clulas adjacentes.
3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Obteno e interpretao para duas variveis:
Conjunto Universal ~x2 x2 ~x1 x1 ~x2 x2 ~x2 x2 ~x1 (0) (2) x1 (1) (3)
Mintermos
x2 x1 0 1 0 1 1 x1 0 1 x2 0 1 1 x1 0 1 1 x2 0 1 x1 0 1 1 x2 0 1
f=~x2.~x1
f=x2.~x1
f=~x2.x1
f=x2.x1
32
32
3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Interpretao das Leis de De Morgan para duas variveis:
x2 x1 0 1 1 0 1 x1 0 1 x2 0 1 1 1 1 x1 0 1 x2 0 1 1 1 1 x1 0 1 x2 0 1 1 1 x1 0 1 x2 0 1 1 1
f=x2.x1
x2 x1 0 1 1 0 1 1 1
f = ~(x2 . x1) = ~x2 + ~x1 = ~x2

x2 x1 0 1 0 1 1 x1 0 1 x2 0 1 1 x1 0 1 x2 0 1 1 1
+
x2 x1 0 1
~x1
0 1 1 1
f=x2+x1 f= ~(x2 + x1) = ~x2 . ~x1 =

~x2
~x1
65
3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao de alguns Conectivos Lgicos para duas variveis:
Conjunto Universal x2 x1 0 1 0 1 1 1 1 1 x1 0 1 1
f=x2ORx1
x2 0 1 1 1
f=x2XORx1
x2 x1 0 1 1 0 1 1
f=x2ANDx1
x2 x1 0 1 1 0 1
Conjunto Universal x2 x1 0 1 0 1 1 1 1 1
f=x2NORx1 f=x2NXORx1 f=x2NANDx1

x2 x1 0 1 x2 0 1 1 x1 0 1 0 1 1 1 x1 0 1 x2 0 1 1
66
1 1
33
33
3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao:

Uma varivel
x1 0 1 (0) (1)
Duas variveis
x2 x1 0 1 0 1 (0) (2) (1) (3)
Trs variveis
x3x2 x1 00 01 11 10 0 1 (0) (2) (6) (4) (1) (3) (7) (5)
67

Trs variveis: x3,x2,x1
x3x2 x1 00 01 11 10 0 1 (0) (2) (6) (4) (1) (3) (7) (5) ~x1 x1 x3x2 ~x1 x1 ~x3x2 x3~x2 ~x3~x2 ~x3~x2 ~x3x2 x3x2 x3~x2
68
34
34

Quatro variveis
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
Cinco variveis
x5 = 0
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
x5 = 1
x4x3 00 01 11 10 x2x1
(16) (20) (28) (24) (17) (21) (29) (25) (19) (23) (31)(27) (18) (22) (30)(26)
00 01 11 10
69

Quatro variveis
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
x4
00 01 00 01 11 10 (0) (4) (12) (8) (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
x1
x2
11 10
x3
35
35
3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh para Seis Variveis:
x5 = 0 x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) x6 = 0
01 11 10 00 01 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
(32) (36) (44) (40) (33) (37)(45) (41) (35) (39)(47) (43)
x5 = 1 x x 4 3
00 01 11 10
(16) (20) (28) (24) (17) (21) (29) (25) (19) (23) (31)(27) (18) (22) (30)(26) (48) (52) (60) (56) (49) (53) (61) (57) (51) (55) (63) (59) (50) (54) (62) (58)
x2x1 00 01 11 10 00 01 11 10
x6 = 0
x6 = 1
11
x6 = 1
10 (34) (38) (46) (42) x2x1 00 01 11 10 x4x3 x5 = 0
00 01 11 10 x2x1 x5 = 1 x4x3
3.2. Sntese por Mapa de Karnaugh Exerccio 3.2.1 - Determinar o menor conjunto de adjacncias que cubra (ou contenha) todos os mintermos das funes de trs variveis dadas:
x3x2 x1 00 01 11 10 0 1 0 1 1 0 1 0 0 1 x3x2 x1 00 01 11 10 0 1 0 0 1 1 1 1 1 0
x3x2 x1 00 01 11 10 0 1 1 1 0 0 0 0 1 1
36
36
3.2. Sntese por Mapa de Karnaugh Exerccio 3.2.2 - Determinar o menor conjunto de adjacncias que cubra (ou contenha) todos os mintermos das funes de quatro variveis dadas:
x4x3 x2x1 00 01 11 10 1 0 0 1 00 1 1 0 1 01 0 1 0 0 11 1 0 0 1 10 x4x3 x2x1 00 01 11 10 0 0 0 0 00 01 11 10 1 1 0 1 1 0 1 0 0 1 1 1
73
3.2. Sntese por Mapa de Karnaugh elemento bsico em um Mapa de Karnaugh. Sua definio pode ser gerada de maneira indutiva: Cubo-0: Em um Mapa de Karnaugh de n variveis, uma entrada qualquer com 1 (isto , uma clula ou um mintermo) um Cubo-0. Cubo-1: Em um Mapa de Karnaugh de n variveis sejam dois Cubos-0 que diferem apenas no valor de uma varivel (Cubos-0 adjacentes). As n-1 variveis em que dois Cubos-0 adjacentes so concordantes definem um Cubo-1.
Cubo-r (cubo de ordem r ou cubo erre) - o
37
37
3.2. Sntese por Mapa de Karnaugh Cubo-r - Analogia com representaes geomtricas de variveis contnuas:
Uma varivel
x = 2,37 0 1 x1 2 3 0 (1,0) x2 1 x1 2 3 (0,0) (x2,x1) x1 (0,1)

75
x1
1 (1,1)
2 x2
Duas variveis
(2,37 ; 1,2)
1 0
3.2. Sntese por Mapa de Karnaugh

Cubo-r (r 1): Em um Mapa de Karnaugh de n variveis sejam dois Cubos-(r-1) diferindo exatamente no valor de uma varivel (denominados Cubos-(r-1) adjacentes). As n-r variveis em que dois Cubos adjacentes so concordantes definem um Cubo-r. Cubo-r - Analogia com representaes geomtricas de variveis contnuas. Exemplo com a funo:
f n ( x1 , x2 , x3 ) = mi (0,2,3,6,7)
38
38

Trs variveis Cubos-0 possveis para uma funo de trs variveis m6 (1,1,0) m2 (0,1,0) m3 (0,1,1) m4 (1,0,0) 3 x2 x3 (x ,x ,x ) 3 2 1 (0,0,0) x1 m0 (0,0,1) m1
77
(2,37;1,2;2) x2 1 0 2 1 1 x1 2 2 x3
m7 (1,1,1)
m5 (1,0,1)

Exemplo: Cubos-0 da funo de trs variveis. m6 (1,1,0) m2 (0,1,0) m7 (1,1,1) 0,1,0 Exemplo: Cubos-1 da funo de trs variveis. 1,1,0
1,1,X
0,1,1
m3 (0,1,1)
1,1,1
X,1,0 0, 1,X
(x3,x2,x1)
X, 1,1
0,X,0
(x3,x2,x1) (0,0,0) m0 0,0,0
78
39
39

Exemplo: Cubo-2 da funo de trs variveis.
p
f n ( x1 , x2 , x3 ) = mi (0,2,3,6,7)
f n ( x1 , x2 , x3 ) = ~ x3 ~ x1 + x2
Cubo-2
1,1,X X,1,0 0, 1,X X, 1,1
Cubo-1
0,X,0
(x3,x2,x1)
79
4. Minimizao de Circuitos
No momento de simplificar-se um circuito conveniente determinar uma topologia (ou formato) de circuito antes de definir-se o critrio para o significado de mais simples possvel. Vejamos as implementaes de trs formas distintas da seguinte funo: p f n = mi (5,6,9,10,13,14)
f n = x4 x2 ~ x1 + x4 ~ x2 x1 + x3 x2 ~ x1 + x3 ~ x2 x1 f n = ( x4 + x3 )( x2 ~ x1 + ~ x2 x1 )
40
40
Qual a forma mais simples (I)?
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
m5 m6 m9 m10 m13 m14
fn
(I)
Qual a forma mais simples (II e III)?
x x1 x2 4 x1 x2 x4 x1 x2 x3 x1 x2 x3
x2 x1
fn
x4 x3 x2 x1
fn
(II)
(III)
41
41
Uma funo de chaveamento pode ser representada por uma soma de todos os seus implicantes primrios. Esta representao especial em Soma de Produtos denominada Soma Completa. Tal representao no necessariamente a funo de chaveamento minimizada, porm um passo importante para a minimizao.
4.1. Implicantes Primrios Implicante Primrio: Um Cubo um IP implicante primrio se ele no estiver includo em nenhum outro Cubo de ordem superior.
4.1. Implicantes Primrios Implicante Primrio Essencial: Seja Ipj um implicante primrio e seja fn uma funo expressa na forma da soma de todos os seus Ipi. Ipj um Implicante Primrio Essencial (IPE) se Ipj contiver um cubo qualquer no contido na somatria dos Ipi.
Os IPEs devero estar presentes em uma realizao mnima para fn. Se estes IPEs cubrirem fn totalmente ento o problema de minimizao est concludo.
42
42
4.1.1. Tabela de Cobertura
Tabela de Cobertura: Se ocorrer o caso de que os IPEs no cubram fn totalmente, ento deve-se usar algum procedimento que permita descobrir os IPs (dentre os no essenciais), que faam parte da expresso mnima:
= IPE1 + IPE2 + + IPEn + [(Demais Implicantes)]
Expresso Mnima =
Um destes procedimentos denomina-se Tabela de Cobertura.
85

Considere-se o exemplo de uma funo definida por seu Mapa de Karnaugh, onde o custo (k) igual ao nmero de Literais do IP. Para descobrir os demais implicantes realiza-se um processo de reduo da Tabela de Cobertura: 1-) Por meio da eliminao das clulas j cobertas por IPEs; 2-) Encontrando-se implicantes de menor custo (k) possvel e que cobrem o maior nmero de clulas. Diz-se que estes implicantes dominam os demais.
43
43

Exemplo Funo dada por seu Mapa de Karnaugh:
x x 4 3 x x 2 1 00 x x 4 3 x x 2 1 00
01 11 10 0 1 1 0 1 1 0 0 1 0 0 1
01 11 10 0 1 1 1 1 0 0 1*
00 1 01 1 11 1
IPE1
00 1 01 1 11
*: Clulas no
cobertas por nenhum outro cubo que seja o maior possvel.
1* 1* 0 0 0
10 0
10 0
IPE2
IPEs: IPE1 = ~x4.x1 IPE2 = x4.~x3.~x1


Todos os IPs:
IPEs: IP1 = IPE1 = ~x4.x1 IP2 = IPE2 = x4.~x3.~x1
IP3 IP6
x x 4 3 x x 2 1 00
Demais IPs:
IP3 = ~x4.~x3.~x2 IP4 = ~x3.~x2.~x1 IP5 = x3.~x2.x1 IP6 = x4.x3.~x2 IP7 = x4.~x2.~x1
1 0 0 1*
01 11 10 0 1 1 1
IP4
00 1 01 1 11
IP7 IP5 IP2=IPE2

1* 1* 0 0 0
IP1=IPE1 10 0
44
44

Tabela de Cobertura- Para aplicao do processo de reduo:
Implicantes 0 1 X 3 X 5 X 7 X X X X X X X X X X X X X 8 10 12 13 Custo(k) 2 3 3 3 3 3 3
IP1=IPE1 IP2=IPE2 IP3 IP4 IP5 IP6 IP7
Obs: Lembrar que o custo (k) igual ao nmero de Literais do Implicante.


Tabela de Cobertura - Aps processo de reduo:
Implicantes 0 X X X X X X 12 13 Custo(k) 3 3 3 3 3
IP3 e IP4 so indiferentes (k e m0 iguais)
IP3 IP4 IP5 IP6 IP7
IP6 domina IP5 e IP7
fmn =
IP1 + IP2 + IP3 + IP6 (k=2+3+3+3=11) OU IP1 + IP2 + IP4 + IP6 (k=2+3+3+3=11)
45
45
4.2 Minimizao pelo Mtodo Tabular

Exemplo: Procedimento de extrao dos Implicantes Primrios pelo mtodo tabular. Dada a Funo:
fn = mi (0,2,4,5,7,8,10,12,15)
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10) x4x3 x2x1 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 1

Passo 1 -Listam-se os mintermos de fn com a notao Cubo-0 correspondente (Ex:m7=~x4x3x2x1). Agrupam-se os Cubos-0 de modo que:
No primeiro grupo todos possuam zero 1s. No segundo grupo todos possuam um 1, etc.
Identificam-se pares de Cubos-0 compatveis, isto , que exista um Cubo-1 que os contenha. Define-se uma operao entre Cubos-0 compatveis para gerar o Cubo-1 que os contm. Os Cubos-0 so marcados com e os Cubos-1 gerados colocados em outra tabela para o passo 2.
46
46

Exemplo Mtodo Tabular de extrao dos Implicantes Primrios :
Passo 1
(0) (2) (4) (8) (5)
(10) (12)
(7)
(15)
x4 0 0 0 1 0 1 1 0 1
x3 x2 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1
x1 0 0 0 0 1 0 0 1 1


Passo 2 - Os Cubos-1 gerados pelo Passo 1 so agrupados, de maneira que os elementos do primeiro grupo possuem zero 1s, os do segundo grupo um 1, etc. utilizado o mesmo procedimento de operao entre Cubos-1 para gerar Cubos-2 para o passo 3. Passo 3 - O procedimento anlogo aos anteriores. Como no so gerados Cubos-3 para este exemplo termina-se o algoritmo de gerao de Implicantes Primrios.
47
47

Exemplo - Mtodo Tabular de extrao dos Implicantes Primrios:
IP5 Passo 2 x4 x3 x2 x1 (0,2) 0 0 - 0 (0,4) 0 - 0 0 (0,8) - 0 0 0 - 0 1 0 (2,10) (4,5) 0 1 0 (4,12) - 1 0 0 (8,10) 1 0 - 0 (8,12) 1 - 0 0 (5,7) 0 1 - 1 (7,15) - 1 1 1 IP4 IPE3
f = ~x4x3~x2 + ~x4x3x1 + x3x2x1 +

+ ~x3~x1 + ~x2~x1
Passo 3
(0,2,8,10) (0,4,8,12)
IPE2
IPE1
x4 x3 x2 x1 - 0 - 0 - 0 0

Verificar se h necessidade dos termos (4,5) ou (5,7) dado que:
4 (0,4,8,12) e 5 (5,7).
Ou outra maneira de ver que:

5 (4,5) e 7 (7,15).
IP5 IP4 IPE3 IPE2 IPE1
f = ~x4x3~x2 + ~x4x3x1 + x3x2x1 + ~x3~x1 + ~x2~x1 (4,5) (5,7) (7,15) (0,2,8,10) (0,4,8,12)
96
48
48

x 4x 3 x 2x 1 00 0 01 4 5 7 2* 15* 10* 11 12* 10 8
IPE1
(0,4,8,12*)
00 01 11 10
IP5
(4,5)
IP4
(5,7)
IPE2
(0,2*,8,10*)
IPE3
(7,15*)
fmn = ~x4x3x1 + x3x2x1 + ~x3~x1 + ~x2~x1

OU
IP4
IPE3
IPE2
IPE1
fmn = ~x4x3~x2 + x3x2x1 + ~x3~x1 + ~x2~x1

IP5 IPE3 IPE2 IPE1
PCS 2215 - Fund. Eng. Comp. II 97 Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios
4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes
At o momento identificamos Adjacncias isto , grupamentos (retangulares ou quadrados) de 2n clulas (mintermos) adjacentes, para as quais o valor da Funo 1. Pode-se identificar outro tipo de Adjacncias isto , grupamentos (retangulares ou quadrados) de 2n clulas (Maxtermos) adjacentes, para as quais o valor da Funo 0.
49
49
Exemplos:
f = x2 + x4 x4
x4x3 x2x1 00 01 11 10 0 0 1 1 00 01 0 1 1 0 1 1 1 1 1 1 1 1
f = ~x1 + ~x3
x4x3 x2x1 00 01 11 10 1 1 1 1 00
~x1
01 11 10
1 1 1
0 0 1
0 0 1
1 1 1
x2
11 10
~x3
Realmente, considerando-se os uns chega-se ao mesmo valor.

Dicas: 1-) Constri-se o Mapa de Karnaugh de ~f; 2-) Escreve-se a expresso de ~f, considerando-se os uns (mintermos); 3-) Complementa-se ~f, obtendo-se f.
Na prtica nem se chega a construir o Mapa de ~f, define-se o Mapa de f considerando-se os Zeros (Maxtermos); Lembrar que os Maxtermos, identificados por seus ndices, esto nas mesmas posies que os mintermos.
Maxtermos
M0=x4 + x3 + x2 + x1
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
100
50
50
Exerccio Considerando-se os Zeros das Funes, determinar a expresso de chaveamento das seguintes funes:
x4x3 x2x1 00 01 11 10 0 1 1 0 00 01 11 10 1 1 0 1 1 1 1 1 1 1 1 0 x4x3 x2x1 00 01 11 10 1 1 1 1 00 01 11 10 0 1 1 0 1 1 0 1 1 0 1 1
101
4.4 Funes Incompletamente Definidas Funes Incompletamente Definidas So aquelas que, por razes diversas, tem o domnio de interesse de respostas menor que o conjunto de combinaes de todas suas entradas. So funes para as quais no importa (Dont Care - X) que, para algumas combinaes de entradas, a sada possa valer 0 ou 1 (X). Pode-se tirar proveito deste grau de liberdade escolhendo-se o valor mais adequado de X para se obter a expresso mnima possvel.
51
51
4.4 Funes Incompletamente Definidas

Funes Incompletamente Definidas Exemplo: Quer-se sintetizar o Circuito2 de maneira que:
x1 x2 x3 x2
Circuito2
f2 fn
fn = mi (1,3,4,6,7)
x3
f1
Observa-se que a funo f1=x3.x2 j foi fornecida, e que fn=f1+f2. Por meio dos Mapas de Karnaugh faz-se a anlise de quais mintermos podem ser dont care (X).

Pode-se ver que a funo f2 dever fornecer 1s nas posies m1, m3 e m4, e no importa seu valor lgico (1 ou 0) nas posies m6 e m7 (onde foi anotado um X). Procura-se a melhor distribuio de 0s e 1s para os Xs, de maneira que se obtenha a menor expresso de chaveamento.
fn = mi (1,3,4,6,7) = {f1 = mi (6,7)} + {f2 = [ mi (1,3,4) + Xi (6,7)]}
x1 x3x2 00 01 11 10 0 1 (0) (1) (2) (3) (6) (7) (4) (5) x3x2 00 01 11 10 1 1 x1
p p p p
fn
0 1 1 1 1 x3x2 00
x1
f1
0 1 x3x2 00 1 1
x1
f2
0 1 1 1
01 11 10
01 11 10
X X
1
104
52
52

Para sintetizar a soma mnima preciso: 1. Marcar os Implicantes Primrios (IPs) considerandose as clulas Xs como se tivessem valor 1; 2. Eliminar os IPs que cubram apenas clulas Xs e apagar os Xs do Mapa de Karnaugh; 3. Eliminar IPs contidos em outros deixando apenas os IPs Essenciais (IPEs).
x1 x3x2 00 01 11 10 0
1
1 1 1 x3x2 00 01 11 10
x1 0
2
1 1 1 x3x2 00 01
x1 0
3
1 1 1 1 1
x1.~x3
X X
1
~x1.x3 10
11
105

Funes Incompletamente Definidas Exemplo: Por meio da anlise de quais mintermos podem ser Dont Care (X) nos Mapas de Karnaugh e a aplicao de tcnicas de minimizao conhecidas (identificao do Implicantes primrios Essenciais IPEs) pode-se sintetizar o Circuito2:
x1 x2 x3 x2 x3
Circuito2
f2 fn
f1
53
53
5. Exemplos de Aplicao: 5.1. Somador

1-) Anlise Fornece-se o circuito lgico e pede-se para extrair a Expresso Algbrica e a Tabela da Verdade, interpretando-se suas Funes de Engenharia. 2-) Sntese: a.) Pela Funo de Engenharia A partir da especificao funcional vo sendo desenvolvidos os mdulos constituintes dos sistema. b.) Por Mapa de Karnaugh O funcionamento do circuito especificado por uma Tabela da Verdade, da qual, por Mapa de Karnaugh, so extradas as expresses algbricas .
5. Exemplos de Aplicao: 5.2. Half Adder Full Adder

Half Adder - Equivale a um circuito meio-somador de dois dgitos binrios.
x 1 1 0 0 y 1 0 1 0 c s 1 0 0 1 0 1 0 0
x y s
c
54
54
5. Exemplos de Aplicao: 5.2. Meio Somador - Somador Completo

Somador Completo Meio Somador
xi yi
Meio Somador x y
x y
sint cint
sint cint
ci
ci+1
109
5. Exemplos de Aplicao: 5.3. Soma de Dois Nmeros

M = x3x2x1 s x1 y1 x2 y2 x3 y3
Meio Somador
N = y3y2y1 z1 s z2 s
c Somador
Completo
c Somador
Completo
z3
z4
110
55
55
Lio de Casa
Leitura Obrigatria:
Captulo 4 do Livro-texto.
Exerccios Obrigatrios:
Captulo 4 do Livro Texto; Lista de Exerccios.
111
Bibliografia
Dias, Francisco Jos de Oliveira; Introduo aos circuitos de Chaveamento; Apostila, PEL/EPUSP, 1.989. Ercegovac, Milos D.; Lang, Toms; Digital Systems and Hardware/Firmware Algorithms; John Wiley, 1.985. Fernndez, Gregrio; Saez Vacas, Fernando; Fundamentos de Informtica, Alianza Editorial, Coleccin Alianza Informtica, 1.987. Fregni, Edson; Saraiva, Antnio Mauro; Engenharia do Projeto Lgico Digital, Editora Edgard Blucher, 1.995. Gersting, Judith L.; Fundamentos Matemticos Para a Cincia da Computao, LTC - Livros Tcnicos e Cientficos Editora S. A., 1.995.
56
56
Bibliografia
Guerra Vieira, Antnio Hlio; Dias, Francisco Jos de Oliveira Notas de Aula de PEL 213 - Circuitos de Chaveamento, Apostila, EPUSP, 1.979. Hill, Frederic and Peterson, Gerald; Introduction To Switching Theory and Logical Design, John Wiley Sons, 1.974. Mendelson, Elliott; lgebra Booleana e Circuitos de Chaveamento, Coleo Schaum, Editora McGraw-Hill, 1.977. Ranzini, Edith; Fregni, Edson; Notas de Aula de PCS 214 Teoria da Comutao: Introduo aos Circuitos Digitais, Apostila, EPUSP, 1.996. Tremblay, J. P. and Monohar, R.; Discrete Mathematical Structures With Applications to Computer Science, McGraw-Hill, 1.975.
57
57

Idioma

Bem-vindo(a) ao Scribd!

Análise e síntese de circuitos combinatórios

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Descrição:

Direitos autorais:

Formatos disponíveis

Análise e síntese de circuitos combinatórios

Enviado por

Descrição:

Direitos autorais:

Formatos disponíveis

Títulos relacionados

PCS 2215

Fundamentos de Engenharia de Computao II

Mdulo 07 Anlise e Sntese de Circuitos

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

PCi = l1.l2 ., , ,.ln = (lj )

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

C8 = C8 C9 = C1 + C8 C10 = C2 + C8 C11 = C1 + C2 + C8 C12 = C4 + C8 C13 = C1 + C4 + C8 C14 = C2 + C4 + C8 C15 = C1 + C2 + C4 + C8

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

m6 = x3 x2 ~x1 = ~M6 m7 = x3 x2 x1 = ~M7 M7 = ~x3 + ~x2 + ~x1 = ~m7

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

I10 - ~(x+y)=~x.~y [De Morgan]

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

2. Anlise de Circuitos Combinatrios

2. Anlise de Circuitos Combinatrios

Estrutura exposta; comportamento escondido (este pode ser extrado)

Comportamento exposto; Estrutura escondida (representa infinitas estruturas)

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

2. Anlise de Circuitos Combinatrios

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

2. Anlise de Circuitos Combinatrios

2. Anlise de Circuitos Combinatrios

x1.x2 x1.x2 + ~x1.~x2

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

2. Anlise de Circuitos Combinatrios

0 x2 1 ~x2 0 ~x2 ~x2

Expresso final [e]: x1 . x2 + ~x1 . ~x2

2. Anlise de Circuitos Combinatrios

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

2.1. Circuitos a Portas

2.1. Circuitos a Portas

2.1. Circuitos a Portas - Anlise

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

2.1. Circuitos a Portas - Anlise

2.1. Circuitos a Portas - Anlise

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

2.1. Circuitos a Portas - Anlise