Resumen de Diseño de un microprocesador RISC para buses industriales
Francisco Manuel Morales Medina
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.
