Görschwin Fey

• Advanced BDD Optimization
• Debug Automation from Pre-Silicon to Post-Silicon
• Robustness and Usability in Modern Design Flows
• Test Pattern Generation using Boolean Proof Engines
• Test Digitaler Schaltkreise