一种高效多核RISC-V处理器的Cache系统验证方法
摘要:
本发明公开了一种多核RISC-V处理器的Cache系统验证方法,涉及仿真验证算法领域。针对现有技术中存在的多核RISC-V处理器中Cache系统仿真验证随机激励中存在的Cache验证难扩展、激励空间冗余和不均匀覆盖的问题,本发明提供了一种多核RISC-V处理器的Cache系统验证方法,本方法首先建立基于有向二分图的多核RISC-V处理器中Cache系统抽象模型;然后采用层次化等价类划分算法将原本无序的RISC-V处理器Cache激励空间转换成有序的4层树状空间;接着采用广度优先算法对激励空间树的叶子节点集进行遍历,得到包含高层次激励信息的无冗余全覆盖叶子节点序列;最后通过RISC-V核相关的riscv转换函数将每个叶子节点转换成RISC-V核的测试指令,本发明可以实现在保证验证覆盖率的基础上实现激励空间无冗余均匀覆盖。
公开/授权文献
0/0