Text this: A Formal VLSI parallel description and design environment