BLIF-ввод для вывода графика (как текстового, так и графического)

Question

Я только недавно начал с CUDD.

У меня есть схема в формате BLIF, и я хочу ввести ее в CUDD, с которой я понимаю, что она даст мне BDD, и я хочу ZDD тоже.

Я прочитал файл readme, но, судя по всему, вообще не могу найти, как с этим работать.

Может кто-нибудь подсказать, пожалуйста, как вводить Блиф, чтобы CUDD подробно? (какую команду и где написать команду)

Извините, если это слишком базово c.

Answer 1

Хотя в CUDD есть функция для записи BDD в виде файла Blif на диск (см. Здесь, функция Cudd_DumpBlif), в библиотеке нет функции для чтения файла Blif с диска.

Это означает, что что вам нужно будет реализовать это самостоятельно, если вам это нужно, или использовать аналогичные функции из другого кода. Обратите внимание, что делать это хорошо с BDD нетривиально, если ваша схема не очень мала. Фреймворк AB C для работы со схемами имеет модуль с более чем 1000 строками для чтения файлов Blif.

Другой возможностью будет использование фреймворка AB C для преобразования файла BLIF во что-то, что легче читать. Например, вы можете загрузить файл BLIF и затем записать его в форме CNF (см. Команду write_cnf здесь). Это будет работать только для очень маленьких цепей. Существует причина, по которой в области аппаратного обеспечения чаще используются AIG (и -инверторные графики).