A general technique for deterministic model-cycle-level debugging | IEEE Conference Publication | IEEE Xplore