Title: Correct Hardware Design Methodologies