Hardware Specification, Verification and Synthesis