Text this: Formal specification and verification in VLSI design /