Resumen de Contribución al modelado y diseño de sistemas integrados de información Cad-Vlsi
La tesis presentada se ubica en el tema del modelado de datos para el diseño de sistemas VLSI y pertenece al grupo de herramientas utilizadas para el manejo de la información en los entornos cad/vlsi. Fundamentalmente la tesis trata el problema del modelado de sistemas integrados de información que sean compatibles y coherentes con cada una de las fases de diseño de los sistemas VLSI permitiendo generar automáticamente la estructura del sistema de manejo de información necesaria. El modelo de diseño de sistemas integrados de información cad/vlsi (mdsii cad/vlsi) objeto de la tesis se construye y formaliza en base a: 1) la características exigidas a los sistemas integrados de información en cad/vlsi: estructura centralizada mecanismos de validación y control manejo de librerías mecanismos de recuperación flexibilidad para el tratamiento de información multinivel y un lenguaje de interfaz cómodo y flexible. 2) El modelo de datos basado en redes semánticas con ocho operaciones básicas que modelan las estructuras jerárquicas de clases y sus relaciones: generalización asociación clasificación individualización especialización miembro de e instancia. 3) La teoría clásica de grafos hipergráfos y conjuntos con la que se realiza la especificación algebraica del modelo utilizando tipos abstractores de datos. Finalmente se han explorado dos dominios de aplicación: el modelado de una base de datos de cad/vlsi y el desarrollo de ejemplos de diseño vlsi a nivel funcional.
