npn

NPN：布尔功能的计算规范代表

这个包是布尔匹配项。它简单地计算出每个NPN等效类别的规范代表，对于由真实表表示的给定布尔函数。

该软件包的后端由C ++实现，以提高效率。

当前，此软件包支持Boolean功能，其中输入数量<= 8。

安装

pip install npn

用法

 import npn

# the truth table of f(x_2, x_1, x_0) as [f(0, 0, 0), f(0, 0, 1), f(0, 1, 0), f(0, 1, 1), ...]
tt = [ True , True , True , False , True , True , True , True ]
c = npn . npn_canonical_representative ( tt )    # [True, True, True, True, True, True, True, False]
c_int = npn . tt_to_int ( c )                    # 254 (11111110)
c , phase , perm , output_inv = npn . npn_canonical_representative ( tt , return_details = True , refinement = True )

• 将return_details参数设置为True ，以返回NPN变换信息（ phase, perm, output_inv ）。例如，这里的phase = [False, False, True] ， perm = [0, 1, 2]和output_inv = False均值(x_0, x_1, x_2)应映射到(x_0, x_1, x_2) ，然后应倒入第三个变量（ x_2 ），不应倒入最终结果。
• 将refinement参数设置为True加速计算，同时打破真相表的词典词法顺序。有关详细信息，请参见“构建更好的布尔匹配器和对称探测器”。

建造

编译共享库libnpn.dll和libnpn.so通过Windows和Linux环境上的cmake，将它们放在npn文件夹中，然后将其放在

python setup.py sdist

要上传到PYPI，请运行

twine upload . d ist n pn-X.X.tar.gz

测试

pip install pytest  # if you haven't install it
python -m pytest

参考

1. Chai，D。和A. Kuehlmann。 “建立更好的布尔匹配器和对称探测器。”在欧洲大会的设计自动化与测试会议录中，1：1-6，2006。https：//doi.org/10.1109/date.2006.243959。
2. Debnath，D。和T. Sasao。 “大型文库中布尔匹配的规范形式的有效计算。”在ASP-DAC 2004中：2004年亚洲和南太平洋设计自动化会议（IEEECAT。No.04EX753），591–96，2004。https：//doi.org/10.1109/aspdac.2004.1337660。
3. U. Hinsberger和R. Kolla。 “布尔值与大型图书馆进行匹配。”在1998年会议卷中设计和自动化会议。第35 DAC。 （CAT。No.98CH36175），206–11，1998。https：//doi.org/10.1145/277044.277100。