Fix up core testbench for Verilator and DSIM

Hi @strichmo, this addresses issue #896 (closed) for Verilator and DSIM. I think it also addresses Xcelium, but my connection to the servers I use that support Xcelium are not available this morning.