research
∙
07/17/2022
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Correctness and robustness are essential for logic synthesis application...
share
research
∙
06/17/2022
Efficient Deterministic Preparation of Quantum States Using Decision Diagrams
Loading classical data into quantum registers is one of the most importa...
research
∙
09/01/2021
Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits
The adiabatic quantum-flux parametron (AQFP) is a promising energy-effic...
research
∙
07/06/2020
Simulation-Guided Boolean Resubstitution
This paper proposes a new logic optimization paradigm based on circuit s...
research
∙
05/01/2020
ROS: Resource-constrained Oracle Synthesis for Quantum Computers
We present a completely automatic synthesis framework for oracle functio...
research
∙
11/27/2019
QubitHD: A Stochastic Acceleration Method for HD Computing-Based Machine Learning
Machine Learning algorithms based on Brain-inspired Hyperdimensional (HD...
research
∙
07/29/2018
Exact Synthesis of ESOP Forms
We present an exact synthesis approach for computing Exclusive-or Sum-of...
research
∙
05/14/2018
The EPFL Logic Synthesis Libraries
We present a collection of modular open source C++ libraries for the dev...
research
∙
04/16/2018