Diseño de un microprocesador RISC para buses industriales

• Autores: Francisco Manuel Morales Medina
• Localización: Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria, 1994, págs. 423-428
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • A continuación se detalla la implementación de un microprocesador RISC, que va a ser el componente de un sistema de comunicaciones en tiempo real conocido como bus de campo. El desarrollo de este sistema corresponde al proyecto europeo ESPRIT 6526 llamado FICOMP (Fieldbus Component). También se detalla la metodología de diseño, clave en el conjunto global del sistema, y que presenta la técnica de Validación y Verificación Formal, cuyo fin es un diseño con fallos cero.