Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/21452
Title: Metodología para la verificación de sistemas de conmutación de paquetes
Authors: Sosa González, Juan A.
Director: Montiel Nelson, Juan Antonio 
UNESCO Clasification: 3307 Tecnología electrónica
33 Ciencias tecnológicas
Keywords: Diseño de Sistemas
Sistemas de conmutación
Issue Date: 2006
Abstract: 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
Rights: by-nc-nd
Appears in Collections:Tesis doctoral
Thumbnail
Adobe PDF (20,38 MB)
Show full item record

Page view(s)

15
checked on Feb 28, 2021

Download(s)

95
checked on Feb 28, 2021

Google ScholarTM

Check


Share



Export metadata



Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.