read_aiger -clk_name clk -module_name top ../aiger_ff4.aiger

synth -top top
write_verilog synth.v