Using microcode in the functional verification of an I/O chip.

Steven P. Goldman Lisa M. Mohr David R. Smith

Published in: IBM J. Res. Dev. (2005)

Keyphrases

functional verification
formal verification
input output
hardware software
real time
information systems
software engineering
high speed
model checking
power consumption
main memory
hardware and software
low latency