set outCnt = 1

foreach arch ("walkCfg" "walk1Cfg")
  set evopt = ("-preserve" "-performance" \
	"-performance -noipd -notcheck -vitalmsgoff -vitalxoff")
  foreach cvopt ("-nobuiltin -noopt -nortl -novitalaccl" "-avopt -performance" \
  "-avopt -performance -bounds -underover -notcheck -vitalmsgoff -vitalxoff")
    rm -rf work
    mkdir work

    echo cv -nocopyright -v93 $cvopt '<vhdFile>'		>> sv.time
    echo "------------------------------------------------"	>> sv.time
    echo -n running cv
    foreach vhd ("tlcWalk.vhd" "tlcWalk1.vhd" "tlcTst.vhd")
      echo -n $vhd": "						>>sv.time
      (time cv -nocopyright -v93 $cvopt $vhd)			>>& sv.time 
    end

    echo ev -nocopyright -v93 $evopt[1] $arch			>> sv.time
    echo "------------------------------------------------"	>> sv.time
    echo -n " - ev"
    (time ev -nocopyright -v93 $evopt[1] $arch)			>>& sv.time 

    echo sv -nocopyright -batch -input sv.scr -output tmpout $arch >> sv.time
    echo "------------------------------------------------"	>> sv.time
    echo -n " - sv"
    foreach run (1 2 3)
      echo -n " "$run
      (time sv -nocopyright -batch -input sv.scr -output tmpout $arch) \
								>>& sv.time
      mv tmpout tmpout.$outCnt
      @ outCnt++
    end
    echo ""							>> sv.time
    echo ""
    shift evopt
  end
end
unset evopt
unset outCnt
