Simulation and Verification