#!/bin/csh -f

#set prot = io_ports
#set prog = la_test2
set prog = marmot_test1

set sim = RTL
#set sim = GL
#set sim = GL_SDF

if ($sim == RTL) then
  set target = verify-${prog}-rtl
else if ($sim == GL) then
  set target = verify-${prog}-gl
else if ($sim == GL_SDF) then
  set target = verify-${prog}-gl-sdf
endif

make SIM=$sim $target |& egrep -v '\[0\] pc=' | spike-dasm | tee sim.log