Fault detection and diagnosis of k-UCP circuits under totally observable condition | IEEE Conference Publication | IEEE Xplore