Trace Table Based Approach for Pipelined Microprocessor Verification (1997)

by J Sawada, W A Hunt
Venue:Proceedings of the 9th International Conference on Computer-Aided Verification (CAV 1997), volume 1254 of LNCS