计算机工程 ›› 2011, Vol. 37 ›› Issue (18): 266-268.doi: 10.3969/j.issn.1000-3428.2011.18.089

• 开发研究与设计技术 • 上一篇    下一篇

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

马竹青,章建雄,王玉艳   

  1. (中国电子科技集团公司第三十二研究所,上海 200233)
  • 收稿日期:2011-02-21 出版日期:2011-09-20 发布日期:2011-09-20
  • 作者简介:马竹青(1985-),女,硕士研究生,主研方向:数字系统设计,计算机系统结构;章建雄,研究员;王玉艳,高级工程师

Functional Verification Program Generation for Microprocessor Based on Constraint Solving

MA Zhu-qing, ZHANG Jian-xiong, WANG Yu-yan   

  1. (The 32nd Research Institute of China Electronics Technology Group Corporation, Shanghai 200233, China)
  • Received:2011-02-21 Online:2011-09-20 Published:2011-09-20

摘要: 针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。

关键词: 功能验证, 验证程序自动生成, 约束满足问题, 约束函数库, CSP模型

Abstract: Comparing with existed pseudo-random instruction generation method which is not sufficient and flexible for microprocessor, this paper presents a method that generates instructions oriented to general microprocessor by using constraint solving and building constraint library using C++ program language. This method is applied on the embedded microprocessor to illustrate the usefulness of the approach.

Key words: functional verification, automatic verification program generation, Constraint Satisfaction Problem(CSP), constraint-based library, CSP model

中图分类号: