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 |
Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.