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



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Verification of Embedded Systems Based on Interval Analysis
Type:International Paper
Where:International Journal of Parallel Programming, Vol. 33, No. 6,
Date:2005-12
Authors: Iñigo Ugarte
Pablo Pedro Sánchez
R&D Lines:
Projects:
ISBN:0885-7458/05/120
PDF File:
Abstract:The latest versions of the “International Technology Roadmap for Semiconductors” (ITRS) highlight that verification has changed from playing a relatively minor supporting role in the design process to becoming the dominant cost. This situation is the result of the exponential growth of the functional complexity of designs and the historical emphasis of CAD tools in other areas of the design process such as automatic synthesis or place-androute.
The problem is even worst in embedded systems that normally integrate
functionally complex hardware and software parts. This work presents a
new verification technique based on interval analysis that can handle embedded designs described at behavioural level. The proposed technique is able to verify assertions that the users insert in software and hardware tasks. It shows very promising results in systems that cannot be efficiently verified with other tools (e.g. data-dominated designs).
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster