ISSN 1000-1239 CN 11-1777/TP
基于SMT求解器的微处理器指令验证数据约束生成技术
谭坚, 罗巧玲, 王丽一, 胡夏晖, 范昊, 徐占
Data Constraint Generation Technology for Microprocessor Instruction Verification Based on SMT Solver
Tan Jian, Luo Qiaoling, Wang Liyi, Hu Xiahui, Fan Hao, Xu Zhan
计算机研究与发展 . 2020, (12): 2694 -2702 .  DOI: 10.7544/issn1000-1239.2020.20190718