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