ASIC Engineer, Design Verification