[发明专利]一种基于RISC-V架构的CSR读写属性的验证方法在审
申请号: | 202310699016.5 | 申请日: | 2023-06-13 |
公开(公告)号: | CN116796696A | 公开(公告)日: | 2023-09-22 |
发明(设计)人: | 陈永康 | 申请(专利权)人: | 太初(无锡)电子科技有限公司 |
主分类号: | G06F30/398 | 分类号: | G06F30/398;G06F15/177 |
代理公司: | 无锡华源专利商标事务所(普通合伙) 32228 | 代理人: | 孙建 |
地址: | 214000 江苏省无锡市滨*** | 国省代码: | 江苏;32 |
权利要求书: | 暂无信息 | 说明书: | 暂无信息 |
摘要: | 本发明公开了一种基于RISC‑V架构的CSR读写属性的验证方法,涉及处理器验证技术领域,该方法包括:获取待测CSR列表;对于列表中的每个CSR,生成与CSR所属特权模式相对应的测试文件头部代码;生成测试指令和校验指令,测试指令中包含了随机生成的CSR写入值和CSR操作指令,校验指令中包含了预测值加载指令、CSR读指令和条件分支指令;生成测试文件尾部代码,从而得到CSR测试文件;基于测试文件对被测模型开展随机测试,基于校验指令确定随机测试结果。该方法可以自动生成带自校验的测试文件,使对CSR的读写验证不依赖于参考模型,可使用同一测试文件同时验证参考模型和DUT。 | ||
搜索关键词: | 一种 基于 risc 架构 csr 读写 属性 验证 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于太初(无锡)电子科技有限公司,未经太初(无锡)电子科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202310699016.5/,转载请声明来源钻瓜专利网。