read_verilog ../../common/mux.v
proc
write_firrtl result.out