Trace Table Based Approach for Pipeline Microprocessor Verification.

Jun Sawada Warren A. Hunt Jr. Trace Table Based Approach for Pipeline Microprocessor Verification. 364-375 1997 conf/cav/1997 CAV db/conf/cav/cav97.html#SawadaH97 http://dx.doi.org/10.1007/3-540-63166-6_36