Title: Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits