9 test_febe vlog1
"synth" ".v" "write_verilog" "read_verilog" "-ignore_div_by_zero" $n $f
10 test_febe vlog2
"synth -run coarse" ".v" "write_verilog" "read_verilog -icells" "-ignore_div_by_zero" $n $f
11 test_febe blif
"synth; splitnets -ports" ".blif" "write_blif" "read_blif" "-ignore_div_by_zero" $n $f