10.3969/j.issn.1000-3428.2011.18.089
基于约束求解的微处理器功能验证程序生成
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库.以徼处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序.验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度.
功能验证、验证程序自动生成、约束满足问题、约束函数库、CSP模型
37
TP302(计算技术、计算机技术)
2012-01-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
266-268