#! /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 -check_synthesis ../sourcecode/cubepkg.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/controller.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/cubehash.vhd

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


vmake-${VER}  rtl > Makefile

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