setenv SNPSLMD_LICENSE_FILE 27000@ielsrv01.epfl.ch

setenv VCS_HOME /softs/synopsys/vcs-mx/N-2017.12-SP2-1

set path= ( $path $VCS_HOME/bin )

vlogan -full64 /home/banik/clean/l1.v

vlogan -full64 /home/banik/clean/l2.v


vlogan -full64 aes128-syn.v

vhdlan -full64 ./HDL/TBENCH/forkv1_tb.vhdl

vcs -full64 -debug -sdf typ:aes_tb/mut:aes128-syn.sdf aes_tb +neg_tchk +sdfverbose

./simv -ucli -include saif.cmd  

dve -full64 -toolexe simv &