/* read the edif netlist */

read -f edif cs.edf

current_design = cs

link 

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

quit