Libraries Archives - IEEE Transactions on Quantum Engineering

A Grover-Meets-Simon Approach to Match Vector Boolean Functions

August 4, 2025Marco Venere; Alessandro Barenghi; Gerardo PelosiQuantum ComputingBenchmark testing, Boolean functions, Digital circuits, Integrated circuit interconnections, Libraries, Logic gates, Polynomials, Quantum algorithm, Time complexity, Vectors

Abstract: The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables. Its solution is a fundamental step in the electronic design automation (EDA) tool chains commonly used for digital circuit design. In fact, the library-mapping step of an […]

Cryogenic Embedded System to Support Quantum Computing: From 5-nm FinFET to Full Processor

Quantum computing can enable novel algorithms infeasible for classical computers. For example, new material synthesis and drug optimization could benefit if quantum computers offered more quantum bits (qubits). One obstacle for scaling up quantum computers is the connection between their cryogenic qubits at temperatures between a few millikelvin and a few kelvin (depending on qubit […]