Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Software
Service
Contact




Home « Research « Projects
» Fostering Competencies in Mathematical Modeling
Logo

In the project methods to foster mathematical competencies are developed and their effectiveness is experimentally evaluated.

Contact: Dr. Cornelia Große
 
» High Quality Test Generation for Small Delay Defects
Logo

Focus of this project is the development of new methods for the generation of high-quality tests. Special attention is paid to the application of formal methods like Boolean Satisfiability (SAT) or Pseudo-Boolean Optimization.

Contact: Prof. Dr. Rolf Drechsler, Dr. Stephan Eggersglüß
 
» VisES: Visualization Technology for Complex System Descriptions aiming for the Improvement of the Safety and Robustness of Electronic Systems
Logo

The project VisES aims for the development of new visualization technologies for system designs at the Electronic System Level (ESL).

Contact: Prof. Dr. Rolf Drechsler, Dr. Robert Wille
 
» Development of a Continuous Verification Flow for ESL
Logo

In the Reinhart Koselleck Project new methods are developed to ensure the correctness of modern circuit and system descriptions in embedded systems.

Contact: Prof. Dr. Rolf Drechsler
 
» Synthesis and Optimization of Quantum Logic
Logo

Within this project, a new synthesis flow for quantum logic should be developed. We are cooperating thereby with the University of Victoria (Canada).

Contact: Prof. Dr. Rolf Drechsler
 
» Debugging Embedded Systems
Logo

Junior Research Group funded by the DFG within the Emmy-Noether-Programme.

Contact: Dr. Görschwin Fey
 
» DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Logo

Logo

Logo

DIAMOND focusses on debugging support for design bugs and the analysis of physical faults.

For further deatils see the webpage of DIAMOND:
http://www.fp7-diamond.eu


Contact: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey
 
» Quality-driven Synthesis of Large Functions in Reversible Logic
Logo

Traditional technologies more and more reach their limits. Reversible logic provides an alternative with promising applications e.g. in quantum computation or low-power design. Unfortunately, research in this area still is at the beginning. In the project new methods to synthesize reversible logic are developed. Thereby, the focus is on how to efficiently handle large functions resulting in complex circuits.

Contact: Prof. Dr. Rolf Drechsler
 
» Visualization of circuits and systems
Logo

Together with the company Concept Engineering algorithms and technologies for visualization of circuits and systems are developed.

Contact: Prof. Dr. Rolf Drechsler
 
» Formal Robustness Checking
Logo

Techniques to ensure fault tolerance - or robustness - gain an increasing importance in circuit design. Methods to automatically prove such robustness by using formal methods are investigated in the research project.

Contact: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey
 







Add to Favorites
Deutsch








Sitemap Kontakt