- 专利标题: 一种高效多核RISC-V处理器的Cache系统验证方法
- 专利标题(英): Cache system verification method of efficient multi-core RISC-V processor
-
申请号: CN201911042893.5申请日: 2019-10-30
-
公开(公告)号: CN110750957A公开(公告)日: 2020-02-04
- 发明人: 李丽 , 程开丰 , 傅玉祥 , 何书专
- 申请人: 南京宁麒智能计算芯片研究院有限公司
- 申请人地址: 江苏省南京市江宁区麒麟科技创新园智汇路300号B单元二楼
- 专利权人: 南京宁麒智能计算芯片研究院有限公司
- 当前专利权人: 南京宁麒智能计算芯片研究院有限公司
- 当前专利权人地址: 江苏省南京市江宁区麒麟科技创新园智汇路300号B单元二楼
- 代理机构: 江苏瑞途律师事务所
- 代理商 金龙
- 主分类号: G06F30/398
- IPC分类号: G06F30/398 ; G06F15/78
摘要:
本发明公开了一种多核RISC-V处理器的Cache系统验证方法,涉及仿真验证算法领域。针对现有技术中存在的多核RISC-V处理器中Cache系统仿真验证随机激励中存在的Cache验证难扩展、激励空间冗余和不均匀覆盖的问题,本发明提供了一种多核RISC-V处理器的Cache系统验证方法,本方法首先建立基于有向二分图的多核RISC-V处理器中Cache系统抽象模型;然后采用层次化等价类划分算法将原本无序的RISC-V处理器Cache激励空间转换成有序的4层树状空间;接着采用广度优先算法对激励空间树的叶子节点集进行遍历,得到包含高层次激励信息的无冗余全覆盖叶子节点序列;最后通过RISC-V核相关的riscv转换函数将每个叶子节点转换成RISC-V核的测试指令,本发明可以实现在保证验证覆盖率的基础上实现激励空间无冗余均匀覆盖。
公开/授权文献
- CN110750957B 一种高效多核RISC-V处理器的Cache系统验证方法 公开/授权日:2024-05-24