#!/bin/sh -e
# This file is automatically generated by VCS.  Any changes you make
# to it will be overwritten the next time VCS is run.
vcs '-sverilog' '-full64' '-f' '../flist' '+lint=TFIPC-L' '-P' '/opt/Synopsys/Verdi2015/share/PLI/VCS/LINUX64/novas.tab' '/opt/Synopsys/Verdi2015/share/PLI/VCS/LINUX64/pli.a' '-l' 'run.log' '+v2k' '-debug_all' '+notimingcheck' '-lca' '+define+COREMARK_TB' 2>&1
