Web Map
![](../images/raya.gif)
Location
![](../images/raya.gif)
News
![](../images/raya.gif)
Santander Info
![](../images/raya.gif)
|
GIM>Research>Publication |
PUBLICATION |
|
Full record |
Title: | Optimizations in the Verification Technique of Automatic Assertion Checking with Non-linear Solver |
Type: | International Conference |
Where: | XXI Conference on Design of Circuits and Integrated Systems |
Date: | 2006-11 |
Authors: |
Iñigo Ugarte
Pablo Pedro Sánchez
|
R&D Lines: |
|
Projects: |
|
ISBN: | |
PDF File: | see file
|
Abstract: | This paper presents some optimizations of a verification technique based on non-linear solvers. The optimized solver is able to automatically check assertions in behavioral descriptions of hardware systems. These descriptions are modeled with a set of integer polynomial inequalities. The techniques have been evaluated with real electronic systems, such as Viterbi decoders or vocoder digital filters. |
|
|