Dan, Re: The curious thing is that, as an in-order processor, I would have thought that Itanium would have been more straightforward to test.
It doesn't work that way, Dan. It's an entirely new architecture. Verification of CPUs with hundreds of millions of transistors creates for all practical purposes, an infinite validation space. Elmer wrote a nice post on the subject, so I won't bother repeating it.