Text this: Hardware specification, verification, and synthesis :