Publication

Simulation Graphs for Reverse Engineering

Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton

In: 24th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2015) June 12-13 Mountain View CA United States 2015.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz