Verification of Pipelined Microprocessors by Correspondence Checking (1998)

by M N Velev, R E Bryant
Venue:in Symbolic Ternary Simulation,” 2 International Conference on Application of Concurrency to System Design (CSD‘98), IEEE Computer Society