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

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...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on quantum engineering Vol. 6; pp. 1 - 14
Main Authors:	Venere, Marco, Barenghi, Alessandro, Pelosi, Gerardo
Format:	Journal Article
Language:	English
Published:	New York IEEE 2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Benchmark testing Boolean Boolean functions Circuit design Codes Digital circuits Digital electronics Electronic design automation Electronic design automation (EDA) Equivalence Integrated circuit interconnections Libraries Logic gates Matching negation–permutation–negation equivalence (NPN-equivalence) Permutations Polynomials Quantum algorithm quantum-aided Boolean matching Time complexity Vectors
ISSN:	2689-1808, 2689-1808
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!