发明授权
- 专利标题: 一种逻辑验证方法及装置
-
申请号: CN201710369925.7申请日: 2017-05-23
-
公开(公告)号: CN108932355B公开(公告)日: 2020-11-20
- 发明人: 傅诗雨 , 赵天良 , 逄淑楠 , 刘才齐
- 申请人: 大唐移动通信设备有限公司
- 申请人地址: 北京市海淀区学院路29号
- 专利权人: 大唐移动通信设备有限公司
- 当前专利权人: 大唐移动通信设备有限公司
- 当前专利权人地址: 北京市海淀区学院路29号
- 代理机构: 北京同达信恒知识产权代理有限公司
- 代理商 刘醒晗
- 主分类号: G06F30/20
- IPC分类号: G06F30/20
摘要:
本发明公开了一种逻辑验证方法及装置,应用于基站逻辑验证平台,Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本,并依据参数文本生成输入激励,调用总线接口中传输输入激励的信号线,将输入激励传输至DUT,调用总线接口中传输逻辑验证结果的信号线,获取DUT基于输入激励进行逻辑验证的逻辑验证结果,基于逻辑验证结果,对DUT中相应可逻辑实现功能进行逻辑验证。针对DUT中不同的可逻辑实现功能进行逻辑验证时,可直接通过调用总线接口中传输输入激励的信号线实现逻辑验证,即,可直接在总线接口中修改信号线,不需要修改Testbench内部代码,提高了逻辑验证的效率。
公开/授权文献
- CN108932355A 一种逻辑验证方法及装置 公开/授权日:2018-12-04