Title: Formal Approach to Hardware Design