基于约束求解的微处理器功能验证程序生成

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

马竹青, 章建雄, 王玉艳

Functional Verification Program Generation for Microprocessor Based on Constraint Solving

MA Zhu-Jing, ZHANG Jian-Xiong, WANG Yu-Yan

计算机工程 . 2011, (18): 266 -268 . DOI: 10.3969/j.issn.1000-3428.2011.18.089