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 Mon 22-Jul-24 . 20:05

Web Map



Santander Info

   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
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines:
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