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



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Using Modified Interval Analysis in System Verification
Type:International Conference
Where:XVIII Conference on Design of Circuits and Integrated Circuits DCIS'03 Ciudad Real
Date:2003-11
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines:
Projects:
ISBN:84-87087-40-X
PDF File:see file
Abstract:Interval arithmetic was original developed to estimate rounding errors in floating-point computations but it is now used in a wide variety of applications from constraint solvers and global optimizers to power and timing analysis of software processes. The objective of interval analysis (IA) is to determine the output ranges (or interval) of a computation set. The main problem of classical interval analysis is the overestimation of the output ranges and its dependency on the coding of the system behavior. In this paper, a modified interval analysis method is presented. The method reduces the interval overestimation and it is independent of the coding. This modified interval analysis is the kernel of a new verification technique that enables the verification of functional properties in system level descriptions and obtains functional test vectors.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster