npn

NPN: Kanonische Vertreter für boolesche Funktionen berechnen

Dieses Paket ist ein Boolean -Match. Es berechnet lediglich den kanonischen Vertreter, der für jede NPN -Äquivalenzklasse eindeutig ist, für eine bestimmte boolesche Funktion, die durch Wahrheitstabelle dargestellt wird.

Das Backend dieses Pakets wird durch C ++ zur Effizienz implementiert.

Derzeit unterstützt dieses Paket die Booleschen Funktionen mit Anzahl der Eingänge <= 8.

Installieren

pip install npn

Verwendung

 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 )

• Setzen Sie den Parameter return_details auf True , um die NPN -Transformationsinformationen ( phase, perm, output_inv ) zurückzugeben. Zum Beispiel sollte phase = [False, False, True] , perm = [0, 1, 2] und output_inv = False Means (x_0, x_1, x_2) auf (x_0, x_1, x_2) abgebildet werden, dann sollte die dritte Variable ( x_2 ) invertiert werden, und das Endergebnis sollte nicht invertiert sein.
• Setzen Sie refinement auf True , um die Berechnung zu beschleunigen und gleichzeitig die lexikografische Reihenfolge der Wahrheitstabellen zu brechen. Weitere Informationen finden Sie unter "Erstellen eines besseren Booleschen Maters und Symmetriedetektors".

Bauen

Kompilieren Sie die gemeinsame Bibliothek libnpn.dll und libnpn.so über CMake unter Windows and Linux -Umgebung, platzieren Sie sie dann in den npn -Ordner

python setup.py sdist

Zum Hochladen auf PYPI laufen lassen

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

Prüfen

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

Referenzen

1. Chai, D. und A. Kuehlmann. "Aufbau eines besseren Booleschen Matchers und Symmetrie -Detektors." In Proceedings of the Design Automation & Test in Europa Conference, 1: 1–6, 2006. https://doi.org/10.1109/date.2006.243959.
2. Debnath, D. und T. Sasao. "Effiziente Berechnung der kanonischen Form für Boolesche Matching in großen Bibliotheken." In ASP-DAC 2004: Konferenz der Asien- und South Pacific Design Automation 2004 (IEEE CAT. Nr. 04EX753), 591–96, 2004. Https://doi.org/10.1109/aspdac.2004.1337660.
3. Hinsberger, U. und R. Kolla. "Boolesche Matching für große Bibliotheken." In Proceedings 1998 Design- und Automatisierungskonferenz. 35. DAC. (Kat. Nr. 98CH36175), 206–11, 1998. Https://doi.org/10.1145/277044.277100.