Winston Haaswijk

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 15

Top Topics

Monotone Boolean Functions

Mechanical Devices

Top Venues

Publications

Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler
One-pass Synthesis for Field-coupled Nanocomputing Technologies. ASP-DAC (2021)
Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (4) (2020)
Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. DATE (2019)
Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli
Mapping Monotone Boolean Functions into Majority. IEEE Trans. Computers 68 (5) (2019)
Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken
Logic Optimization of Majority-Inverter Graphs. MBMV (2019)
Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Exact Synthesis of Boolean Functions in Majority-of-Five Forms. ISCAS (2019)
Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken
Scalable Generic Logic Synthesis: One Approach to Rule Them All. DAC (2019)
Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli
SAT based exact synthesis using DAG topology families. DAC (2018)
Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli
The EPFL Logic Synthesis Libraries. CoRR (2018)
Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli
Practical exact synthesis. DATE (2018)
Winston Haaswijk, Luca Gaetano Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli
Integrated ESOP Refactoring for Industrial Designs. ICECS (2018)
Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Frédéric Kaplan, Sabine Süsstrunk, Giovanni De Micheli
Deep Learning for Logic Optimization Algorithms. ISCAS (2018)
Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli
Classifying Functions with Exact Synthesis. ISMVL (2017)
Winston Haaswijk, Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
A novel basis for logic rewriting. ASP-DAC (2017)
Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Multi-level logic benchmarks: An exactness study. ASP-DAC (2017)
Winston Haaswijk, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
NEM relay design with biconditional binary decision diagrams. NANOARCH (2015)