Winston Haaswijk

发表

Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Mapping Monotone Boolean Functions into Majority

Mathias Soeken, Winston Haaswijk, Eleonora Testa, 2019, IEEE Transactions on Computers.

Deep Learning for Logic Optimization Algorithms

Giovanni De Micheli, Mathias Soeken, Sabine Süsstrunk, 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS).

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Winston Haaswijk, Winston Haaswijk, 2019 .

The EPFL Logic Synthesis Libraries pdf

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2018, ArXiv.

Integrated ESOP Refactoring for Industrial Designs

Giovanni De Micheli, Mathias Soeken, Patrick Vuillod, 2018, 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS).

SAT Based Exact Synthesis using DAG Topology Families

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).

SAT Based Exact Synthesis using DAG Topology Families

Mathias Soeken, Winston Haaswijk, Alan Mishchenko, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).

Scalable Generic Logic Synthesis: One Approach to Rule Them All

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).

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

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2019, 2019 IEEE International Symposium on Circuits and Systems (ISCAS).

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

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Multi-level logic benchmarks: An exactness study

Giovanni De Micheli, Mathias Soeken, Patrick Vuillod, 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

Logic Optimization of Majority-Inverter Graphs

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2019, MBMV.

LUT Mapping and Optimization for Majority-Inverter Graphs

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2016 .

Practical Exact Synthesis (Invited executive session)

Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2018 .

NEM relay design with biconditional binary decision diagrams

Giovanni De Micheli, Winston Haaswijk, Luca Gaetano Amarù, 2015, Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH´15).

Classifying Functions with Exact Synthesis

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2017, 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).

A novel basis for logic rewriting

Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

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

Mathias Soeken, Winston Haaswijk, Alan Mishchenko, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

One-pass Synthesis for Field-coupled Nanocomputing Technologies

Robert Wille, Rolf Drechsler, Winston Haaswijk, 2021, 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC).