计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
18期
266-268
,共3页
功能验证%验证程序自动生成%约束满足问题%约束函数库%CSP模型
功能驗證%驗證程序自動生成%約束滿足問題%約束函數庫%CSP模型
공능험증%험증정서자동생성%약속만족문제%약속함수고%CSP모형
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库.以徼处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序.验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度.
針對偽隨機方法生成微處理器功能驗證程序缺乏完備性、靈活性的問題,構建一種用于生成驗證程序的C++約束函數庫.以徼處理器指令繫統為對象,以約束滿足問題的數學模型為理論依據,結閤用戶驗證需求,利用約束函數庫生成功能驗證程序.驗證結果錶明,該方法開髮驗證程序簡單、高效,加快瞭驗證收斂速度.
침대위수궤방법생성미처리기공능험증정서결핍완비성、령활성적문제,구건일충용우생성험증정서적C++약속함수고.이요처리기지령계통위대상,이약속만족문제적수학모형위이론의거,결합용호험증수구,이용약속함수고생성공능험증정서.험증결과표명,해방법개발험증정서간단、고효,가쾌료험증수렴속도.