/* read the edif netlist */

read -f edif tst.edf

current_design = tst

link 

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

quit