/* read the edif netlist */

read -f edif arb.edf

current_design = arb

link 

/* write the verilog netlist */
write -f verilog -o arb.vsyn -hier arb

quit