Accelerating diagnostic fault simulation using z-diagnosis and concurrent equivalence identification | IEEE Conference Publication | IEEE Xplore