Text this: Sequential logic testing and verification /