一种利用布尔差分与余因子签名的基于规范形的NPN布尔匹配算法
计算机科学中的逻辑
2017-11-10 v1
摘要
本文提出一种新的紧凑的基于规范形的算法来解决单输出完全指定NPN布尔匹配问题。我们提出一种新的签名向量——布尔差分与余因子（DC）签名向量。我们的算法利用布尔差分、余因子签名和对称性来搜索规范变换。与[1]中提出的算法相比，对称性和布尔差分的使用显著减少了搜索空间并加快了布尔匹配过程。我们在大量电路上测试了我们的算法。实验结果表明，在通用电路上测试时，与[1]相比，我们算法的平均运行时间高37%，而平均搜索空间小67%。
引用
@article{arxiv.1711.03269,
title = {A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature},
author = {Juling Zhang and Guowu Yang and William N. N. Hung and Jinzhao Wu},
journal= {arXiv preprint arXiv:1711.03269},
year = {2017}
}