It's double pumped, sends signals on the beginning and trailing edge of the clock. So while it's physically running at 800MHz, it's equivalent to 1600MHz in operation. This is the principle behind all DDR memory.
400MHz PC3200 memory for instance actually runs at 200MHz