Diagnosis Error Modelling and Correction for Reliable Systems Design
Increasing design costs are the main challenge facing the semiconductor community. Assuring the correctness of the design contributes to the major part of the problem. However, while diagnosis and correction of errors are more tim...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Verdi
Verification for heterogeneous Reliable Design and Integrati...
5M€
Cerrado
MOGENTES
Model based Generation of Tests for Dependable Embedded Syst...
4M€
Cerrado
COCONUT
A Correct by Construction Workbench for Design and Verificat...
3M€
Cerrado
DESTECS
Design Support and Tooling for Embedded Control Software
4M€
Cerrado
Información proyecto DIAMOND
Líder del proyecto
TALLINNA TEHNIKALIKOOL
No se ha especificado una descripción o un objeto social para esta compañía.
TRL
4-5
Presupuesto del proyecto
4M€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
Increasing design costs are the main challenge facing the semiconductor community. Assuring the correctness of the design contributes to the major part of the problem. However, while diagnosis and correction of errors are more time-consuming compared to error detection, they have received far less attention, both, in terms of research works and industrial tools introduced.Another, orthogonal threat to the development is the rapidly growing rate of soft-errors in the emerging nanometer technologies. According to roadmaps, soft-errors in sequential logic are becoming a more severe issue than in memories. However, the design community is not ready for this challenge because existing soft-error escape identification methods for sequential logic are inadequate.<br/>The DIAMOND project addresses the above-mentioned challenges. The aim of DIAMOND is improving the productivity and reliability of semiconductor and electronic system design in Europe by providing a systematic methodology and an integrated environment for the diagnosis and correction of errors. DIAMOND will develop:<br/>- A unified, holistic diagnostic model for design and soft errors;- Automated localisation and correction techniques based on the unified model, both pre-silicon and post-silicon;- Implementation of a reasoning framework for localisation and correction, encompassing word-level techniques, formal, semi-formal, and dynamic techniques;- Integration of automated correction with the diagnosis methods.DIAMOND reaches beyond the state-of-the-art by proposing an integrated approach to localisation and correction of specification, implementation, and soft errors. In addition, it considers faults on all abstraction levels, from specification through implementation down to the silicon layout. Handling this full chain of levels allows DIAMOND take advantage of hierarchical diagnosis and correction capabilities incorporating a wide range of error sources.