/* read the edif netlist */

read -f edif tm.edf

current_design = tm

link 

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

quit