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. |
|
|
