%cat run.tcl project -load "proj_1.prj" project -run synthesis set_option -no_sequential_opt 1 %synplify_premier -help %synplify_premier -batch run.tcl