Winston Haaswijk

Cadence Design Systems (United States) — United States

Computer Science · Physical Sciences

12h-index443citations21works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(14), VLSI and Analog Circuit Testing(8), Embedded Systems Design Techniques(6), Low-power high-performance VLSI design(4), Protein Degradation and Inhibitors(4)

Publications21 total

One-pass Synthesis for Field-coupled Nanocomputing Technologies
2021· 18 cited
The Complexity of Self-Dual Monotone 7-Input Functions
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·2019Open Access
Scalable Generic Logic Synthesis
2019· 27 citedOpen Access
Exact Synthesis of Boolean Functions in Majority-of-Five Forms
2019· 9 citedOpen Access
Logic Optimization of Majority-Inverter Graphs
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·2019Open Access
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis
2019· 46 citedOpen Access
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2019· 54 citedOpen Access
SAT-Based Exact Synthesis for Multi-Level Logic Networks
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·2019· 2 citedOpen Access
Integrated ESOP Refactoring for Industrial Designs
2018· 3 citedOpen Access
Mapping Monotone Boolean Functions into Majority
IEEE Transactions on Computers·2018· 9 citedOpen Access
SAT based exact synthesis using DAG topology families
2018· 19 citedOpen Access
SAT Based Exact Synthesis using DAG Topology Families
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)·2018· 12 citedOpen Access
The EPFL Logic Synthesis Libraries
arXiv (Cornell University)·2018· 34 citedOpen Access
Practical exact synthesis
2018· 27 citedOpen Access
Practical Exact Synthesis (Invited executive session)
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·2018Open Access
Deep Learning for Logic Optimization Algorithms
2018· 78 citedOpen Access
Classifying Functions with Exact Synthesis
2017· 17 citedOpen Access
Multi-level logic benchmarks: An exactness study
2017· 4 citedOpen Access
A novel basis for logic rewriting
2017· 71 citedOpen Access
LUT Mapping and Optimization for Majority-Inverter Graphs
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·2016· 13 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Giovanni De Micheli(19), Mathias Soeken(18), Luca Amarù(10), Eleonora Testa(8), Alan Mishchenko(7), Pierre‐Emmanuel Gaillardon(4), Heinz Riener(4), Robert K. Brayton(2), Patrick Vuillod(2), Jiong Luo(2), Edo Collins(1), Benoît Séguin(1), Frédé́ric Kaplan(1), Sabine Süsstrunk(1), Marcel Walter(1), Robert Wille(1), Frank Sill Torres(1), Rolf Drechsler(1), Zhufei Chu(1), Yinshui Xia(1)