Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| Full record |
| Title: | Assertion Checking of Cyclic Behavioral Descriptions |
| Type: | National Conference |
| Where: | XIX Conference on Design of Circuits and Integrated Systems DCIS'04
France |
| Date: | 2004-11 |
| Authors: |
Iñigo Ugarte
Pablo Pedro Sánchez
|
| R&D Lines: |
|
| Projects: |
|
| ISBN: | 2-9522971-0-X |
| PDF File: | see file
|
| Abstract: | 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. |
|
|
