npn

NPN: вычислить канонические представители для логических функций

Этот пакет - логический маттер. Он просто вычисляет канонического представителя, который является уникальным для каждого класса эквивалентности NPN, для данной логической функции, представленной таблицей истинности.

Бэкэнд этого пакета реализован C ++ для эффективности.

В настоящее время этот пакет поддерживает логические функции с количеством входов <= 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 mence (x_0, x_1, x_2) следует сопоставить с (x_0, x_1, x_2) , затем третья переменная ( x_2 ) должна быть инвертирована, и конечный результат не должен быть перевернут.
• Установите параметр refinement в True , чтобы ускорить вычисления, разбивая лексикографический порядок таблиц истины. Для получения подробной информации см. «Построение лучшего логического маттера и симметрического детектора».

Строить

Скомпилируйте общую библиотеку libnpn.dll и libnpn.so через Cmake в среде Windows и Linux, поместите их в папку 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. Дебнат, Д. и Т. Сасао. «Эффективное вычисление канонической формы для логического сопоставления в крупных библиотеках». В ASP-DAC 2004: Конференция по автоматизации дизайна Азии и Южной Тихоокеанской Тихоокеанской партии 2004 (IEEE Cat. № 04EX753), 591–96, 2004. https://doi.org/10.1109/aspdac.2004.1337660.
3. Хинсбергер У. и Р. Колла. «Логическое соответствие для больших библиотек». В процессе конференции по проектированию и автоматизации 1998 года. 35th DAC. (Cat. № 98CH36175), 206–11, 1998. https://doi.org/10.1145/277044.277100.