Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Síntesis formal de alto nivel por derivación automática : aspectos teóricos, metodológicos y prácticos

Loading...
Thumbnail Image

Official URL

Full text at PDC

Publication date

2003

Defense date

15/09/1998

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Universidad Complutense de Madrid, Servicio de Publicaciones
Citations
Google Scholar

Citation

Abstract

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

Research Projects

Organizational Units

Journal Issue

Description

Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Físicas, Departamento de Arquitectura de Computadoras y Automática, leída el 15-09-1998

Keywords

Collections