ARP4754A Verification Technique