Carl Scafidi, J. Douglas Gibson, Rohit Bhatia. Validating the Itanium 2 Exception Control Unit: A Unit-Level Approach. IEEE Design & Test of Computers, 21(2):94-101, 2004. [doi]
@article{ScafidiGB04,
title = {Validating the Itanium 2 Exception Control Unit: A Unit-Level Approach},
author = {Carl Scafidi and J. Douglas Gibson and Rohit Bhatia},
year = {2004},
url = {http://csdl.computer.org/comp/mags/dt/2004/02/d2094abs.htm},
tags = {exceptions, systematic-approach},
researchr = {https://researchr.org/publication/ScafidiGB04},
cites = {0},
citedby = {0},
journal = {IEEE Design & Test of Computers},
volume = {21},
number = {2},
pages = {94-101},
}