Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Fri 29-Mar-24 . 14:30



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Assertion Checking of Cyclic Behavioral Descriptions
Tipo:Publicacion en Proceedings o Actas nacionales
Lugar:XIX Conference on Design of Circuits and Integrated Systems DCIS'04 France
Fecha:2004-11
Autores: Iñigo Ugarte
Pablo Pedro Sánchez
Líneas:
Proyectos:
ISBN:2-9522971-0-X
Fichero:ver fichero
Resumen:In order to confront the verification of more and
more complex Systems, several Design-for-Verification
methodologies (DFV) have been proposed. One of them,
Assertion-based Verification (ABV) has recently emerged as
the functional verification methodology capable of keeping
pace with increasingly complex systems.
This paper presents an ABV technique that automatically
searches for counter-examples that violate user specified
assertions in behavioral descriptions of hardware systems. The
main contribution of this work is an assertion checking
algorithm that allows applying interval-based techniques to
cyclic descriptions while reducing path explosion problems.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster