npn

NPN: Calcule los representantes canónicos para las funciones booleanas

Este paquete es una matcher booleana. Simplemente calcula el representante canónico, que es único para cada clase de equivalencia de NPN, para una función booleana dada representada por la tabla de verdad.

El backend de este paquete es implementado por C ++ para la eficiencia.

Actualmente, este paquete admite funciones booleanas con un número de entradas <= 8.

Instalar

pip install npn

Uso

 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 )

• Establezca el parámetro return_details en True para devolver la información de transformación NPN ( phase, perm, output_inv ). Por ejemplo, aquí phase = [False, False, True] , perm = [0, 1, 2] y output_inv = False medios (x_0, x_1, x_2) debe asignar (x_0, x_1, x_2) , entonces la tercera variable ( x_2 ) debe ser invertida y el resultado final no se debe invertir.
• Establezca el parámetro refinement en True para acelerar el cálculo mientras rompe el orden lexicográfico de las tablas de verdad. Consulte "Construir un mejor detector de simetría y combate booleano" para más detalles.

Construir

Compile la biblioteca compartida libnpn.dll npn libnpn.so

python setup.py sdist

Para subir a Pypi, ejecutar

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

Prueba

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

Referencias

1. Chai, D. y A. Kuehlmann. "Construir un mejor detector de simetría y combate booleano". En Actas de la Conferencia de Automatización y Prueba de Design en Europa, 1: 1–6, 2006. Https://doi.org/10.1109/date.2006.243959.
2. Debnath, D. y T. Sasao. "Cálculo eficiente de la forma canónica para la coincidencia booleana en grandes bibliotecas". En ASP-DAC 2004: Asia y South Pacific Design Automation Conference 2004 (IEEE Cat. No.04ex753), 591–96, 2004. Https://doi.org/10.1109/aspdac.2004.1337660.
3. Hinsberger, U. y R. Kolla. "Matrícula booleana para grandes bibliotecas". En los procedimientos 1998 Conferencia de diseño y automatización. 35º DAC. (Cat. No.98ch36175), 206–11, 1998. Https://doi.org/10.1145/277044.277100.