Miroslav N. Velev. Efficient formal verification of pipelined processors with instruction queues. In David Garrett, John Lach, Charles A. Zukowski, editors, Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004. pages 92-95, ACM, 2004. [doi]
Abstract is missing.