ABEL Estructura del programa ABEL

ETS. de Ingenieros Industriales
Electrónica Industriales, 4º
ABEL
• Advanced Boolean Equation Language
– Fue desarrollado para usar con dispositivos lógicos programables,
que tienen una estructura interna AND-OR.
• Funciones lógicas programables
– Operadores lógicos: AND, OR, NOT, XOR, XNOR
&
#
!
$
!$
– Sets (buses):
X = [X3,X2,X1,X0];
XBUS = [1,1,0,1];
XBUS = 13;
– Comparaciones:
(XBUS == YBUS)
(XBUS > [1,1,0,1])
– Variables intermedias
ULPGC
Operadores ==
!=
<
>
<=
>=)
Electrónica Industrial - 4º ETSII
1
Estructura del programa ABEL
module nombre_módulo
‘Hay que ponerlo entre
comillas simples’
title ‘string’
MiDispositivo device deviceType
Nombre comercial del
dispositivo
“Comentarios entre comillas”
pin declaraciones
otras declaraciones
equations
Son las patillas del
circuito
Declaraciones de
variables intermedias
ecuaciones
test_vectors
test_vectors
end nombre_modulo
ULPGC
10/04
IO4 = X3 & X1 # X2 ;
IO3 = !X0
Opcional. Para hacer
la simulación del
funcionamiento
Electrónica Industrial - 4º ETSII
2
Tema 2. Fundamentos de Electrónica Digital
1
ETS. de Ingenieros Industriales
Electrónica Industriales, 4º
Ejemplo de diseño con ABEL
ULPGC
Electrónica Industrial - 4º ETSII
3
Ejemplo de diseño con ABEL
ULPGC
10/04
Electrónica Industrial - 4º ETSII
4
Tema 2. Fundamentos de Electrónica Digital
2
ETS. de Ingenieros Industriales
Electrónica Industriales, 4º
Lenguaje procesador ABEL (compilador)
•
•
•
•
Comprobación de sintaxis
Comprueba la suficiencia de patillas
Expande las ecuaciones
Reduce las ecuaciones a suma-de-productos según la
arquitectura del dispositivo programable (PLD)
• Hace un chequeo de los vectores de test vs. ecuaciones
• Chequea los requerimientos impuesto por las ecuaciones
en cuanto al número de patillas, términos de producto con
los disponibles en la PLD concreta
• Finalmente determina el “patrón” necesario para programar
la PLD
ULPGC
Electrónica Industrial - 4º ETSII
5
Ecuaciones en ABEL (fichero .eq3)
ULPGC
10/04
Electrónica Industrial - 4º ETSII
6
Tema 2. Fundamentos de Electrónica Digital
3
ETS. de Ingenieros Industriales
Electrónica Industriales, 4º
Ecuaciones en ABEL (fichero .eq3)
ULPGC
Electrónica Industrial - 4º ETSII
7
ABEL WHEN Statements
ULPGC
10/04
Electrónica Industrial - 4º ETSII
8
Tema 2. Fundamentos de Electrónica Digital
4
ETS. de Ingenieros Industriales
Electrónica Industriales, 4º
Nested WHEN statements
• Nota: variables diferentes pueden usarse en condiciones
THEN y ELSE diferentes
ULPGC
10/04
Electrónica Industrial - 4º ETSII
9
Tema 2. Fundamentos de Electrónica Digital
5