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 Thu 28-Mar-24 . 23:20



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Assertion Checking of Cyclic Behavioral Descriptions
Type:National Conference
Where:XIX Conference on Design of Circuits and Integrated Systems DCIS'04 France
Date:2004-11
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines:
Projects:
ISBN:2-9522971-0-X
PDF File:see file
Abstract:In order to confront the verification of 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 of hardware systems. The
main contribution of this work is an assertion checking
algorithm that allows applying interval-based techniques to
cyclic descriptions while reducing path explosion problems.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster