Verification of Accelerators in System Context