Efficient implementation for accurate analysis of CED circuits against multiple faults | IEEE Conference Publication | IEEE Xplore