#! /bin/tcsh -f

############################################################
## Copyright: 2011 Integrated Sytems Laboratory, ETH Zurich
##            http://www.iis.ee.ethz.ch/~sha3
############################################################

set VER=10.0b
set LIB=gate
set DIR="../encounter/out"


vsim-$VER  -t 1ps -lib $LIB \
          -voptargs="+acc=mnp" \
          -L uk65lscllmvbbr_vlog \
          -L uk65lscllmvbbh_vlog \
          -L uk65lscllmvbbl_vlog \
          -L u065gioll25mvir_vlog \
          -L fse0k_a_memaker_verilog \
          -sdftyp DUT=${DIR}/shabziger.sdf.gz +sdf_verbose \
          -v2k_int_delays +no_glitch_msg \
#          -do "post_gen_list.do" \
          shabziger_chip_tb