Goldman, et al.. Using Microcode in the Functional Verification of an I/O Chip. no. 4.5, IBM, 2005, doi:10.1147/rd.494.0581.