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

Functional Verification Program Generation for Microprocessor Based on Constraint Solving

作　　者：马竹青[1] 章建雄[1] 王玉艳[1] 

机构地区：[1]中国电子科技集团公司第三十二研究所,上海200233

出　　处：《计算机工程》2011年第18期266-268,共3页Computer Engineering

摘　　要：针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的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.

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构]