A Redundancy Removal Method for Sequential Circuits Based on Unreachable States