Sistemas Digitales

Anuncio
¿Porque estudiar diseño
digital?
 Es la base para la implementación de
todos los
modernos




sistemas
computacionales
Construcción de unidades más complejas de
componentes primitivos.
Conocer los principios para organizar los
bloques constructivos
básicos de la
computadores.
El paralelismo inherente en el hardware es
nuestra
primera
introducción
a
la
computación paralela.
Proveer un modelo y un entendimiento de
cómo funciona una computadora.
1: Intro
1
Diseño digital: nuestro PC
1: Intro
2
Objetivos
El lenguaje de diseño y
 Como especificar, simular, compilar y
analizar sistemas
modelamiento digital
 Lenguajes de descripción de HW
 Álgebra de Boole
 Herramientas para simular la
 Funciones y representación
operación de nuestros diseños
de variables discretas
 Compiladores lógicos para
sintetizar los bloques de diseños
 Minimización lógica
 Implementación en hardware
 Conceptos de estados
programable
 Análisis temporal
 Diferentes tecnologías de
implementación de hardware
 Herramientas CAD
 Contrastar con diseño de SW
 Concepto de estados en
 Implementaciones de máquinas
sistemas digitales
secuenciales y paralelas
 Especificar algoritmos, recursos de
 Análogo a variables y
procesamiento y almacenamiento
contadores en el software

1: Intro
3
Objetivos
 Visto por capas
Arquitectura abstracta
Síntesis y optimización
Bloques básicos
Compuertas y flip-flops
1: Intro
4
Objetivos
Resumen: Se estudiaran...
 Los fundamentos matemáticos de las funciones de
variables discretas boolenas, su estructura y
diversos métodos de representación.
 Los principios y técnicas para modelar situaciones
del mundo real, mediante funciones booleanas y
registros.
 Se analizaran sistemas ya diseñados para
posteriormente diseñar, implementar o sintetizar
mediante diferentes tecnologías sistemas digitales
combinacionales y secuenciales.
1: Intro
5
Un poco de historia

1850: George Boole inventa el álgebra de
Boole
 convierte proposiciones lógicas a
símbolos
 permite la manipulación de la lógica
proposicional
 1938: Claude Shannon aplica el álgebra de
Boole al desarrollo de circuitos conmutados
(switched circuits)
 su tesis de Magíster
 1945: John von Neumann desarrolla el primer
programa de computadora en la arquitectura
de programa almacenado (stored-program
computer)
 sus elementos de conmutación son tubos
de vacío
1: Intro
6
Un poco de historia
 1946: ENIAC . . . La primera computadora
electrónica
 18,000 tubos de vacío
 varios miles de multiplicaciones por minuto.
 1947: Shockley, Brattain y Bardeen (Bell Labs)
inventan el transistor
 Reemplazo tubos de vacío
 Permitió la mayor integración de múltiples
dispositivos.
 Comienzo de la electrónica moderna.
1: Intro
7

¿Qué es el diseño?

Dada la especificación de un problema, lograr determinar una manera
de resolverla, seleccionando apropiadamente desde un grupo de
componentes disponibles.

Siempre considerando un conjunto de criterios (requerimientos) como
tamaño, costo, poder, confiabilidad, elegancia, simplicidad etc.
 ¿Qué es el diseño digital?




Determinación de las componentes de hardware digitales que
implementan las especificaciones de comunicación, control y
procesamiento de los datos.
Más específicamente, es descomponer la solución en redes
combinacionales y/o secuenciales organizando jerárquicamente el
diseño empleando herramientas computacionales modernas.
Hay muchas diferentes tecnologías que se pueden usar para
implementar un diseño (e.g., componentes, dispositivos
programables, transistores en un chip, etc.)
El diseño tiene que ser optimizado para los requerimientos
previamente especificados.
1: Intro
0101010101010101010101
¿Que es el diseño digital?
8
¿Que es el diseño digital?
 Conceptos básicos en sistemas digitales.
Sistema con una entrada E y una salida S
Las variables E y S sólo pueden tomar los
valores discretos: 0, 1, 2, 3.
1: Intro
9
¿Que es el diseño digital?
 Codificación.
 Se denomina codificación binaria al proceso
de asignar un vector booleano a un símbolo o
valor de la variable multivaluada.

Sistema numérico binario.
• En el sistema numérico binario la base numérica es
2, y los dígitos sólo pueden ser 0 y 1.
1: Intro
10
¿Que es el diseño digital?
 Información. Bit, Byte.
 Se denomina bit, que es un acrónimo de
Binary Digit, a la cantidad de información
requerida para distinguir entre dos opciones
igualmente probables.
 Tablas de verdad.
1: Intro
11
¿Que es el diseño digital?
 Compuertas básicas. Operadores
booleanos.

En el álgebra de Boole se definen los
operadores and y or, mediante las tablas de
verdad .
 Expresiones booleanas.

1: Intro
12
¿Que es el diseño digital?
 Esquemático.
1: Intro
13
Algunas aplicaciones del diseño
digital
 Computadores
 CPUs, bus, equipos periféricos de I/O (discos,
pendrives, teclados, impresoras, mouse, pantallas,
etc)
 Redes y comunicaciones
 centrales, estaciones base, teléfonos, módems,
routers, switches, hubs, gateways, gatekeepers (VoIP)
 Sistemas embebidos
 electrodomésticos
 aparatos portátiles: celulares, iPods, organizadores
 juguetes y juegos de video
 aparatos a control remoto
 controladores industriales, robots
 Equipos científicos
 equipos de prueba, sensores, aparatos médicos
1: Intro
 Muchos otros
14
Algunas tendencias actuales en
el diseño digital
 Tendencias de la industria para diseño de hardware



Diseños mas grandes e integrados.
Tiempo al mercado mas corto.
Productos mas baratos.
 Escala


Uso común de herramientas computacionales sobre métodos
manuales.
Múltiples niveles de diseño y representación.
 Tiempo




Énfasis en representaciones abstractas de diseño.
Uso de componentes programables (e.g. FPGA) sobre otros de
función fija.
Técnicas automáticas de síntesis del diseño lógico (e.g. Verilog).
Importancia de buenas metodologías y procesos de diseño.
 Costo


Uso de simulación para depurar (debug).
1: Intro
Simulación y verificación (testing) antes de construcción.
15
Diseño digital: computación
abstracta versus
implementación
 Computación abstracta es un ejercicio mental o de software
(programas).
 Esta clase trata sobre como se puede implementar sistemas
de computación en hardware que usan voltajes para
representar valores lógicos binarios (1 y 0).
 Elementos básicos de la computación.




Representación binaria:
Asignación:
Operaciones sobre datos:
Control:
• expresiones secuénciales
• expresiones condicionales:
• ciclos (loops):
A[i];
• procedimientos (funciones)


0, 1
x=y
x+y–5
1; 2; 3;...
if x == 1 then y
for (i = 1; i == 5; i++) x = x +
Uso común de lenguajes y herramientas computacionales (e.g.
HDL, Verilog, Xylinx) sobre métodos manuales.
Múltiples niveles de diseño y representación.
1: Intro
16
Abstracción digital
 Abstracción digital binaria

Consiste en representar las señales análogas reales
de entrada y salida usando valores discretos lógicos 0
y1
Volts
Voh
4
3
lógica 1
Vih
2
1
0.5
0
- 0.5
Margen de ruido
zona de transición entre lógica 0 y 1
lógica 0
Vil
Margen de ruido
Vol
1: Intro
17
Abstracción digital
 ¿Porque es útil la digitalización?
 Permite el desarrollo modular de sistemas
 Ayuda a prevenir que un 0 sea confundido con un 1
y viceversa, valores específicos dependen de la
tecnología usada (e.g. TTL)
 e.g. VIL debe ser un poco mayor que VOL
Volts
Vol
Vil
Vil
Vol
tiempo
1: Intro
18
Abstracción digital
 Bit (Binary digit): unidad de información
 Si se tienen 2 eventos igualmente probables y se
desea conocer cuál se produce, debe aportarse 1
bit de información
 Interruptor abierto es 1
 Interruptor cerrado es 0
 Se puede codificar en un bit, el estado del
interruptor
 ¿Si hay 8 eventos posibles, para conocer la
ocurrencia de uno de ellos deben tenerse
cuantos bits de información?
1: Intro
19
Abstracción digital
 La información puede definirse como:

conocimiento comunicado o recibido concerniente a
un hecho particular, el cual reduce la incertidumbre
del receptor
 Si tenemos un espacio de muestreo dividido en
2N casos que son igualmente probables Ek (k =
1, 2, ..., 2N) entonces la información (en bits)
proveída por el hecho Ek es N bits
1: Intro
20
Abstracción digital
 Evento

