Verification simulator changes