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
摘要: 针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。
关键词:
功能验证,
验证程序自动生成,
约束满足问题,
约束函数库,
CSP模型
CLC Number:
MA Zhu-Jing, ZHANG Jian-Xiong, WANG Yu-Yan. Functional Verification Program Generation for Microprocessor Based on Constraint Solving[J]. Computer Engineering, 2011, 37(18): 266-268.
马竹青, 章建雄, 王玉艳. 基于约束求解的微处理器功能验证程序生成[J]. 计算机工程, 2011, 37(18): 266-268.