Algorithmic Aspects of MOS VLSI Switch-Level Simulation with Race Detection | IEEE Journals & Magazine | IEEE Xplore