Text this: Formal hardware verification :