Test Pattern Generation to Detect Single Stuck-at Faults for Combinational Circuits Using ZBDD | IEEE Conference Publication | IEEE Xplore