计算机工程2012，Vol.38Issue(13)：221-223,3.DOI:10.3969/j.issn.1000-3428.2012.13.066
基于覆盖率的微处理器运算单元验证技术
Arithmetic Unit Verification Technology of Microprocessor Based on Coverage Rate
摘要
Abstract
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, lakes the quantitative analysis of the functional coverage as the kernel module, and uses the randomly generating method aad 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.关键词
功能验证/运算单元/约束求解/随机生成/覆盖率/SystemVerilog语言Key words
functional verification/ arithmetic unit/ constraint solving/ random generation/ coverage rate/ System Verilog language分类
信息技术与安全科学引用本文复制引用
李智广,章建雄,王玉艳..基于覆盖率的微处理器运算单元验证技术[J].计算机工程,2012,38(13):221-223,3.基金项目
上海市自然科学基金资助项目“嵌入式CPU”(B17AI060-07139) （B17AI060-07139）
