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 . 21:51

Web Map



Santander Info

   Full record
Title:Assertion-based Verification of Behavioral Descriptions with Non-linear Solver
Type:International Conference
Where:IEEE International High Level Design Validation and Test
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines:
PDF File:
Abstract:Verification has become the major bottleneck of the design process. According to the latest report of the International Technology Roadmap for Semiconductors, the challenge will be to develop new design-for-verifiability techniques and verification methods for higher levels of abstraction. Several Design-for-Verifiability methodologies (DFV) have been proposed and Assertion-based Verification (ABV) is one of the most promising. In order to automatically verify assertions at the higher abstraction levels, it is necessary to improve the performances and capabilities of current constraint solvers.
This paper presents a new technique based on non-linear solvers that automatically checks assertions in behavioral descriptions of hardware systems. These descriptions are modeled with a set of integer polynomial inequalities.
These techniques have been verified with several control dominated modules of an mpeg decoder and with data dominated designs, such as Viterbi decoders or vocoder digital filters.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster