Yongwen Wang, Libo Huang, Zhong Zheng. A Methodology for Performance Verification of Microprocessors. In Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu, editors, Computer Engineering and Technology - 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers. Volume 666 of Communications in Computer and Information Science, pages 24-31, Springer, 2016. [doi]