co-verificationofhardwareandsoftwareforarms