Undetectable fault removal of sequential circuits based on unreachable states | IEEE Conference Publication | IEEE Xplore