#! /bin/tcsh -f

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

# example file to compile GATE-LEVEL sourcecode


set VER=6.5a
set LIB=gate


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

vlib-${VER} ${LIB}

# gate-level netlist
vlog-${VER} -work ${LIB} ../encounter/out/keccak_small.v

# testbench
vcom-${VER}  -work ${LIB} ../sourcecode/simulstuff.vhd
vcom-${VER}  -work ${LIB} ../sourcecode/keccakpkg.vhd
vcom-${VER}  -work ${LIB} ../sourcecode/keccaktbpkg.vhd
vcom-${VER}  -work ${LIB} ../sourcecode/keccaktb.vhd


# run with the sim_postlayout.sh script