Validating the Itanium 2 Exception Control Unit: A Unit-Level Approach. - Carl Scafidi; J. Douglas Gibson; Rohit Bhatia (IEEE Des. Test Comput., 2004)