ISSN 1000-1239 CN 11-1777/TP
Data Constraint Generation Technology for Microprocessor Instruction Verification Based on SMT Solver
Tan Jian, Luo Qiaoling, Wang Liyi, Hu Xiahui, Fan Hao, Xu Zhan
Journal of Computer Research and Development . 2020, (12): 2694 -2702 .  DOI: 10.7544/issn1000-1239.2020.20190718