Algorithms for fast, memory efficient switch-level fault simulation | IEEE Conference Publication | IEEE Xplore