set outCnt = 1
set csxDir = /local/tech1.1/ams/v3.30/artist/HK_0.35/veritools

foreach xlopt ("-q" "-q +notimingchecks +turbo+3 +twin_turbo")
  rm -rf work
  mkdir work
  echo verilog tstClock.v dcfClockS.v -v \$csxDir/HRDLIB.v \\	>> verilog.time
  echo "        "-v \$csxDir/udp.v -l tmpout               \\	>> verilog.time
  echo "        "$xlopt						>> verilog.time
  echo "------------------------------------------------"	>> verilog.time
  echo -n running verilog
  foreach run (1 2)
    echo -n " "$run
    (time verilog tstClock.v dcfClockS.v -v ${csxDir}/HRDLIB.v 	\
	-v ${csxDir}/udp.v -l tmpout $xlopt)			>>&verilog.time
    mv tmpout tmpout.$outCnt
    @ outCnt++
  end
  echo ""							>> verilog.time
  echo ""
end
unset csxDir
unset outCnt
