Using microcode in the functional verification of an I/O chip. - Steven P. Goldman; Lisa M. Mohr; David R. Smith (IBM J. Res. Dev., 2005)