Documentos de Académico
Documentos de Profesional
Documentos de Cultura
unos minutos, en lugar de das o semanas que son requeridos fabricar un arreglo de
0compuertas o celdas estndar CCI. De ser necesario, se pueden disear cambios que sean
rpidos y baratos para ser implementados en unas pocas horas o incluso minutos,
considerando que con celdas estndar o arreglos de compuertas los cambios del diseo
requieren refabricacin completa y as pueden tomar das o semanas.
Figura 5.1.
En aplicaciones del circuito digitales, un trmino de cada diodo se conecta a o el
poder proporcione o conecte con tierra a travs de una resistencia, como mostrado en
Figuras 5.2a y d. El otro trmino es controlado por un signo de la lgica digital que o
delantero
marcha
atrs-prejuicios
el
diodo.
Permtanos
considerar
el
Figura 5.2
PN diodo funcionamiento para las aplicaciones digitales. (un) Con tirar-a la
resistencia. (b) Marcha atrs-torci: el diodo abre; B tir a a 1. (c) Delantero-torci:
el shorted del diodo, B impelente a 0. (d) Con tirar-abajo la resistencia. (e) la Marcha
atrs torci: el diodo abre; B tir abajo a 0. (f) Delantero torci: el shorted del diodo,
B impelente a 1.
Normalmente se usan varios otros dispositivos electrnicos, incluso los interruptores
del transistor, en lugar de los diodos en aplicaciones de la lgica programables.
Mientras este captulo discutir circuitos de la lgica construidos de los diodos
especficamente, los conceptos de plan de lgica digitales son el mismo para los
otros dispositivos. El lector se enva a los textos en electrnica [11 o los dispositivos
de la lgica programables [2,3] para la informacin extensa sobre estos dispositivos.
5.2.2.
Y y OR Lgica Series
La conducta describe anteriormente permite cambiar funciones ser llevado a cabo
prontamente con diodos de PN. Por ejemplo, el circuito de Figura 5.3a comprende
un Y funciona con tres entradas, UN, B, y C. Permtanos verificar esto derivando la
verdad, mesa de este circuito. Cuando UN B C = 1 1 1, todos los tres diodos estn
abiertos, y el salidas se tira al lo lgica 1 como mostrado en Figura 5.3b. If UN se
cambia a 0, el diodo correspondiente se vuelve un calzn y fuerza el voltaje del
salidas a lgica 0 como Figura 5.3c mostrada. Puesto que los otros dos diodos
permanecen abiertos, ellos no afectan las salidas. A travs de simetra, el mismo es
verdad para ABC = 101, y ABC = 1 10. Cuando las entradas mltiples son lgica 0,
cada uno de los diodos correspondientes es shorted, y el salidas se fuerza igualmente
a lgica 0, como mostrado en Figura 5.3d. Por consiguiente, el circuito lleva a cabo
un tres-entrada Y funcin. El lector debe verificar que que este circuito puede
extenderse prontamente al K diodos lo comprenda un K-entrada Y funcin.
Figura 5.3
Y funcin comprendidas con una serie del diodo. (un) la configuracin Bsica. (b)
Todos los diodos abren; f tir a a 1. (e) Un shorted del diodo, f impelente a 0. (d) el
shorted del diodo Mltiple, f impelente a 0.
Figura 5.4.
Funcin de OR comprendida con una serie del diodo. (un) la configuracin Bsica.
(b) Todos los diodos abren; f tir abajo a 0. (c) Un shorted del diodo, f impelente a 1.
Una funcin de OR es comprendida por el circuito de Figura 5.4a. En este circuito,
cuando UN B C = 000 todos los tres diodos estn abiertos y el salidas se tira abajo a
lgica 0 como mostrado en Figura 5.4b. Cuando UN B C = 100, como mostrado en
Figura 5.4c, el diodo conectado a UN conductas (se comporta como un calzn),
forzando el salidas a lgica 1. Puesto que los otros dos diodos permanecen abiertos,
ellos no afectan las salidas. Como el rey magos, las salidas ser lgica 1 cuando
cualquier otra entrada, o cualquier combinacin de entradas, es igual a lgica 1. As,
el circuito comprende un tres-entrada la funcin de OR. De nuevo, nota que este
circuito puede extenderse prontamente a una funcin del K-entrada usando diodos de
K.
5.2.3.
Figura 5.5
Suma de formas del producto comprendi con series de Y-OR. (un) Conectando Y y
OR forma. (b) la forma Compacta.
Figura 5.6 Ilustra cmo las funciones mltiples pueden que l comprendi con una
sola serie de la lgica agregando circuitos de OR adicionales. En este ejemplo, lo
siguiente que se comprenden dos funciones:
f1 (a, b, c) = ab + c
f 2 (a, b, c) = ab + bc
Figura 5.6
Funciones Mltiples comprendidas por una serie de Y-OR.
Nota que el abs de trmino de producto se usa en ambas funciones, es decir, es
"compartido" a travs de ambos funcionamientos de OR. Especificando las
situaciones de los diodos en la serie personaliza, o programas, la serie para una
funcin de la lgica especfica.
La combinacin de un programable Y la serie seguida por una serie de OR
programable normalmente est llamado una serie de la lgica programable PLA),
desde que las funciones de la lgica arbitrarias pueden ser comprendidas
especificando (programando) la configuracin de los diodos.
Disee un PLA para comprender a lo siguiente que tres lgica funciona y muestra
las conexiones interiores.
Figura 5.7
TABLA 5.1 PLA para ejemplo 5.1
Entradas del
Salidas del
arreglo AND
Arreglo OR
Trminos Productos
ABCDE
f1f2f3
1 ABD
00X0X
1 01
2 BCD
X010X
100
3 A BCDE
01110
100
4 ABE
01XX1
010
5 BCDE
X0101
010
6 BCDE
X0001
001
7 A BCD
0111X
001
Figura 5.10
Arreglo OR programacin de fusible. (a) Arreglo OR sin programar. (b)
f(P1 , P2 , P3 ) = P1 + P3 . (c) Forma Compacta.
5.2.5.
Figura 5.11
Opciones de la polaridad de salida para los dispositivos lgicos de campos
programables. (a) Opciones de la polaridad de salida. (b) Fusible intacto: Oi es activo
alto, O i = Si 0 = Si . (c) Fusible fundido: O = i, es activo bajo, O i = Si 1 = Si .
Una salida de polaridad programable es creada con uno compuerta ORExclusivo
(XOR) con un fusible en una entrada. Esta entrada se fuerza a 0 lgico cuando el
fusible esta intacto o a 1 lgico cuando el fusible se ha fundido. Recordando el
funcionamiento de una compuerta XOR, cuando el fusible est intacto, como ilustra
(A + B)(A + C) = (A + B)(A + C)
= (A + B) + (A + C)
= A B + AC
As, una forma de POS puede ser realizada indirectamente invirtiendo una expresin
SOP. As, los trminos producto y la polaridad programable de la salida permiten
construir cualquiera de las compuertas lgicas primitivas (AND, OR, NAND, NOR,
o NOT).
Figura 5.12
La aplicacin de la forma SOP y POS usando salidas de polaridad programable.
5.2.6.
Figura 5.13
Pines bidireccionales en dispositivos lgicos programables. (a) IOm es un pin
bidireccional. (b) Driver tres estados habilitado (Pn+1 = l). (c) Driver tres estados
desactivado (Pn+l = 0).
Cuando la lnea de control del driver es 0, el driver es deshabilitado y funciona como
un circuito abierto (o el interruptor abierto), como se muestra en Fig. 5.13c. Esto
desconecta los trminos suma del pin, a travs de la lnea realimentacin, ahora se
convierten en una entrada para el arreglo AND. El funcionamiento de estos pines
bidireccionales y lneas de realimentacin es ilustrado por el ejemplo siguiente.
Figura 5.14
Sumador de dos bit con seal de acarreo usando I/O de realimentacin. (a) Diagrama
de bloque con los numero de los pines. (b) realizacin de la lgica Programable.
Ejemplo 5.3
Implemente un sumador de dos bit con seal de acarreo como se muestra el la Fig.
5.14a usando arreglo lgicos programables teniendo 4 pines dedicados a entradas, 3
dedicados a salidas, y dos bidireccionales.
Las ecuaciones lgicas estandar para una estado, i, de un sumador completo de n-bit
son las siguiente:
Si = A i B i C i1 + A i B i C i 1 + A i B i C i1 + A i Bi C i 1
C i = A i Bi + A i C i1 + B i C i1
donde Ai y Bi, son las entradas de datos y Ci-1, la entrada de acarreo, para el estado
i, Si es la salida de la suma y Ci la salida del acarreo. Para un sumador con seal de
acarreo, la salida del acarreo es conectada a la entrada de acarreo del proximo
estado, como se muestra en la figura Fig. 5.14a.
La Figura 5.14b muestra la implementacin en PLA del diagrama de bloque de la
Fig.5.14a. Ya que el sumador requiere de 5 entradas y solo de 4 pine dedicados a
entradas el pin 5 bidireccional es usado como entrada. As el se deshabilita por el
producto de la lnea 16 dejando los fusibles intactos. Note que el producto de la lnea
16 es forzado a 0 subsecuentemente el producto de todas las entradas y sus
complementos. Nosotros podramos haber usado cualquier par de variables, pero
dejarlas todas intactas hace a el dispositivo ms fiable.
El termino de acarreo C0 es utilizado para computar S1 AND C1, a travs de la lnea
de realimentacin del pin 6, permitiendo que C0 pueda ser combinada con A1 AND
B1 , por las ecuaciones correspondientes.
5.2.7.
Dispositivos comerciales
La mayora los dispositivos lgicos programables comerciales son organizados como
se muestra en la Fig.5.15, con las entradas aplicadas a un arreglo AND en ambas
formas complemento y no complemento, y las salidas de los arreglo AND aplicadas
un arreglo OR, habilitando que se pueda realizar mltiple expresiones de suma de
productos. Opcionalmente puede manipularse la salida del arreglo OR para manejar
Figura 5.15
Organizacin bsica de dispositivos programables
del
Salidas
producto
Polaridad del
salidas
PLS100
PLA
16
48
Programable
PLS153
PLA
16
42
10
Programable
82S123
PROM
32
Activo alto
82S129
PROM
256
Activo alto
82S131
PROM
512
Activo alto
82S135
PROM
256
Activo alto
82S137
PROM
10
1024
Activo alto
82S147
PROM
512
Activo alto
82S181
PROM
10
1024
Activo alto
82S185
PROM
11
2048
Activo alto
82S191
PROM
11
2048
Activo alto
82S321
PROM
12
409
Activo alto
PAL16L8
PLA
16
Activo bajo
PAL14H4
PLA
14
Activo alto
PAL16C1
PLA
16
16
Complementario
PAL18P8
PLA
18
Programable
5.3.2.
Nota:
1. Todas las entradas de las compuertas AND con
una unin flotante es 1 lgico.
2. Todas las entradas de las compuertas OR con
fusible flotante es 0 lgico
3. Conexin programable
Figura 5.16
Philips PLS100/101 FPLA [4]. Fuente: Philips, Manual de datos de Dispositivos Lgicos
Programables (PLD), semiconductores Philips, Sunnyvale, CA, 1994
Nota:
4. Todas las entradas de las compuertas AND con
una unin flotante es 1 lgico.
5. Todas las entradas de las compuertas OR con
fusible flotante es 0 lgico
6. Conexin programable
Figura 5.17
Philips PLS153A FPLA [4]. Fuente: Philips, Manual de datos de Dispositivos Lgicos
Programables (PLD), semiconductores Philips, Sunnyvale, CA, 1994
5.4. Memoria programable de solo lectura.
5.4.1.
Figura 5.18
Figura 5.19
5.4.2.
Recordando que una funcin booleana dada puede ser representada por una nica
forma cannica de suma de productos. Cada salida de un PROM es capaz de realizar
cualquier funcin booleana arbitraria simplemente conectando las salidas a los
minterms de la funcin. Por consiguiente, para realizar una funcin booleana dada
con una PROM, uno debe primero expresar la funcin en su forma cannica de suma
de productos o si no derivar la tabla de la verdad a partir de la funcin. Entonces,
cada uno de los minterminos de las funcione es conectado al trmino OR deseado
para producir la forma cannica SOP. Note que no hay ventaja al minimizar la
funcin cuando se usan PROM, ya que la forma cannica debe usarse para generar el
mapa de fusibles de la PROM. Tambin debe notarse que el uso de un PROM
comercialmente disponible sera muy ineficaz cuando slo un nmero pequeo de
minterms se necesiten, a menos que la minimizacin del chip cuente como una meta
primaria.
Figura 5.20
Figura 5.21
Figura 5.22
Ejemplo 5.6
Realice las siguientes tres funciones booleanas con una PROM de tres entradas y tres
salidas.
f1 (A, B, C) = AB + BC
f 2 (A, B, C) = (A + B + C)(A + B)
f 3 (A, B, C) = A + BC
Primero, convertimos cada funcin a su forma cannica SOP.
f1 (A, B, C) = AB + BC
= ABC + ABC + A BC + A BC
= m(1,5,6,7)
f 2 (A, B, C) = (A + B + C)(A + B)
= (A + B + C)(A + B + C)(A + B + C)
= M(2,4,5)
= m(0,1,3,6,7)
f 3 (A, B, C) = A + BC
Ejemplo 5.8
Disee un conversor de cdigo binario a gray usando una PROM de cuatro entradas
y cuatro salidas.
La Tabla de verdad del conversor del cdigo se da en la Tabla 5.4. Note que 15 de
los 16 posibles minterminos estn presentes en la salida (slo el minterm 0 no esta
contenido en cualquiera de las cuatro salidas.) La Tabla de verdad es mapiada hacia
el PROM como se ilustra en la Fig. 5.25.
Figura 5.23
Solucin PROM del ejemplo 5.6.
Figura 5.24
Realizacin de un sumador completo en un PROM
TABLA TABLA DE LA VERDAD DE UN SUMADOR
5.3
COMPLETO
Xi
Yi
Ci-1
Ci
Si
Figura 5.25
Realizacin de un conversor binario a gray con una PROM
TABLA 5.4
TABLA DE VERDAD
BINARIOAGRAYS
Decimal
Binario
Cdigo Gray
Nmero
B3B2B1B0
G3G2G1G0
0000
0000
0001
0001
0010
0011
0011
0010
0100
0110
0101
0111
0110
0101
0111
0100
1000
1100
1001
1101
10
1010
1111
11
1011
1110
5.4.3.
12
1100
1010
13
1101
1011
14
1110
1001
15
1111
1000
Tabla de Lookup
Una aplicacin comn de las PROMs es la Tabla de lookup en la que una funcin se
guarda en forma tabulada con sus argumentos usados como un ndice dentro de la
tabla para recuperar el valor de la funcin por esos argumentos. Puesto que las
Tablas de verdad pueden ser rpidamente realizadas con PROMs, las Tablas de
lookup son implementadas al escribirlas en formato de Tabla de verdad y luego
realizando la Tabla de verdad con un PROM. Tablas de funciones trigonomtricas,
logartmicas, exponenciales, y otras funciones pueden as ser fcilmente
implementadas. Adems, los clculos numricos que pueden ser tabulado, como la
suma,
substraccin,
multiplicacin,
tambin
pueden
ser
rpidamente
Figura 5.26
Implementacin con un PROM de un multiplicador de alta velocidad.
(PROMs 1 a 4 son 4x4 multiplicadores)
Figura 5.27
Dispositivo PROM de memoria de solo lectura 2n x m.
La informacin es colocada para almacenar en la PROM por la determinacin de la
direccin a la cual cada palabra de datos ser colocada. En la mayora de los casos,
la informacin es simplemente puesta en una locacin continua, comenzando por la
primera direccin dentro de la PROM. En algunas situaciones, sin embargo, se
coloca la informacin en forma de tabla lookup, donde cada direccin es
especificada por un cdigo de datos que de cierta manera es relacionada con la
informacin almacenada en la PROM.
5.4.5.
Figura 5.28
Dispositivo arreglo lgico programable (PAL).
5.5.2.
Figura 5.29
Representacin de un PAL estndar.
Para comprender un juego de cambiar funciones en un PAL, su suma mnima de
representaciones de los productos debe derivarse. Desde el juego de trminos del
producto disponible para cada funcin est limitado, el objetivo del plan primario
debe ser minimizar el nmero de trminos del producto en cada expresin de SOPA,
en lugar del nmero total de literals. Cada entrada y su complemento estn
disponibles para cada trmino del producto. No hay ventaja del costo real por
consiguiente, a reducir el nmero de literals en cualquier solo trmino del producto.
Adems, desde que no pueden compartirse trminos del producto entre los salidass,
cuando ellos pueden en PROMs y FPLAS, hay ninguna necesidad de usar un
algoritmo de minimizacin de mltiple-salidas, como eso presentado en Chapter3,
minimizar las funciones mltiples colectivamente. Para una realizacin del PAL,
cada suma debe que l minimiz independientemente.
EJEMPLO 5.10
Ejemplo 3.24 ilustr la minimizacin simultnea de tres funciones:
f (A, B, C, D) = m(0,2,7,10) + D(12,15)
f(A, B, C, D) = m(2,4,5) + D(6,7,8,10)
f (A, B, C, D) = m(2,7,8) + d(0,5,13)
El resultado era lo siguiente tres expresiones:
f (A, B, C, D) = A BD + BCD + ABCD
f(A, B, C, D) = AB + BCD
f (A, B, C, D) = A BD + BCD + ABCD
Estas tres expresiones requieren un total de ocho trminos del producto, aunque slo
hay cinco nicos trminos, con tres trminos compartidos entre los salidas mltiples.
Una realizacin del PAL de estas expresiones se muestra en Fig. 5.30.
Figura 5.30
Realizacin en una PAL de f(A, B, C, D), f(A, B, C, D), y f(A, B, C, D).
Minimizando cada funcin independientemente produciran las expresiones
siguientes.
f (A, B, C, D) = A BD + BCD + BCD
f(A, B, C, D) = AB + BCD
f (A, B, C, D) = A BD + BCD + ABD
stos tambin contienen un total de ocho productos, seis de ellos nico, con dos
menos literals que el juego anterior de expresiones.
Las realizaciones del PAL de estas funciones requieren un total de cuatro entradas y
ocho trminos del producto en cada caso, sin las economas del costo debido a
literals reducidos o los productos compartidos. El costo de una realizacin de FPLA,
sin embargo, puede ser reducido utilizando el primero puesto de expresiones desde
que slo cinco trminos del producto necesitan ser generados, en lugar de seis como
requiri para el segundo juego de expresiones. As, FPLA disean beneficios del uso
de algoritmos que simultneamente minimizan funciones mltiples, considerando
que el plan del PAL no hace.
En el PAL de Fig. 5.30, note esa funcin f @ (UN, B, C, D) contiene slo dos
trminos del producto. Por consiguiente, debe obligarse uno de los tres productos
conectado a la verja de OR correspondiente a 0. Como mostrado en Fig. 5.3 1, una
variable, UN, est alejado de un trmino del producto (P3) quitando ambos fusibles
(UN y UN). Trmino del producto (P4) se fuerza a 0 dejando ambos fusibles intacto,
desde UN 0.Typicamente, todos los fusibles quedan intacto para cada lnea del
producto que es ser fuerza a 0, como se muestra para el producto P, en Fig., 5.30.
Figura 5.31
Terminos productos que involucra a la variable A y su complemento.
5.5.3.
arquitectura de salida
activo bajo
activo alto
Polaridad programable
C salidass complementarios
Por ejemplo, el PAL16L8 dispositivo mostrado en Fig. 5.32 son un PAL con
16inputs y 8 salidass activo-bajos [51. Cada salidas es la suma de siete trminos del
producto y es manejado por un pulidor del tristate controlado por un trmino del
producto adicional. Se alimentan seis de los salidass el jamelgo al Y forma, mientras
el otro dos no son. El dispositivo de PALISPS, mostrado en Fig., 5.33, tiene 8
alfileres bidireccionales que en-eluden salidass de programable-polaridad y 10
entradas especializadas [51. No se muestran los chferes del tristate en las lneas
bidireccionales explcitamente en este diagrama, pero en cambio es incluido en la
verja de XNOR. Otras configuraciones de dispositivo de PAL pueden encontrarse en
[51.
Ejemplo 5.11
Disee un circuito del PAL que compara dos 4-bit nmeros binarios sin firmar, UN
= (a3a2a1a0)2, y B = (b3b2b1b0)2, y produce tres salidass: X = 1 si UN = B, Y = 1
si UN > B, y Z = 1 si UN < B.
De Captulo 4, las ecuaciones siguientes pueden derivarse para los tres salidass.
for
I= 0,3
X = E3E 2 E1E 0
Y = a 3 b3 + E 3a 2 b 2 + E3E 2a1 b1 + E 3E 2 E1a 0 b0
Z = a 3b3 + E 3 a 2 b 2 + E 3E 2 a1b1 + E 3E 2 E1 a 0 b0
El peor caso es ahora cuatro trminos del producto por las salidas. Esto encajar
convenientemente en un PAL18P8 dispositivo, como mostrado en Fig. 5.34, usando
ocho de las diez entradas especializadas para UN y B, cuatro de los ocho salidass
para los E, trminos de la regeneracin, y tres de los salidass para X, Y, y Z. Note
que ocho trminos del producto estn disponibles por salidas que es ms suficiente
para la funcin del comparador.
Figura 5.32
Figura 5.33
Figura 5.34
Otras opciones de salidas de PAL incluyen los elementos de memoria, capirotazo-fracasos
llamados y pestillos, apoyar planes del circuito secuenciales.
Algunos de estos sistemas son capaces de dividir un plan automticamente por trazar en
PLDs mltiples o los planes ms pequeos combinando para encajar en un solo PLD. Las
salidas del paso dispositivo-digno es un mapa del fusible que es un mapa de los fusibles en el
PLD y indica qu ser soplado y qu ser salido intacto para comprender el plan. En la
mayora de los casos, una norma, como el JEDEC normal [5], se usa para el mapa del fusible.
El mapa del fusible se transmite entonces en un programador de PLD especial para programar
el modelo del fusible en la astilla.
La mayora de los PLD plan paquetes utiliza un idioma alto-nivelado para expresar de-seal
en ecuacin de la lgica, mesa de verdad, o el circuito secuencial el formato de la mquina
estatal. Muchos de ellos tambin aceptan planes creados con programas de la captura
esquemticos. En estos casos, el esquemtico se traduce en la forma de ecuacin de lgica en
el idioma usado por ese paquete.
Figura 5.35
Proceso de diseo de un PLD
Por ejemplo, Fig. 5.36 muestras un diagrama esquemtico durante un 1 -pedazo la sumadora
llena. Este diagrama se cre con la Gua Arquitecto de Plan de Grficos el editor esquemtico
y entonces fue traducido por la Mina el PLD diseador programa en el idioma de PDL. El
PDL listando resultante se da en Fig. 5.37, y las ecuaciones de la lgica reducidas producidas
por el recopilador de PDL se da en Fig. 5.38.
La prxima seccin presenta una apreciacin global del idioma de PDL. Otros PLD disean
que los idiomas son similares a PDL. El lector se enva a [6,7,81 para ms detalles.
Figura 5.36
Diagrama esquemtico de un sumador completo de 1-bit.
5.6.1.
dedicated inputs:
OUTPUT x, [c3..c0];
combinational outputs
I/O line
==============================
Header Section
==============================
TITLE
Schematic.vpt ;
ENGINEER
Joe E. Student ;
COMPANY
State University ;
PROJECT
REVISION
1.0 ;
COMMENT
==============================
Macro Defin ition Section
==============================
MACRO
AND2(i0, i1)
(i0 * i1) ;
MACRO
(i0 + i1 + i2) ;
MACRO
XOR(i0, i1)
==============================
Function Definition Section
==============================
FUNCTION
schematic ;
A, B, CIN ;
OUTPUT
COUT, S ;
MACRO
MACRO
MACRO
MACRO
END scematic ;
Figura 5.37
Descripcin generada por el esquemtico del PDL de un sumador completo de 1-bit
S.EQN
= CIN*/B*/A
+ /CIN*B*/A
COUT.EQN
+ /CIN*/B*A
Figura 5.38
+CIN*B*A; (4 trminos)
= A*CIN
+ B*CIN
+ B*A; (3 trmino s)
PDL.
Funcionamiento lgico
Ejemplo
NOT
/a
/*
NAND
/*
/+
NOR
/+
AND
OR
(+)
XOR
(+) b
/(+)
XNOR
/(+) b
[+]
Hardware XOR
[+] b
Ecuaciones de la lgica
Funcin AND2 definiendo para ser el Y de dos copiadoras i0 y i1. Tres copias del
AND2 macro son instantiated en la descripcin funcional de la sumadora llena.
TRUHT TALBE
a, b, cin :: cout s;
a
cin cout
0, 0, 0, :: 0, 0,
0, 0, 1, :: 0, 1,
0, 1, 0, :: 0, 1,
0, 1, 1, :: 1, 0,
1, 0, 0, :: 0, 1,
1, 0, 1, :: 1, 0,
1, 1, 0, :: 1, 0,
1, 1, 1, :: 1, 1,
END;
(a)
(b)
= A*CIN
+ B*CIN
+ B'A ; "(3 terms)
S.EQN
= CIN*/B*/A
+ /CIN*B*/A
+ /CIN*/B* A
Despus de que un plan se ha compilado, el prximo paso es verificar su correctoness usando simulacin funcional. El idioma de PDL permite vectores de la prueba y
la simulacin controla para ser especificada dentro del archivo del plan, para que la