> I'm sure you'll work out a Spec2000 number for the A15 from the slides (hint:
> about 1000). That puts it [...] about the same as where the X1000 should be.

...at 2.0 GHz, which PA6T chips available on the market never really ran at. So it's only about 900 SPECint2000 for the 1.8 GHz PA6T.