Hi David,
Based on your licensing you do have the armsptarmeabi feature, but I'm not sure it's the same one that is being requested. If so, you may be experiencing a more general licensing issue. It looks like you have a current support contract so I recommend you open a new Service Request on SupportNet.
https://supportnet.mentor.com/portal?do=servicerequests.open&lang=en
Cheers,
Andrew