Text this: Formal verification of circuits /