Hardware Design and Simulation for Verification