Zobrazeno 1 - 10
of 1 231
pro vyhledávání: '"de Micheli, Giovanni"'
Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware designs. However, available implementations of ACD suffer from excessiv
Externí odkaz:
http://arxiv.org/abs/2406.06241
Rapid single-flux quantum (RSFQ), a leading cryogenic superconductive electronics (SCE) technology, offers extremely low power dissipation and high speed. However, implementing RSFQ systems at VLSI complexity faces challenges, such as substantial are
Externí odkaz:
http://arxiv.org/abs/2403.05901
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 smaller power as compared to CMOS. In conventional SFQ systems, most
Externí odkaz:
http://arxiv.org/abs/2403.05884
Minimizing the use of CNOT gates in quantum state preparation is a crucial step in quantum compilation, as they introduce coupling constraints and more noise than single-qubit gates. Reducing the number of CNOT gates can lead to more efficient and ac
Externí odkaz:
http://arxiv.org/abs/2401.01009
Autor:
Marakkalage, Dewmini Sudara, Testa, Eleonora, Neto, Walter Lau, Mishchenko, Alan, De Micheli, Giovanni, Amarù, Luca
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 advanced technologies keeps rising, sequential logic synthesis provides a pow
Externí odkaz:
http://arxiv.org/abs/2311.09967
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 a large benchmark, the debugging process may be tedious and time-consu
Externí odkaz:
http://arxiv.org/abs/2207.13487
Publikováno v:
Physical Review A 106.022617(2022)
Loading classical data into quantum registers is one of the most important primitives of quantum computing. While the complexity of preparing a generic quantum state is exponential in the number of qubits, in many practical tasks the state to prepare
Externí odkaz:
http://arxiv.org/abs/2206.08588
The adiabatic quantum-flux parametron (AQFP) is a promising energy-efficient superconducting technology. Before technology mapping, additional buffer and splitter cells need to be inserted into AQFP circuits to fulfill two special constraints: (1) In
Externí odkaz:
http://arxiv.org/abs/2109.00291
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. The paper develops a Boolean resubstitution framework to demonstrate the effe
Externí odkaz:
http://arxiv.org/abs/2007.02579