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

foreach vcsopt ("" "+rad+2 +delay_mode_zero +nospecify" "+rad+2 +delay_mode_zero +nospecify +notimingcheck +no_notifier +no_tchk_msg")
  echo vcs -q -k off -v \$csxDir/HRDLIB.v -v \$csxDir/udp.v \\	>> vcs.time
  echo "    "$vcsopt tstClock.v dcfClockS.v			>> vcs.time
  echo "------------------------------------------------"	>> vcs.time
  echo -n running vcs
  (time vcs -q -k off -v ${csxDir}/HRDLIB.v -v ${csxDir}/udp.v	\
	$vcsopt tstClock.v dcfClockS.v)				>>&vcs.time

  echo simv -q							>> vcs.time
  echo "------------------------------------------------"	>> vcs.time
  echo -n " - simv"
  foreach run (1 2)
    echo -n " "$run
    (time simv -q -l tmpout)					>>&vcs.time
    mv tmpout tmpout.$outCnt
    @ outCnt++
  end
  echo ""							>> vcs.time
  echo ""
# rm -rf simv* csrc
  rm -rf simv*
end

unset csxDir
unset outCnt
