#! /bin/tcsh -f

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

# Example script for compiling RTL sourcecode

set VER=6.5a
set LIB=rtl


if (-e $LIB) then
  rm -rf $LIB 
endif

vlib-${VER} $LIB

# compile sourcecode
vcom-${VER}  -work $LIB ../sourcecode/controller_small.vhd
vcom-${VER}  -work $LIB ../sourcecode/permix_small.vhd
vcom-${VER}  -work $LIB ../sourcecode/subkey_small.vhd
vcom-${VER}  -work $LIB ../sourcecode/tweak_small.vhd
vcom-${VER}  -work $LIB ../sourcecode/skein_small.vhd

# testbench (note no -check_synthesis)
vcom-${VER}  -work $LIB ../sourcecode/simulstuff.vhd
vcom-${VER}  -work $LIB ../sourcecode/skeintbpkg.vhd
vcom-${VER}  -work $LIB ../sourcecode/skeintb.vhd


vmake-${VER}  rtl > Makefile

# use a command like 
#
#   vsim-${VER} -lib rtl aes_multi_tb
#
# to simulate