A Concurrent Testing Scheme for Muller Circuits Using Reduced Ordered Binary Decision Diagram | IEEE Conference Publication | IEEE Xplore