Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Wed 17-Jul-24 . 18:23

Mapa Web



Info Santander

Gestión BD

   Ficha completa
Título:System Verification Based on Modified Interval Analysis
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:European test Workshop, ETW’03
Autores: Iñigo Ugarte
Pablo Pedro Sánchez
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Fichero:ver fichero
Resumen:Interval arithmetic was original developed to estimate rounding errors on floating-point computations but it is 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 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)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster