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.
This is a joint project with the OFFIS institute at university of Oldenburg. It addresses new verification problems that are specific to reconfigurable hardware systems.
In the project the synthesis of quantum circuits is improved. Furthermore
the reliablity of quantum circuits is ensured by methods known
from verification and test.
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.
