Model vs. Qualcomm processors

This note presents experiments on Qualcomm ARM processors:

APQ8060

A development card, donated by QualComm, whose system on chip is a dual-core APQ8060, running Android 2.3.5.

APQ8064

A Google nexus7 tablet, whose system on chip is a quad-core APQ8064, running Android 4.3.

• Some typical tests
• Checking Model against Qualcomm processors
  • Invalid behaviours
    • Qualcomm processors
    • APQ8060
    • APQ8064
  • Invalid behaviours, relaxed model
    • APQ8060
    • APQ8064
  • Unseen behaviours
• Specific behaviours
  • Specific behaviours, Qualcomm
  • Specific behaviours, APQ8060
  • Specific behaviours, APQ8064

This document was translated from L^AT_EX by H^EV^EA.