A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition

In this paper, we describe a new verification method to accelerate the input negation and/or input permutation and/or output negation (NPN) Boolean matching for a single-output completely specified Boolean function. Through research on the Boolean Shannon decomposition binary tree, we prove that the...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE access Ročník 10; s. 120369 - 120382
Hlavní autoři:	Zhang, Juling, Guo, Wenqiang, Yang, Guowu, Zhu, Yixin, Lv, Xiaoyi
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Algorithms Benchmarks Binary trees Boolean Boolean functions Boolean matching Circuits Cyberspace Decomposition Finance Impedance matching Independent variables Information theory Iterative methods Matching Nodes NPN equivalence Permutations Runtime Shannon decomposition binary tree Shannon expansion signature vector Transformations (mathematics) Verification
ISSN:	2169-3536, 2169-3536
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!