A preemptive scheduling mechanism for accurate behavioral simulation of digital designs | IEEE Journals & Magazine | IEEE Xplore