Инструкция Yosys "sat -dump_cnf "

У меня есть пример комбинаторного цирка в Verilog, где я могу следовать инструкции, чтобы сделать логический синтез и сгенерировать файл blif.

Однако мне нужно создать формулу CNF из схемы. Инструменты, такие как ABC, позволяют генерировать только из комбинаторной митры (т.е. с 1 выходом).

Я попробовал инструкцию yosys "sat -dump_cnf FILE", и действительно я могу создать файл CNF. Тем не менее, я не уверен, как отобразить переменные в CNF с I/O в цепи.