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 Wed 09-Oct-24 . 04:55



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Path-oriented Assertion Checking of Cyclic Behavioral Descriptions
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:Formal Methods and Models for Co-Design MEMOCODE'04 California
Fecha:2004-06
Autores: Iñigo Ugarte
Pablo Pedro Sánchez
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos:
ISBN:
Fichero:
Resumen:In order to verify 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. The main contribution of this work is an assertion checking algorithm that allows the application of interval-based techniques to cyclic descriptions
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster