Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| Full record |
| Title: | Path-oriented Assertion Checking of Cyclic Behavioral Descriptions |
| Type: | International Conference |
| Where: | Formal Methods and Models for Co-Design MEMOCODE'04
California |
| Date: | 2004-06 |
| Authors: |
Iñigo Ugarte
Pablo Pedro Sánchez
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
|
| ISBN: | |
| PDF File: |
|
| Abstract: | 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 |
|
|
