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 Sat 15-Jun-24 . 07:07

Mapa Web



Info Santander

Gestión BD

   Ficha completa
Título:Verification of Embedded Systems Based on Interval Analysis
Tipo:Articulo en revista internacional
Lugar:International Journal of Parallel Programming, Vol. 33, No. 6,
Autores: Iñigo Ugarte
Pablo Pedro Sánchez
Resumen: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)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster