ModelSim simulates behavioral, RTL and gate-level code, delivering increased design quality and debug productivity