Tesis doctoral de Mendias Cuadros José Manuel
El objetivo de esta investigación es, por un lado, desarrollar las bases teóricas de un cálculo formal para la derivación de circuitos correctos; por otro lado, proponer una metodología para su uso en entornos automáticos de diseño microelectrónico y, finalmente, realizar un estudio con soporte empírico de su aplicabilidad real. para ello, se propone un lenguaje de especificación de conductas formal, de amplio espectro y fácilmente manipulable; se presenta un cálculo por derivación para la transformación simbólica de las especificaciones; se demuestra la corrección de este cálculo y se propone un algoritmo capaz de reproducir automáticamente dentro del cálculo definido, cualquier proceso de síntesis de alto nivel realizado por un algoritmo de optimización externo, permitiendo decidir de este modo, la corrección del circuito generado o la incorrección de las decisiones adoptadas por el algoritmo de optimización.
Datos académicos de la tesis doctoral «Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos.«
- Título de la tesis: Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos.
- Autor: Mendias Cuadros José Manuel
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1998
Dirección y tribunal
- Director de la tesis
- Roman Hermida Correa
- Tribunal
- Presidente del tribunal: Francisco Tirado Fernández
- Emilio Luque Fadon (vocal)
- Carlos Delgado Kloos (vocal)
- Lopez Lopez Juan Carlos (vocal)