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

摘要

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