跨时钟域模型检查器的控制方法、装置及电子设备
授权
摘要

本申请提供了一种跨时钟域模型检查器的控制方法、装置及电子设备,其中,该方法包括:通过波形分析工具对跨时钟域模型进行分析,以得到跨时钟域模型的模型信息;对模型信息进行解析,以得到跨时钟域模型的例化信息;通过遍历跨时钟域模型的例化信息,生成用于控制例化单元对应的检查器的控制代码;将控制代码、预定义的用户接口封装至验证环境中的控制模块中,以及将预定义的控制文件添加至验证环境中的指定位置,以得到目标验证环境,通过所述目标验证环境对所述跨时钟域模型对应的检查器进行控制。能够提高对跨时钟域模型中的功能验证的效率。

基本信息
专利标题 :
跨时钟域模型检查器的控制方法、装置及电子设备
专利标题(英):
暂无
公开(公告)号 :
CN112580283A
申请号 :
CN202011555344.0
公开(公告)日 :
2021-03-30
申请日 :
2020-12-23
授权号 :
CN112580283B
授权日 :
2022-04-29
发明人 :
沈旭
申请人 :
海光信息技术股份有限公司
申请人地址 :
天津市滨海新区天津华苑产业区海泰西路18号北2-204工业孵化一3-8
代理机构 :
北京超凡宏宇专利代理事务所(特殊普通合伙)
代理人 :
蒋姗
优先权 :
CN202011555344.0
主分类号 :
G06F30/33
IPC分类号 :
G06F30/33  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F30/33
设计验证,例如功能仿真或模型检查
法律状态
2022-04-29 :
授权
2021-04-16 :
实质审查的生效
IPC(主分类) : G06F 30/33
申请日 : 20201223
2021-03-30 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332