Miroslav N. Velev, Randal E. Bryant. Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation. In 1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan. pages 200-212, IEEE Computer Society, 1998. [doi]
Abstract is missing.