Winston Haaswijk

According to our database, Winston Haaswijk authored at least 16 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

One-pass Synthesis for Field-coupled Nanocomputing Technologies.

Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism.

Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019

Mapping Monotone Boolean Functions into Majority.

Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli

IEEE Trans. Computers, 2019

Logic Optimization of Majority-Inverter Graphs.

Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken

Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Exact Synthesis of Boolean Functions in Majority-of-Five Forms.

Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli

Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis.

Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Scalable Generic Logic Synthesis: One Approach to Rule Them All.

Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

The EPFL Logic Synthesis Libraries.

Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli

CoRR, 2018

Deep Learning for Logic Optimization Algorithms.

Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Frédéric Kaplan, Sabine Süsstrunk, Giovanni De Micheli

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Integrated ESOP Refactoring for Industrial Designs.

Winston Haaswijk, Luca Gaetano Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli

Proceedings of the 25th IEEE International Conference on Electronics, Circuits and Systems, 2018

Practical exact synthesis.

Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

SAT based exact synthesis using DAG topology families.

Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Classifying Functions with Exact Synthesis.

Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

A novel basis for logic rewriting.

Winston Haaswijk, Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Multi-level logic benchmarks: An exactness study.

Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2015

NEM relay design with biconditional binary decision diagrams.

Winston Haaswijk, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015