[发明专利]一种逻辑验证方法及装置有效
| 申请号： | 201710369925.7 | 申请日： | 2017-05-23 |
| 公开（公告）号： | CN108932355B | 公开（公告）日： | 2020-11-20 |
| 发明（设计）人： | 傅诗雨;赵天良;逄淑楠;刘才齐 | 申请（专利权）人： | 大唐移动通信设备有限公司 |
| 主分类号： | G06F30/20 | 分类号： | G06F30/20 |
| 代理公司： | 北京同达信恒知识产权代理有限公司 11291 | 代理人： | 刘醒晗 |
| 地址： | 100083*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种逻辑验证方法及装置，应用于基站逻辑验证平台，Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本，并依据参数文本生成输入激励，调用总线接口中传输输入激励的信号线，将输入激励传输至DUT，调用总线接口中传输逻辑验证结果的信号线，获取DUT基于输入激励进行逻辑验证的逻辑验证结果，基于逻辑验证结果，对DUT中相应可逻辑实现功能进行逻辑验证。针对DUT中不同的可逻辑实现功能进行逻辑验证时，可直接通过调用总线接口中传输输入激励的信号线实现逻辑验证，即，可直接在总线接口中修改信号线，不需要修改Testbench内部代码，提高了逻辑验证的效率。 | ||
| 搜索关键词： | 一种 逻辑 验证 方法 装置 | ||
【主权项】：
1.一种逻辑验证方法，其特征在于，应用于基站逻辑验证平台，所述基站逻辑验证平台中包括仿真模型Testbench与待测设计DUT，所述Testbench与所述DUT之间通过总线接口相连，所述总线接口中包括用于传输输入激励以及逻辑验证结果的信号线，所述方法包括：所述Testbench获取所述DUT中执行相应可逻辑实现功能所需的参数文本；所述Testbench依据所述参数文本生成输入激励，并调用所述总线接口中传输所述输入激励的信号线，将所述输入激励传输至所述DUT；所述Testbench调用所述总线接口中传输逻辑验证结果的信号线，获取所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果；所述Testbench基于所述逻辑验证结果，对所述DUT中相应可逻辑实现功能进行逻辑验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于大唐移动通信设备有限公司，未经大唐移动通信设备有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710369925.7/，转载请声明来源钻瓜专利网。
