Diamond

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. 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 contends the above-mentioned challenges by providing a systematic methodology and an integrated environment for the diagnosis and correction of errors on different abstraction levels and from different sources.

DIAMOND is funded by the European Commission as an FP7 STReP.

Publications

Proceedings
2011	Georg Hofferek, Roderick Paul Bloem - *"Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions"* - Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)
2011	Robert Könighofer, Roderick Paul Bloem - *"Automated Error Localization and Correction for Imperative Programs"* - Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
2011	Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - *"Debugging Unrealizable Specifications with Model-Based Diagnosis"* - Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
2011	Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem - *"Generalized Reactivity(1) Synthesis without a Monolithic Strategy"* (Note: to appear)
2010	Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber - *"RATSY - A new Requirements Analysis Tool with Synthesis"* - Computer Aided Verification
2010	Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, Barbara Jobstmann - *"Robustness in the Presence of Liveness"* - Computer Aided Verification

Article
2011	Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - *"Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies"* - International journal on software tools for technology transfer (Volume: ) (Note: to appear)

Tech report
2011	Georg Hofferek, Robert Könighofer, Görschwin Fey, Alexander Finder, Erik Larsson, Urmas Repinski, Jaan Raik - *"Transaction-Level Diagnosis"*
2011	Rolf Drechsler, Görschwin Fey, Alexander Finder, Andre Sülflow, Robert Könighofer, Georg Hofferek, Urban Ingelsson, Eli Arbel, Jaan Raik, Stephen Scholefield, Artur Jutman - *"Definition of the Diagnostic Model"*
2011	Erik Larsson, Urban Ingelsson, Gunnar Carlsson, Artur Jutman, Georg Hofferek - *"Status on Post-Silicon and In-Situ Repair"*
2011	Georg Hofferek, Robert Könighofer, Jörn-Marc Schmidt, Görschwin Fey, Alexander Finder, Andre Sülflow, Urban Ingelsson, Urmas Repinski, Jaan Raik, Anton Karputkin, Stephen Scholefield - *"Status on Implementation-Level Correction"*
2011	Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Eli Arbel, Jaan Raik, Urmas Repinski, Artur Jutman, Stephen Scholefield - *"Report on Reasoning Engines and Dynamic Techniques"*
2010	Tarmo Robal, Jaan Raik, Georg Hofferek, Roderick Paul Bloem, Cindy Eisner, Gunnar Carlsson - *"DIAMOND Website (Deliverable D5.1)"*
2010	Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Erik Larsson, Jaan Raik, Oleg Rokhlenko - *"Requirements & Concept of the Diagnostic Model"*
2010	Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Erik Larsson, Urban Ingelsson, Jaan Raik, Eli Arbel, Artur Jutman, Gunnar Carlsson, Stephen Scholefield - *"Status on Implementation-Level Diagnosis"*
2010	Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Oleg Rokhlenko, Stephen Scholefield - *"Status on Reasoning Engines and Dynamic Techniques"*
2010	Oleg Rokhlenko, Cindy Eisner, Görschwin Fey, Alexander Finder, Jaan Raik, Maksim Jenihhin, Gunnar Carlsson, Georg Hofferek, Robert Könighofer - *"Definition of the DIAMOND Platform"*

Presentation
2012	Georg Hofferek - *"Automated Synthesis and Design Error Repair of Systems"* (IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Tallinn, 19.04.12)
2011	Robert Könighofer - *"Automated Diagnosis and Repair of Simple Software"* (DIAMOND tutorial at DATE, Grenoble, 17.03.11)
2011	Robert Könighofer - *"Automated error localization and correction for imperative programs"* (Formal Methods in Computer Aided Design (FMCAD), Texas, 31.10.11)
2011	Georg Hofferek - *"Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions"* (ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MemoCODE), Microsoft Research Cambridge, 11.07.11)
2010	Karin Greimel - *"Synthesizing Robust Systems"* (PUMA Workshop, Szentendre, 10.10.10)
2010	Robert Könighofer - *"Debugging Unrealizable Specifications with Model-Based Diagnosis"* (Haifa Verification Conference, Haifa, 06.10.10)
2010	Robert Könighofer - *"RATSY - A New Requirements Analysis Tool with Synthesis"* (CAV 2010, Edinburgh, 18.07.10)
2010	Karin Greimel - *"Robustness in the Presence of Liveness"* (CAV 2010, 18.07.10)
2010	Georg Hofferek - *"Controller Synthesis Using Uninterpreted Functions"* (Synthesis, Verification, and Analysis of Rich Models (SVARM 2010), 20.07.10)