Text this: Correct Hardware Design and Verification Methods