A super fast and memory efficient diagnostic simulation algorithm for combinational circuits | IEEE Conference Publication | IEEE Xplore