[发明专利]一种多核SoC中DMA模块的功能验证方法在审
| 申请号： | 201910597031.2 | 申请日： | 2019-07-03 |
| 公开（公告）号： | CN110347617A | 公开（公告）日： | 2019-10-18 |
| 发明（设计）人： | 李丽;董英雷;程开丰;赵毅峰;徐瑾;沈思睿;杨一博 | 申请（专利权）人： | 南京大学 |
| 主分类号： | G06F12/1081 | 分类号： | G06F12/1081;G06F13/28 |
| 代理公司： | 南京汇盛专利商标事务所(普通合伙) 32238 | 代理人： | 陈扬;吴扬帆 |
| 地址： | 210046 江苏省南*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及了一种多核SoC中DMA模块的功能验证方法，具体步骤为：首先建立基于有向二分图的多核SoC中DMA模块抽象配置模型；然后采用等价类划分算法将原本扁平无序的配置空间转换成了三层的配置空间树；接着采用深度优先算法对配置空间树的叶子节点集进行遍历，得到包含高层次配置信息的无冗余全覆盖叶子节点序列；最后通过内核相关的DMACfg转换函数将每个叶子节点转换成实际DMA的配置信息。有益效果：本发明的证方法可以在保证完备的功能覆盖率基础上最小化验证配置激励集。 | ||
| 搜索关键词： | 配置空间 叶子节点 多核SoC 功能验证 配置信息 深度优先算法 功能覆盖率 转换函数 等价类 二分图 全覆盖 最小化 冗余 转换 遍历 内核 三层 有向 配置 算法 验证 抽象 保证 | ||
【主权项】：
1.一种多核SoC中DMA模块的功能验证方法，其特征在于，包括下述步骤：步骤1)建立基于有向二分图的多核SoC中DMA模块抽象配置模型；步骤2)采用等价类划分算法将原本扁平无序的配置空间转换成三层的配置空间树；步骤3)对配所述置空间树进行深度优先遍历，得到包含高层次配置信息的叶子节点序列后，再通过内核DMACfg转换函数将每个叶子节点转换成DMA模块的配置信息。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京大学，未经南京大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910597031.2/，转载请声明来源钻瓜专利网。
