A state reduction method for non-scan based FSM testing with don't care inputs identification technique | IEEE Conference Publication | IEEE Xplore