Search Results for author:
Found 4 papers, 3 papers with code
Simulation-Guided Boolean Resubstitution
This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs.
Logic in Computer Science
QubitHD: A Stochastic Acceleration Method for HD Computing-Based Machine Learning
It is a promising solution for achieving high energy efficiency in different machine learning tasks, such as classification, semi-supervised learning, and clustering.
The EPFL Logic Synthesis Libraries
We present a collection of modular open source C++ libraries for the development of logic synthesis applications.
Logic in Computer Science Mathematical Software
Developing Synthesis Flows Without Human Knowledge
Design flows are the explicit combinations of design transformations, primarily involved in synthesis, placement and routing processes, to accomplish the design of Integrated Circuits (ICs) and System-on-Chip (SoC).
