#! /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/blake32Pkg_small.vhd

# 1hG
#vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/controller_small.vhd
#vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/roundreg32_small.vhd
#vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/blake_small.vhd

#1G
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/controller_small2.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/roundreg32_small2.vhd
vcom-${VER}  -work $LIB -check_synthesis ../sourcecode/blake_small2.vhd

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


vmake-${VER}  rtl > Makefile

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