DeAR: Debugging of circuits using abstraction refinement

In this project automated debugging techniques for harware will be examined. The goal is to improve the performance by using abstraction and refinement techniques. In this project we cooperate with the LIP6 in Paris.

Contact: Prof. Dr. Rolf Drechsler

Detailed description is only available in german.