Text this: Formal verification of hardware design /