Trace Table Based Approach for Pipeline Microprocessor Verification.

Jun Sawada, Warren A. Hunt Jr.

Browse the full CAV paper archive.