[发明专利]一种激励空间无冗余均匀覆盖的多核互联总线验证方法在审
| 申请号： | 201811636603.5 | 申请日： | 2018-12-29 |
| 公开（公告）号： | CN109740244A | 公开（公告）日： | 2019-05-10 |
| 发明（设计）人： | 李丽;程开丰;何书专;曹华锋 | 申请（专利权）人： | 南京宁麒智能计算芯片研究院有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50;G06F15/78 |
| 代理公司： | 江苏瑞途律师事务所 32346 | 代理人： | 金龙 |
| 地址： | 210000 江苏省南京市*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种激励空间无冗余均匀覆盖的多核互联总线验证方法，属于芯片仿真验证领域。针对现有技术中存在的处理器验证的输入激励空间的冗余和不均匀覆盖的问题，本发明提供了一种激励空间无冗余均匀覆盖的多核互联总线验证方法，首先建立基于有向二分图的多核互联总线模块抽象激励模型；然后采用EP等价类划分算法将原本扁平无序的激励空间转换成了3层的激励空间树；接着采用优化深度优先ODFT算法对激励空间树的叶子节点集进行遍历，得到包含高层次激励信息的无冗余全覆盖叶子节点序列；最后通过总线协议相关的BusSti(LeafNode)转换函数将每个叶子节点转换成实际总线互联的输入激励。它可以实现在保证验证覆盖率的基础上实现激励空间无冗余均匀覆盖。 | ||
| 搜索关键词： | 冗余 互联总线 均匀覆盖 多核 验证 叶子节点 输入激励 空间树 算法 处理器验证 空间转换 深度优先 芯片仿真 转换函数 总线互联 总线协议 不均匀 等价类 二分图 全覆盖 遍历 有向 抽象 覆盖率 转换 覆盖 优化 保证 | ||
【主权项】：
1.一种激励空间无冗余均匀覆盖的多核互联总线验证方法，步骤如下：步骤一，建立基于有向二分图的多核互联总线抽象激励模型；步骤二，将原本扁平无序的激励空间转换成3层的激励空间树；步骤三，对激励空间树进行优化深度优先ODFT遍历，得到包含高层次激励信息的无冗余全覆盖叶子节点序列；步骤四，通过总线协议相关的BusSti转换函数将每个叶子节点转换成实际总线互联的输入激励。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京宁麒智能计算芯片研究院有限公司，未经南京宁麒智能计算芯片研究院有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811636603.5/，转载请声明来源钻瓜专利网。
