湖南大学学报（自然科学版）2022，Vol.49Issue(6)：110-115,6.DOI:10.16339/j.cnki.hdxbzkb.2022284
基于精简指令集的内核验证参考模型设计
Design of Reference Model for Core's Verification Based on Reduced Instruction Set
摘要
关键词
内核验证/RISC-V/验证/System Verilog语言分类
信息技术与安全科学引用本文复制引用
王镇道,姚小姣..基于精简指令集的内核验证参考模型设计[J].湖南大学学报（自然科学版）,2022,49(6):110-115,6.基金项目
湖南省战略性新兴产业科技攻关与重大科技成果转化项目(2017GK4008) （2017GK4008）
