About me
I am a Senior Principal Software Engineer at Cadence Design Systems, Inc. I received my
doctorate at the EPFL in Lausanne, Switzerland. At EPFL, I was a member of the Integrated Systems Laboratory (LSI),
under supervision of prof. Giovanni De Micheli. Before that, I received my Bachelor degree in
Computer Science from the University of Amsterdam, and my MPhil
in Computer Science from the University of Cambridge. My
research interests include Boolean satisfiability, exploring
novel logic primitives, SAT based synthesis methods, machine
learning in general, and machine learning applied to EDA. I maintain
percy, which is a C++ header-only SAT-based exact
synthesis library. It is also one of the
EPFL logic synthesis libraries.
Publications
-
-
-
-
-
-
-
-
Integrated ESOP Refactoring for Industrial Designs
Winston Haaswijk, Luca Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli
In International Conference on Electronics, Circuits, & Systems (ICECS)
Bordeaux, France, December 2018
Publisher: IEEE
-
-
The EPFL Logic Synthesis Libraries
Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli
In International Workshop on Logic & Synthesis (IWLS)
San Francisco, USA, June 2018
-
Deep Learning for Logic Synthesis Algorithms
Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Sabine Süsstrunk, Frédéric Kaplan, Giovanni De Micheli
In International Symposium on Circuits and Systems (ISCAS)
Florence, Italy, May 2018
Publisher: IEEE
-
Practical Exact Synthesis
Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Amarù, Robert K. Brayton, Giovanni De Micheli
In Design, Automation, and Test in Europe (DATE)
Dresden, Germany, March 2018
Publisher: IEEE
-
Classifying Functions with Exact Synthesis
Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli
In International Symposium on Multi-Valued Logic (ISMVL)
Novi Sad, Serbia, May 2017
Publisher: IEEE
-
Deep Learning for Logic Optimization
Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Sabine Süsstrunk, Frédéric Kaplan, Giovanni De Micheli
In International Workshop on Logic & Synthesis (IWLS)
Austin, USA, June 2017
-
A Novel Basis for Logic Rewriting
Winston Haaswijk, Mathias Soeken, Luca Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
In Asia and South Pacific Design Automation Conference (ASP-DAC)
Toky, Japan, January 2017
Publisher: IEEE
-
Multi-level Logic Benchmarks: An Exactness Study
Luca Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
In Asia and South Pacific Design Automation Conference (ASP-DAC)
Tokyo, Japan, January 2017
Publisher: IEEE
-
-
Selected talks