Se denomina evento al cambio de valor de una
señal en un instante de tiempo.
 ¿Que es un canto de bajada/subida?
 Pasar de nivel lógico 1 a 0 se denomina canto de
bajada.
 Un canto de subida se produce cuando la señal
pasa de nivel lógico 0 a 1.
1
0
1: Intro
21
¿Qué es el hardware digital?
 Máquina abstracta:
 Una
máquina abstracta es un modelo de
computación que establece cómo se generan las
acciones, o eventos de salida, a partir de los
mensajes o eventos de entrada.
inputs
sistema
outputs
El modelo del sistema digital tiene inputs y outputs
 Sistemas combinacionales (sin memoria)


sus outputs solo dependen de sus inputs
 Sistemas secuenciales (con memoria)

sus outputs dependen no solo de sus inputs actuales sino
que también de inputs previos (tienen memoria)
1: Intro
22
¿Que es el hardware digital?
 Colección de dispositivos que miden y controlan
señales que usan voltajes digitales (e.g. una
cantidad física que se interpreta como un “0” o un
“1”)

e.g.: lógica digital binaria
• “0” cuando el voltaje en una señal es < 0.8 V
• “1” cuando el voltaje es > 2.0 V

El tener Voh > Vih y Vol < Vil causa que la señales lógicas
“1” y “0” se vayan regenerando
1: Intro
23
¿Que es el hardware digital?
 Interruptor (switch): elemento básico del
hardware

Implementar un circuito simple (flecha muestra si un
cable cambia a “1”)
A
Z
cerrar switch (si A es “1”) y prender la
bombilla (Z)
A
Z
abrir switch (si A es “0”) y apagar la
bombilla (Z)
Z ≡ A
1: Intro
24
¿Que es el hardware digital?
 La
composición
de
interruptores
(e.g.
transistores) en elementos mas complejos
implementa las funciones de lógica Booleana.
 ¿Como hago un AND y un OR de dos
interruptores?
AND
B
A
Z ≡ A and B
A
OR
Z ≡ A or B
B
1: Intro
25
¿Que es el hardware digital?
 Los valores de los interruptores (switches)

determinan si hay o no hay una ruta para encender la luz
 Para construir cómputos mas complejos



usar la luz (output de un circuito) para activar otros circuitos
interconectar redes de circuitos
(e.g. ICs o circuitos
integrados en wafers)
típicamente se diseñan y modelan estos circuitos usando
aplicaciones de software (e.g. MAGIC para VLSI)
1: Intro
26
Hardware digital vs análogo
 Es conveniente pensar en los sistemas digitales como
teniendo solo valores discretos . En realidad los
componentes electrónicos tienen un comportamiento
continuo, análogo.
 ¿Porque se hace la abstracción digital?



Interruptores operan de esta manera, es fácil modularizar
diseños basado en compuertas digitales
Es mas fácil pensar en valores discretos
Los voltajes se pueden ir renovando entre los componentes
manteniendo su valor lógico
 ¿Porque funciona?


Los errores en voltajes no se propagan
Siempre se cambian a 0 o 1
1: Intro
27
Sistemas Combinacionales
 Se
denominan
máquinas
o
sistemas
combinacionales a aquellos cuyas salidas, en
un instante de tiempo, dependen solamente de
los valores que toman las entradas en ese
instante de tiempo (no tienen memoria)
 Lo cual puede describirse por una función o
tabla (truth table) que especifique los valores de
las salidas para cada una de las combinaciones
posibles de las entradas
 En estos sistemas las componentes no cambian
sus propiedades a medida que transcurre el
tiempo
1: Intro
28
Símbolos Lógicos
 Sistemas lógicos combinacionales usan
compuertas estándar que se denominan
compuertas lógicas
 Buffer, NOT
A

Z
AND, NAND
A
B

Z
OR, NOR
A
B
fácil de implementar con
transistores CMOS
(los interruptores mas
disponibles)
Z
1: Intro
29
Sistemas Combinacionales:
ejemplo
 Subsistema de calendario: numero de días en un
mes



Usado para controlar un reloj de tipo LCD
Input: mes, indicador de año bisiesto (leap year)
Output: numero de días (28, 29, 30 o 31) en ese mes
1: Intro
30
Sistemas Combinacionales:
ejemplo
 Implementación en software
