混合协议转换设计的验证方法、装置、设备及存储介质
授权
摘要

本发明实施例公开了一种混合协议转换设计的验证方法、装置、设备及存储介质,其中,所述方法包括:根据所述混合协议的激励输入形态和约束条件以及所对应的输入接口,生成各接口对应的约束断言;根据所述混合协议的各输出口的输出形态和预期格式,生成各接口对应的检查断言;确定所述验证对象的时钟信号和复位信号;将激励输入信号输入到所述混合协议转换设计中,所述激励输入信号包括:约束断言、时钟信号和复位信号;接收输出结果,根据所述输出结果与检查断言的比较结果得到验证结果。可做到报文类型和激励组合的最大化遍历,保证验证的完备性;可根据需求的变化快速实现对不同种协议的转换支持。

基本信息
专利标题 :
混合协议转换设计的验证方法、装置、设备及存储介质
专利标题(英):
暂无
公开(公告)号 :
CN111031015A
申请号 :
CN201911202508.9
公开(公告)日 :
2020-04-17
申请日 :
2019-11-29
授权号 :
CN111031015B
授权日 :
2022-05-06
发明人 :
徐庆阳刘勤让沈剑良刘冬培吕平宋克朱珂钟丹杨晓龙宋刚杨堃王盼汪欣丁青子黑建平
申请人 :
天津市滨海新区信息技术创新中心;天津芯海创科技有限公司
申请人地址 :
天津市滨海新区经济技术开发区信环西路19号2号楼2201室
代理机构 :
天津合正知识产权代理有限公司
代理人 :
吕琦
优先权 :
CN201911202508.9
主分类号 :
H04L29/06
IPC分类号 :
H04L29/06  
法律状态
2022-05-06 :
授权
2020-05-12 :
实质审查的生效
IPC(主分类) : H04L 29/06
申请日 : 20191129
2020-04-17 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332