Convert Verilog to aiger format using yosys Verilog to aiger then aiger to verilog: ./aiger.sh Reference How to convert Verilog to btor2 or aiger format convert verilog to aiger with Yosys