/* read the edif netlist */

read -f edif tc.edf

current_design = tc

link 

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

quit