Title: A Formal Approach to Hardware Design