Verifying ARM processors against the official ARM specification