Diagnosis, Error Modelling and Correction for Reliable Systems Design

akronüüm: DIAMOND
algus: 2010-01-01
lõpp: 2012-12-31
programm: FP7 - Euroopa Liidu 7. raamprogramm
alaprogramm: ICT - Info- ja kommunikatsioonitehnoloogiad
instrument: CP-FP-INFSO
projektikonkurss: FP7-ICT-2009-4
projekti number: 248613
kestus kuudes: 36
partnerite arv: 8
lühikokkuvõte: 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. 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: - 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.
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
1 koordinaator Tallinna Tehnikaülikool EE Jaan Raik http://www.ttu.ee
2 partner LINKOPINGS UNIVERSITET SE Erik Larsson http://www.liu.se
3 partner UNIVERSITAET BREMEN DE Görshwin Fey http://www.uni-bremen.de
4 partner TECHNISCHE UNIVERSITAET GRAZ AT Roderick Bloem http://www.tugraz.at
5 partner ERICSSON AB SE Gunnar Carlsson
7 partner TRANSEDA SYSTEMS LTD UK Stephen Scholefield http://www.transeda.com
8 partner Testonica Lab OÜ EE Artur Jutman http://www.testonica.com