Text this: Formal methods for hardware verification :