Efficient implication-based untestable bridge fault identifier | IEEE Conference Publication | IEEE Xplore