Sequential redundancy removal using test generation and multiple unreachable states | IEEE Conference Publication | IEEE Xplore