Text this: Formal VLSI specification and synthesis :