（19）中华人民共和国国家知识产权局
（12）发明专利申请
（21）申请号 CN201911042893.5 （22）申请日 2019.10.30
（71）申请人 南京宁麒智能计算芯片研究院有限公司
地址 210000 江苏省南京市江宁区麒麟科技创新园智汇路300号B单元二楼
（10）申请公布号 CN110750957A
（43）申请公布日 2020.02.04
（72）发明人 李丽;程开丰;傅玉祥;何书专 （74）专利代理机构 江苏瑞途律师事务所
代理人 金龙
（51）Int.CI
权利要求说明书 说明书 幅图
（54）发明名称
一种高效多核RISC-V处理器的Cache系统验证方法
（57）摘要
本发明公开了一种多核RISC?V处理器的
Cache系统验证方法，涉及仿真验证算法领域。针对现有技术中存在的多核RISC?V处理器中Cache系统仿真验证随机激励中存在的Cache验证难扩展、激励空间冗余和不均匀覆盖的问题，本发明提供了一种多核RISC?V处理器的Cache系统验证方法，本方法首先建立基于有向二分图的多核RISC?V处理器中Cache系统抽象模型；然后采用层次化等价类划分算法将原本无序的RISC?V
处理器Cache激励空间转换成有序的4层树状空间；接着采用广度优先算法对激励空间树的叶子节点集进行遍历，得到包含高层次激励信息的无冗余全覆盖叶子节点序列；最后通过RISC?V核相关的riscv转换函数将每个叶子节点转换成RISC?V核的测试指令，本发明可以实现在保证验证覆盖率的基础上实现激励空间无冗余均匀覆盖。
法律状态
法律状态公告日2020-02-04 2020-02-04 2020-02-28
法律状态信息
公开 公开
实质审查的生效
法律状态
公开 公开
实质审查的生效
权利要求说明书
一种高效多核RISC-V处理器的Cache系统验证方法的权利要求说明书内容是....请下载后查看
一种高效多核RISC-V处理器的Cache系统验证方法
