Yep, if you look at the Itanium Wikipedia article, it says 'Designed by: Intel, Hewlett-Packard'.