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。