37 citations · 104 across the 11 of their papers we have counts for
4 papers · 1 filter
Practical Boolean Decomposition for Delay-driven LUT Mapping
Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli +1
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware d…
Scalable Sequential Optimization Under Observability Don't Cares
Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto +3
Sequential logic synthesis can provide better Power-Performance-Area (PPA) than combinational logic synthesis since it explores a larger solution space. As the gate cost in advance…
The EPFL Logic Synthesis Libraries
Mathias Soeken, Heinz Riener, Winston Haaswijk +8
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design…
A Sound and Complete Axiomatization of Majority-n Logic
Luca Amaru, Pierre-Emmanuel Gaillardon, Anupam Chattopadhyay +1
Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators en…