Descripción y validación de hardware : aplicaciones de tiempo real / Armando E. De Giusti, R. Marcelo Naiouf, H. Fabián Torres.

CONTENIDO
CAPITULO 1. DISEÑO DE HARDWARE Y PROBLEMAS DE TIEMPO REAL
El proceso de diseño de hardware
Importancia de la especificación y validación
Hardware para tiempo real
CAPITULO 2. ARQUITECTURAS DE PROCESADORES Y SU ESPECIFICACION
Algunas definiciones
Enfoques en la descripción de arquitecturas
Técnicas clásicas de especificación
Análisis de un procesador
CAPITULO 3. ESPECIFICACION DE HAREWARE UTILIZANDO LENGUAJES FORMALES
Utilización de lenguajes formales
Análisis del lenguaje CSP de Hardware
Descripción de arquitecturas de hardware en CSP
Validación a partir de una descripción CSP
CAPITULO 4. ESPECIFICACION Y VERIFICACION UTILIZANDO REDES DE PETRI
Utilización de máquinas de estado
Características básicas de una Red de Petri
Ejemplo de especificación con Red de Petri
Extensiones a las Redes de Petri para tiempo real
Análisis de Redes de Petri
Ambientes para la especificación y verificación con Redes de Petri
CAPITULO 5. EVOLUCION DE LOS LENGUAJES DE DESCRIPCION DE HAREWARE
Objetivo de los lenguajes de descripción de hardware
LDHs de bajo nivel
LDHs estructurados
LDHs orientados a una aplicación
CAPITULO 6. ESTRUCTURAS JERARQUICAS DE LENGUAJES
Jerarquías de arquitecturas y de lenguajes
Modelo de familia de lenguajes S
Derivación de lenguajes
El diseño de un LDH
CAPITULO 7. DE LA DESCRIPCION Y ESPECIFICACION A LA SIMULACION Y VERIFICACION DEL SISTEMA REAL
Ambientes de evaluación de hardware centrados en un LDH
Ejemplo de descripción en DA-1: RISC I
Ambiente de evaluación de arquitecturas RISC
Descripción de un microprocesador de 8 bits en DA-1: MC6800
Compilación y ejecución de la especificación
CAPITULO 8. LA UTILIZACION DE LENGUAJES REALES EN LA ESPECIFICACION Y VERIFICACION DE HARDWARE
Alternativa de utilización de lenguajes reales
Algunos ejemplos con ADA
Utilización de lenguajes declarativos. PROLOG
Evaluación comparativa de alternativas
CAPITULO 9. ALGUNOS CASOS DE ESTUDIO
Adquisición de datos
Protocolo de red
Arquitecturas no convencionales
CONCLUSIONES