Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Sun 17-Feb-19 . 11:38



Web Map


Location

News

Santander Info

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.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster