典型文献
基于精简指令集的内核验证参考模型设计
文献摘要：
功能验证能在芯片设计前期快速、低成本发现缺陷,对于保证设计质量具有重要意义.针对内核模块验证中指令序列随机性差、测试用例编写繁琐和验证平台重用性差等问题,设计了一款8位精简指令集内核验证参考模型,通过对指令集单独建模、可配置化参数设计等方法满足了指令序列随机组合的验证需求和重用性,且结合自动化脚本的使用解决上述相关问题.将参考模型搭载UVM平台对一款RISC架构的8位MCU内核进行验证.验证结果表明:集成了所设计参考模型的UVM平台具有很好的鲁棒性和重用性,缺陷数量收敛快,验证周期更短,内核模块的代码和功能覆盖率均达到100％.
文献关键词：
内核验证;RISC-V;验证;System Verilog语言
中图分类号：
作者姓名：
王镇道;姚小姣
作者机构：
湖南大学物理与微电子科学学院,湖南长沙410082
文献出处：
引用格式：
[1]王镇道;姚小姣-.基于精简指令集的内核验证参考模型设计)[J].湖南大学学报（自然科学版）,2022(06):110-115
A类：
内核验证,内核模块
B类：
精简指令,指令集,参考模型,模型设计,功能验证,芯片设计,设计质量,随机性,测试用例,验证平台,重用性,可配置,配置化,参数设计,随机组合,验证需求,脚本,搭载,UVM,RISC,MCU,验证周期,代码,System,Verilog
AB值：
0.34665
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
