The Need For Formal Verification In Hardware Design And What Formal Verification Has Not Done For Me Lately | IEEE Conference Publication | IEEE Xplore