基于覆盖率的微处理器运算单元验证技术  

Arithmetic Unit Verification Technology of Microprocessor Based on Coverage Rate

作　　者：李智广[1] 章建雄[1] 王玉艳[1] 

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

出　　处：《计算机工程》2012年第13期221-223,共3页Computer Engineering

基　　金：上海市自然科学基金资助项目"嵌入式CPU"(B17AI060-07139)

摘　　要：根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。According to the verification method based on coverage and the feature of arithmetic unit of microprocessor, this paper designs a Self-checking Automatic Test program Generator（SATG）. SATG adopts a kind of ＂closed cycle＂ structure, takes the quantitative analysis of the functional coverage as the kernel module, and uses the randomly generating method and the constraint solving method, generating verification programs automatically. Experimental results show that the method can improve the efficiency and coverage of verification and enhance the reusability of verification platform.

关 键 词：功能验证 运算单元 约束求解 随机生成 覆盖率 SYSTEM VERILOG语言 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]