Title: The Fusion of Hardware Design and Verification