read_aiger -clk_name clk -module_name top ../aiger.aiger
synth -top top
write_verilog synth.v