Steven P. Goldman Lisa M. Mohr David R. Smith Using microcode in the functional verification of an I/O chip. 581-588 2005 49 IBM Journal of Research and Development 4-5 http://dx.doi.org/10.1147/rd.494.0581 db/journals/ibmrd/ibmrd49.html#GoldmanMS05