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 16-Dec-18 . 17:27



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Functional Vector Generation for Assertion-Based Verification at Behavioral Level Using Interval Analysis
Type:International Conference
Where:IEEE International High Level Design Validation and Test Workshop HLDVT’03, San Francisco, CA
Date:2003-11
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines: Design and verification of HW/SW embedded systems
Projects:
ISBN:0-7803-8236-6
PDF File:
Abstract:The 2001 International Technology Roadmap for Semiconductors (ITRS) predicts that it is unlikely that verification will be manageable for designs envisioned beyond 2007 without Design-for-Verifiability. Some CAD vendors have promoted Assertion-Based Verification (ABV) as one of the first commercial Design-for-Verification techniques. In order to handle complex design, this methodology has to be complemented with tools that automatically generate vectors or counterexamples that violate/verify proposed assertions or constraints. This paper presents an assertion checking technique for behavioral models that combines a non-linear solver and state exploration techniques and avoids expanding behavior into logic equations. The kernel of the technique is a MODified Interval Analysis (MODIA) that avoids most of the problems of classical interval analysis (IA) and improves reuse during vector generation. The results show that the proposed technique is able to handle very efficiently data-dominated designs, which research and commercial assertion/property checkers are unable or need more CPU effort to verify.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster