16 citations · 19 across the 7 of their papers we have counts for
7 papers
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…
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits
Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli
Rapid single-flux quantum (RSFQ), a leading cryogenic superconductive electronics (SCE) technology, offers extremely low power dissipation and high speed. However, implementing RSF…
Towards Multiphase Clocking in Single-Flux Quantum Systems
Rassul Bairamkulov, Giovanni De Micheli
Rapid single-flux quantum (RSFQ) is one of the most advanced superconductive electronics technologies. SFQ systems operate at tens of gigahertz with up to three orders of magnitude…
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…
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Siang-Yun Lee, Heinz Riener, Giovanni De Micheli
Correctness and robustness are essential for logic synthesis applications, but they are often only tested with a limited set of benchmarks. Moreover, when the application fails on…
Logic Synthesis for Quantum Computing
Mathias Soeken, Martin Roetteler, Nathan Wiebe +1
We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on LUT networks (lookup-table networks), which…