[发明专利]一种芯片验证中简化验证模型实现的方法有效
| 申请号： | 201610015464.9 | 申请日： | 2016-01-11 |
| 公开（公告）号： | CN105677990B | 公开（公告）日： | 2019-03-01 |
| 发明（设计）人： | 江源 | 申请（专利权）人： | 盛科网络（苏州）有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 南京利丰知识产权代理事务所(特殊普通合伙) 32256 | 代理人： | 王锋 |
| 地址： | 215000 江苏省苏州市*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明揭示了一种芯片验证中简化验证模型实现的方法，其包括激励产生器、验证模型和待测试设计模块，所述激励产生器产生出启动信号、整个报文和处理报文所需的相应控制信号，所述启动信号与整个报文和处理报文所需的相应控制信号同时存在于激励产生器内部的两处队列中，其中一处队列用于发送给待测试设计模块；验证模型直接从激励产生器的另一处队列中直接去取数据和控制信号，验证模型得到完整的报文和处理报文所需要的所有控制信号，可直接对报文数据按照设计的要求进行处理，再根据待测试设计模块的输出接口行为，对处理完的数据进行存储，等待和待测试设计的结果进行比较。本发明简化了验证模型的实现，节省了大量芯片验证的时间。 | ||
| 搜索关键词： | 一种 芯片 验证 简化 模型 实现 方法 | ||
【主权项】：
1.一种芯片验证中简化验证模型实现的方法，其包括激励产生器、验证模型和待测试设计模块，其特征在于：所述激励产生器产生出启动信号、整个报文和处理报文所需的相应控制信号，所述启动信号与整个报文和处理报文所需的相应控制信号同时存在于激励产生器内部的两处队列中，其中一处队列用于发送给待测试设计模块；当激励产生器产生好数据的同时，也会将启动信号设为有效，此时验证模型可以直接检测到该启动信号，然后从激励产生器中取出数据进行处理；当验证模型检测到启动信号有效时，验证模型直接从激励产生器的另一处队列中直接去取数据和控制信号，验证模型已经得到完整的报文和处理报文所需要的所有控制信号，可直接对报文数据按照设计的要求进行处理，再根据待测试设计模块的输出接口行为，对处理完的数据进行存储，等待和待测试设计模块的结果进行比较；待测试设计模块的输入接口与相关的数据接收有前后时序联系，在激励产生器内部还需要添加时序控制模块，用于将完整的数据以待测试设计模块的接口要求的时序发送出去。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于盛科网络（苏州）有限公司，未经盛科网络（苏州）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610015464.9/，转载请声明来源钻瓜专利网。