integer number_of_days ( month, leap_year_flag)
{
switch (month) {
case 1: return (31);
case 2: if (leap_year_flag == 1)
then return (29)
else return (28);
case 3: return (31);
...
case 12: return (31);
default: return (0);
}
}
1: Intro
31
Sistemas Combinacionales:
ejemplo

Implementación digital
 Codificación:



Cuántos bits para cada input/output?
month
Número binario para el mes
0000
0001
Cuatro alambres para 28 - 31
 Comportamiento:


combinacional
especificado en
la tabla
month
leap
d28d29d30d31
0010
0010
0011
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
111–
leap
–
–
0
1
–
–
–
–
–
–
–
–
–
–
–
–
d28 d29 d30 d31
–
–
–
–
0
0
0
1
1
0
0
0
0
1
0
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
0
1
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
–
–
–
–
–
– Intro
–
–
1:
32
Sistemas Combinacionales:
ejemplo
 Análisis





d28 = 1 cuando month=0010 y leap=0
d28 = m8'•m4'•m2•m1'•leap‘
d31 = 1 cuando month=0001 o month=0011 o ...
month=1100
d31 = (m8'•m4'•m2'•m1) + (m8'•m4'•m2•m1) + ...
month leap d28 d29 d30 d31
(m8•m4•m2'•m1')
d31 =
0001
0010
0010
símbolo
0011
símbolo
de or
0100
de and
...
1100
podemos simplificarlo mas? 1101
111–
0000
–
0
1
–
–
0
1
0
0
0
0
0
1
0
0
0
0
0
0
1
1
0
0
1
0
–
–
–
–
0
–
–
–
0
–
–
–
0
–
–
–
1
–
–
–
1: Intro
33
Sistemas Combinacionales:
ejemplo
 d28 = m8'•m4'•m2•m1'•leap’
 d29 = m8'•m4'•m2•m1'•leap
 d30 = (m8'•m4•m2'•m1') + (m8'•m4•m2•m1') +
(m8•m4'•m2'•m1) + (m8•m4'•m2•m1)
= (m8'•m4•m1') + (m8•m4'•m1)
 d31 = (m8'•m4'•m2'•m1) + (m8'•m4'•m2•m1) +
(m8'•m4•m2'•m1) + (m8'•m4•m2•m1) +
(m8•m4'•m2'•m1') + (m8•m4'•m2•m1') +
(m8•m4•m2'•m1')
1: Intro
34
Máquinas de Estados o Secuenciales
 Se denominan máquinas de estados o secuenciales a
aquellas cuyas salidas, en un instante de tiempo,
dependen de los valores que toman las entradas y de
su estado en ese instante de tiempo. Se comienza con
un estado inicial.
 Se usa una función de transición que especifique los
valores de las salidas y del próximo estado para cada
una de las combinaciones posibles de las entradas y del
estado presente. También se puede usar un diagrama
de estados.
 Una matriz puede servir para indicar los diferentes
valores de esta función.
 Las entradas se deben usar una vez que la máquina
haya procesado las entradas previas y este estable.
1: Intro
35
Máquinas de Estados: ejemplo
 Candado de combinación:





Seleccionar 3 valores en secuencia y se abre
el candado.
Si hay un error se debe recomenzar la
secuencia (reset).
Input: secuencia de valores, reset.
Outputs: candado abierto/cerrado.
Memoria: debe recordar combinación.
1: Intro
36
Máquinas de Estados: ejemplo
Implementación en software
integer combination_lock ( ) {
integer v1, v2, v3;
integer error = 0;
static integer c[3] = 3, 4, 2;
// clave
while (!new_value( ));
v1 = read_value( );
if (v1 != c[1]) then error = 1;
while (!new_value( ));
v2 = read_value( );
if (v2 != c[2]) then error = 1;
while (!new_value( ));
v3 = read_value( );
if (v2 != c[3]) then error = 1;
if (error == 1) then return(0); else return (1);
}
1: Intro
37
Máquinas de Estados: ejemplo
 Codificación:




¿Cuántos bits por valor de input?
¿Cuántos valores en la secuencia?
¿Cómo sabemos que hay un valor nuevo de input?
¿cómo representar los estados?
 Comportamiento:




Línea clock indica cuando.
new value reset
mirar los inputs (sistema tiene que
estar estable después de un cambio).
Secuencial: secuencias de valores
state
clock
deben ser introducidos.
Secuencial: recordar si ocurre un error
open/closed
Especificar los estados finitos.
1: Intro
38
Máquinas de Estados: ejemplo
 Diagrama de estados:

5 estados
•
•
•
•
•
•
Representan situaciones en la ejecución de la máquina
Cada estado tiene outputs
6 transiciones entre estados, 5 auto transiciones, 1 global
Cambios en estados ocurren cuando reloj indica que se puede
Inputs: reset, new, resultado de comparaciones
ERR
Output: open /closed (abierto /cerrado)
closed
C1!=value
& new
S1
reset
closed
C1=value
& new
not new
S2
closed
C2!=value
& new
S3
C2=value
& new
not new
closed
C3!=value
& new
C3=value
& new
OPEN
open
not new
1: Intro
39
Máquinas de Estados: ejemplo
 ¿Ruta de datos versus control?

ruta de datos
• Almacenamiento para combinación
• Comparador

control
• Controlador de estados finitos
• Control para ruta de datos
• Cambios en estados controlados por reloj (clock)
new
value
C1
C2
multiplexer
C3
mux
control
equal
reset
controller
comparator
equal
clock
open/closed
1: Intro
40
Máquinas de Estados: ejemplo
 Refinar máquina de estados finitos

Incluir datos internos de la estructura del HW
ERR
closed
not equal
& new
S1
reset
closed
mux=C1
not new
not equal
& new
S2
equal
& new
closed
mux=C2
not new
not equal
& new
S3
equal
& new
closed
mux=C3
OPEN
equal
& new
open
not new
1: Intro
41
Máquinas de Estados: ejemplo
 ¿Máquina de estados finitos actualizada?

closed
Generar tabla estados o transiciones
not equal
& new
S1
reset
reset
1
0
0
0
0
0
0
0
0
0
0
0
ERR
new
–
0
1
1
0
1
1
0
1
1
–
–
equal
–
–
0
1
–
0
1
–
0
1
–
–
next
state state
–
S1
S1
S1
S1
ERR
S1
S2
S2
S2
S2
ERR
S2
S3
S3
S3
S3
ERR
S3
OPEN
OPEN OPEN
ERR
ERR
closed
mux=C1
not new
mux
C1
C1
–
C2
C2
–
C3
C3
–
–
–
–
not equal
& new
S2
equal
& new
closed
mux=C2
not new
open/closed
closed
closed
closed
closed
closed
closed
closed
closed
closed
open
open
closed
not equal
& new
S3
equal
& new
closed
mux=C3
OPEN
equal
& new
open
not new
1: Intro
42
Máquinas de Estados: ejemplo
 Codificar tabla de estados

estado puede ser: S1, S2, S3, OPEN o ERR
• 3 bits mínimo para codificar

output mux puede ser: C1, C2, o C3
• 2 bits mínimo para codificar

output open /closed puede ser: open o closed
• mínimo 1 bit para codificar
 Trabajo en grupo: elegir codificación de bits para los
estados, generar tabla de estados (hay muchas
opciones!)
1: Intro
43
Máquinas de Estados: ejemplo
 Codificar tabla de estados

estado puede ser: S1, S2, S3, OPEN o ERR
• usar 4 bits

output mux puede ser: C1, C2, o C3
• usar 3 bits

output open /closed puede ser: open o closed
• usar 1 bit para codificar
reset
1
0
0
0
0
0
0
0
0
0
0
0
new
–
0
1
1
0
1
1
0
1
1
–
–
equal
–
–
0
1
–
0
1
–
0
1
–
–
state
–
0001
0001
0001
0010
0010
0010
0100
0100
0100
1000
0000
next
state
0001
0001
0000
0010
0010
0000
0100
0100
0000
1000
1000
0000
mux
001
001
–
010
010
–
100
100
–
–
–
–
open/closed
0
buena elección!
0
0
0
mux es idéntico a los últimos
0
3 bits del estado
0
0
open / closed es
0
idéntico al primer bit
0
del estado
1
1
0
1: Intro
44
Jerarquía de diseño
sistema digital
ruta de datos
memorias /
registros
ruta de control
multiplexer comparator / ALU
registros
registros de
estado
red combinacional
(lógica)
lógica / compuertas
redes de compuertas
(transistores)
1: Intro
45
Resumen
 ¿De que se trata este curso?

Desarrollar soluciones a problemas usando circuitos
combinacionales
y
secuenciales
efectivamente
organizando el diseño jerárquicamente.

Utilizar técnicas y herramientas modernas.

Tomar ventaja de oportunidades de optimización.
1: Intro
46
Descargar