Symbolic analysis for fault detection in switch-level circuits | IEEE Conference Publication | IEEE Xplore