Tesis doctoral de Sosa González Carlos Javier
Esta tesis doctoral aporta una metodología y un entorno para la verificación y validación de sistemas integrados de última generación, basados en la exploración del espacio de diseño y la generación guiada mediante diversas métricas de cobertura. el entorno desarrollado en c++ permite comprobar elementos sencillos, como son los módulos de lógica combinacional o secuencial, o tan complejos, como un sistema integrado de última generación; bien de forma automática o especificando casos críticos. La metodología y el entorno propuesto, son aplicados a las verificación de elementos en fase de desarrollo en cualquier nivel y donde existan descripciones hardware y/o software. con el objeto de reducir el número de vectores y el tiempo requerido para comprobar un sistema integrado, el entorno se complementan con diversas técnicas, heurísticas y deterministas, de generación de vectores guiados pro métricas de cobertura, basadas en potencia de consumo o ejercitación de rutas. se provee una metodología eficiente para explorar el espacio de diseño del sistema bajo verificación con el objeto de obtener una estimación del espacio de diseño no sólo se obtiene el retardo a anotar en cada funcionalidad, sino que se logra el rango de funcionamiento del conjunto de soluciones circuitales óptimas en retardo-área o retardo-potencia de consumo. tanto la metodología presentado como el entorno que la implementan ha sido utilizados ampliamente en la verificación de circuitos integrados comerciales y no comerciales. La consecución de dichos sistemas es una buena garantía de que el entorno de verificación funciona correctamente y que la metodología propuesta es práctica en la verificación de sistemas de integrados.
Datos académicos de la tesis doctoral «Metodología para la verificación de sistemas de conmutación de paquetes«
- Título de la tesis: Metodología para la verificación de sistemas de conmutación de paquetes
- Autor: Sosa González Carlos Javier
- Universidad: Palmas de gran canaria
- Fecha de lectura de la tesis: 03/11/2006
Dirección y tribunal
- Director de la tesis
- Juan Antonio Montiel Nelson
- Tribunal
- Presidente del tribunal: Antonio Núñez ordóñez
- López lópez Juan Carlos (vocal)
- joan Figueras pí mies (vocal)
- teresa Riesgo alcaide (vocal)