Winston Haaswijk

16 papers A* 2A 2C 2Journal 3Unranked 7

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