Sequential redundancy removal using test generation and multiple strongly unreachable states
A procedure to remove redundancies in sequential circuits is proposed using strongly unreachable states, which are the states with no incoming transitions. Test generation is used to find undetectable faults related to two or more strongly unreachable states. Experimental results show the new procedure can find more redundancies of sequential circuits.
redundancy removal unreachable states sequential circuit undetectable faults synthesis for testability