I doubt their numbers are correct. They've fudged them in the past, giving area numbers for the smallest configuration, but performance number for a ridiculously large chip.