AV Verification Using Simulation