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:40



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Path-oriented Assertion Checking of Cyclic Behavioral Descriptions
Type:International Conference
Where:Formal Methods and Models for Co-Design MEMOCODE'04 California
Date:2004-06
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines: Design and verification of HW/SW embedded systems
Projects:
ISBN:
PDF File:
Abstract:In order to verify 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. The main contribution of this work is an assertion checking algorithm that allows the application of interval-based techniques to cyclic descriptions
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster