Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi. Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. In Proceedings of the 1999 Conference on Asia South Pacific Design Automation, January 18-21, 1999, Wanchai, Hong Kong. pages 177-180, IEEE, 1999. [doi]
Abstract is missing.