Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/21452
Título: Metodología para la verificación de sistemas de conmutación de paquetes
Autores/as: Sosa González, Juan A.
Director/a : Montiel Nelson, Juan Antonio 
Clasificación UNESCO: 3307 Tecnología electrónica
33 Ciencias tecnológicas
Palabras clave: Diseño de Sistemas
Sistemas de conmutación
Fecha de publicación: 2006
Resumen: 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 la verificación de elementos en fase de desarrollo en cualquier nivel y donde existan descripciones hardware y/o software.
URI: http://hdl.handle.net/10553/21452
Derechos: by-nc-nd
Colección:Tesis doctoral
miniatura
Adobe PDF (20,38 MB)
Vista completa

Google ScholarTM

Verifica


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.