Text this: New algorithms for logic verification and sequential redundancy identification /