Görschwin Fey
Ingenieur
Hat mitgewirkt an:
-
FunTaskIC : eine integrierte Entwurfsumgebung für SystemC
-
Increasing robustness and usability of circiut design tools by using formal techniques
-
Synthesizing adaptive test strategies from temporal logic specifications
-
Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages