Title: Trustworthy Hardware Design