Robustness and Usability in Modern Design Flows

by Fey, Görschwin, Drechsler, Rolf
Published 2008

Advanced BDD Optimization

by Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Published 2005

Debug Automation from Pre-Silicon to Post-Silicon

by Dehbashi, Mehdi, Fey, Görschwin
Published 2015

Test Pattern Generation using Boolean Proof Engines

by Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Published 2009