if (model instanceof VerilogModel)
((SimulationModel)model).start("verilog", "marina.v", VerilogModel.DUMPVARS, !cmdArgs.jtagShift);
else if (model instanceof HsimModel)
((SimulationModel)model).start("hsim64", netListName, 0, !cmdArgs.jtagShift);
else
((SimulationModel)model).start("nanosim -c cfg", netListName, 0, !cmdArgs.jtagShift);
if (model instanceof VerilogModel)
((SimulationModel)model).start("verilog", "marina.v", VerilogModel.DUMPVARS, !cmdArgs.jtagShift);
else if (model instanceof HsimModel)
((SimulationModel)model).start("hsim64", netListName, 0, !cmdArgs.jtagShift);
else
((SimulationModel)model).start("nanosim -c cfg", netListName, 0, !cmdArgs.jtagShift);