#!/bin/sh

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

# sample script to run gatelevel simulation with sdf timings  
#
# >>> Adapt it for your design !!! <<<  (see README.postlayout)
#

vsim-6.5a -t 1ps -lib gate \
          -L fsd0a_a_generic_core_verilog -L fod0a_b25_t25_generic_io_verilog \
          -sdftyp MutInst=../encounter/out/keccak_small.sdf.gz +sdf_verbose \
          -v2k_int_delays +no_glitch_msg\
          keccaktb

# use:
#
#   vsim-6.5a -help 
#
# to see available options

#         -do "run 6.869 ns; vcd file ../modelsim/vcd/keccak.vcd; vcd add -r /keccaktb/mutinst/*; run 49.498 ns; quit -f" \
#         -do "run 17.77 ns; vcd file ../modelsim/vcd/keccak_20G.vcd; vcd add -r /keccaktb/mutinst/*; run 104.248 ns; quit -f" \
#         -do "run 1473.355 ns; vcd file ../modelsim/vcd/keccak_small.vcd; vcd add -r /keccaktb/mutinst/*; run 10426.82 ns; quit -f" \