Text this: Reliable System Design for Sequential Circuits.