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