#! /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/shavitepkg.vhd
vcom-${VER}  -work $LIB ../sourcecode/gf4imapaffine_3.vhd
vcom-${VER}  -work $LIB ../sourcecode/gf4inv_3.vhd
vcom-${VER}  -work $LIB ../sourcecode/gf4map_3.vhd
vcom-${VER}  -work $LIB ../sourcecode/gf4mult_3.vhd
vcom-${VER}  -work $LIB ../sourcecode/gf4sqr_3.vhd
vcom-${VER}  -work $LIB ../sourcecode/subbytes.vhd

#vcom-${VER}  -work $LIB ../sourcecode/aes_lut.vhd
vcom-${VER}  -work $LIB ../sourcecode/aes.vhd

vcom-${VER}  -work $LIB ../sourcecode/c256.vhd
vcom-${VER}  -work $LIB ../sourcecode/expansion.vhd
vcom-${VER}  -work $LIB ../sourcecode/f3.vhd
vcom-${VER}  -work $LIB ../sourcecode/shavite.vhd

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

vmake-${VER}  rtl > Makefile

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