|
|||||
|
|
| 基于精简指令集的内核验证参考模型设计 | |
| 引用本文： | 王镇道,姚小姣.基于精简指令集的内核验证参考模型设计[J].湖南大学学报(自然科学版),2022,49(6):110-115. |
| 作者姓名： | 王镇道 姚小姣 |
| 作者单位： | （湖南大学 物理与微电子科学学院，湖南 长沙 410082） |
| 摘 要： | 功能验证能在芯片设计前期快速、低成本发现缺陷，对于保证设计质量具有重要意义.针对内核模块验证中指令序列随机性差、测试用例编写繁琐和验证平台重用性差等问题，设计了一款8位精简指令集内核验证参考模型，通过对指令集单独建模、可配置化参数设计等方法满足了指令序列随机组合的验证需求和重用性，且结合自动化脚本的使用解决上述相关问题... |
| 关 键 词： | 内核验证 RISC-V 验证 System Verilog语言 |
| 点击此处可从《湖南大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《湖南大学学报(自然科学版)》下载免费的PDF全文 | |