[发明专利]基于存储器访问驱动的自动化协同验证平台的搭建方法有效
| 申请号： | 201611162196.X | 申请日： | 2016-12-15 |
| 公开（公告）号： | CN106528364B | 公开（公告）日： | 2018-11-30 |
| 发明（设计）人： | 江源;唐飞;徐子轩 | 申请（专利权）人： | 盛科网络（苏州）有限公司 |
| 主分类号： | G06F11/26 | 分类号： | G06F11/26;G06F11/34;G06F11/36;G06F11/30 |
| 代理公司： | 南京利丰知识产权代理事务所(特殊普通合伙) 32256 | 代理人： | 王锋 |
| 地址： | 215000 江苏省苏州市*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于存储器访问驱动的自动化协同验证平台的搭建方法，包括：根据数据处理流程构建编程语言功能模型，将访问存储器的相关信息存储为编程语言功能模型参考信息；监测RTL子系统中所有存储器的读写信号，若检测到所述读写信号使能，RTL验证模块调用数据比较接口，对RTL操作存储器的相关信息同所述编程语言功能模型参考信息进行比较，若比较结果全部一致，则验证通过；若出现任一比较结果不一致则产生中断结束整个验证流程。采用本发明，可以准确高效地测试RTL子系统，具有调试方便，验证全面的优点。 | ||
| 搜索关键词： | 基于 存储器 访问 驱动 自动化 协同 验证 平台 搭建 方法 | ||
【主权项】：
1.一种基于存储器访问驱动的自动化协同验证平台的搭建方法，其验证平台包括RTL子系统、编程语言功能模型、RTL验证模块，其特征在于：在所述RTL验证模块中创建数据比较接口，用于对RTL操作的存储器的相关信息与编程语言功能模型内的存储器参考信息进行比较；其验证流程包括以下步骤：S1.根据数据处理流程构建编程语言功能模型，将访问存储器的相关信息对应存储为编程语言功能模型内的存储器参考信息；S2.监测RTL子系统中所有存储器的读写信号，若检测到所述读写信号使能，则执行下一步骤，否则继续执行当前监测步骤；S3.RTL验证模块调用数据比较接口，对RTL操作的存储器的相关信息同所述编程语言功能模型内对应的存储器参考信息进行比较，若比较结果全部一致，则验证通过，并释放当前验证通过的存储器参考信息，然后执行下一步骤；若出现任一比较结果不一致则产生中断，然后执行S6；S4.判断RTL子系统内所有存储器是否验证完毕，若是，执行下一步骤；否则，返回S2；S5.查找编程语言功能模型中是否存在未释放的存储器参考信息，若存在，则产生中断；S6.结束系统验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于盛科网络（苏州）有限公司，未经盛科网络（苏州）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611162196.X/，转载请声明来源钻瓜专利网。
