Métodos formales prácticos para el diseño de equipos informáticos
Se ha publicado, como parte de la serie "Informes de investigación ESPRIT", producida por Springer Verlag, un informe sobre los "Métodos formales prácticos para el diseño de equipos informáticos ("hardware")". En este informe se describen los resultados y metodología del proyecto FORMAT (métodos formales en la verificación de equipos informáticos), financiado por el programa específico comunitario de IDT en el campo de las tecnologías de la información (ESPRIT). El proyecto FORMAT tiene como objetivo reducir la duración de los períodos de diseño de módulos complejos de equipos informáticos mediante un conjunto de métodos de sistema-nivel y el diseño de herramientas de apoyo para una versión avanzada de VHDL. El informe se divide en tres partes. En la primera se presenta una visión de conjunto de los objetivos y planteamientos más importantes de FORMAT. En la segunda parte se presentan algunos de los experimentos llevados a cabo por las empresas industriales del consorcio. En la tercera y última parte se incluye material sobre las actividades prácticas realizadas dentro del proyecto, con secciones independientes que tratan de las tecnologías clave en las que se basan las herramientas de verificación y síntesis.