Title: Hardware Specification, Verification and Synthesis