DSpace Repository

Generating optimal functional coverages in digital systems

Show simple item record

dc.contributor.author Martínez Cruz, Alfonso
dc.date.accessioned 2017-05-24T18:21:32Z
dc.date.available 2017-05-24T18:21:32Z
dc.date.created 2016-01
dc.date.issued 2017-05-02
dc.identifier.citation Martínez Cruz, Alfonso. Generating optimal functional coverages in digital systems. Tesis (Doctorado en Ciencias de la Computación). Ciudad de México, Instituto Politécnico Nacional, Sección de Estudios de Posgrado e Investigación, Centro de Investigación en Computación. 2016. 160 p. es
dc.identifier.uri http://tesis.ipn.mx/handle/123456789/21661
dc.description.abstract El constante avance de la tecnología y los nuevos requerimientos en el desempeño y producción de los sistemas digitales han requerido que nuevos esquemas de verificación y prueba sean propuestos. Como hace unas décadas Gordon E. Moore predijo que el número de componentes transistores en un circuito integrado se duplicaría cada dos años así como la tendencia del desarrollo de nuevos dispositivos cada vesmas pequeños y con mayor complejidad en su funcionamiento han producido que hoy en día, tengamos a nuestro alcance dispositivos como: smart-phones, smart-watches, tabletas, drones, computadoras, etc. que contienen chips con millones de dispositivos semiconductores procesando gran cantidad de información y realizando diferentes funciones en pequeños intervalos de tiempo. La verificación funcional representa una parte importante en el proceso de diseño de los sistemas digitales debido a que los errores en hardware resultan más costosos y es necesario remplazar los dispositivos físicamente. En el presente trabajo de investigación se propone un nuevo método de generación de altos porcentajes de coberturas funcionales para la verificación de sistemas digitales. El método propuesto esta basado en la aplicación de meta-heurísticas (Particle Swarm Optimización, Differential evolution algorithm), el uso de modelos de cobertura funcional y la simulación de los dispositivos bajo verificación. Dicho método representa un método hibrido y a la ves una alternativa para complementar las técnicas actuales utilizadas para realizar la verificación funcional. A diferencia de los trabajos previos donde se han utilizado algoritmos genéticos, en esta investigación otras meta-heurísticas como: Particle Swarm Optimización algorithm, Differential Evolution algorithm son utilizadas para la generación de vectores de prueba que maximicen los valores de cobertura funcional. Estas meta-heurísticas han sido utilizadas en diferentes problemas de optimización obteniendo resultados competitivos. También, en esta investigación se propone una nueva versión del algoritmo de evolución diferencial compacto para la representación binaria. Dicho algoritmo esta basado en el principio del algoritmo genético compacto ya que utiliza los valores estadísticos para representar a la población, por lo tanto, requiere menos recursos de memoria para su implementación que los algoritmos basados en la población. Para realizar la prueba de la implementación a nivel RTL han sido diseñadas diferentes herramientas de software. Debido a esto, una plataforma de software ha sido diseñada para conectar las herramientas de simulación con los módulos en lenguaje de alto nivel. Esta plataforma esta basada en los esquemas actuales para llevar a cabo la verificación por medio de de la simulación de los dispositivos. La plataforma contiene un conjunto de módulos que permiten utilizar diferentes algoritmos, escenarios de prueba, asi como conectar las implementaciones de los dispositivos con el entorno de pruebas. es
dc.description.sponsorship CONACYT es
dc.language.iso en es
dc.publisher Martínez Cruz, Alfonso es
dc.title Generating optimal functional coverages in digital systems es
dc.type Tesis es
dc.contributor.advisor Barrón Fernández, Ricardo
dc.contributor.advisor Molina Lozano, Herón


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account