Issue No. 02 - March/April (2004 vol. 21)
Carl Scafidi , Intel
J. Douglas Gibson , Hewlett-Packard
Rohit Bhatia , Hewlett-Packard
As modern microprocessor designs become increasingly complex, certain units often receive less coverage than others during full-chip functional verification. A stable RTL model does not necessarily indicate that all units are equally stable. The authors illustrate the need for unit-level functional verification and present an effective methodology for verifying the XPN unit in the Itanium 2 microprocessor.
J. D. Gibson, C. Scafidi and R. Bhatia, "Validating the Itanium 2 Exception Control Unit: A Unit-Level Approach," in IEEE Design & Test of Computers, vol. 21, no. , pp. 94-101, 2004.