Design of fully testable circuits by functional decomposition and implicit test pattern generation | IEEE Conference Publication | IEEE Xplore