[发明专利]集成电路验证方法、代码生成方法、系统、设备和介质有效
申请号: | 202110713130.X | 申请日: | 2021-06-25 |
公开(公告)号: | CN113343629B | 公开(公告)日: | 2023-02-28 |
发明(设计)人: | 李涛;高红莉;潘于 | 申请(专利权)人: | 海光信息技术股份有限公司 |
主分类号: | G06F30/367 | 分类号: | G06F30/367;G06F30/327;G06F30/392;G06F30/394;G06F30/396 |
代理公司: | 北京市柳沈律师事务所 11105 | 代理人: | 万里晴 |
地址: | 300392 天津市华苑产业区*** | 国省代码: | 天津;12 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 提供在SV语言环境中调用C语言环境的集成电路验证/代码生成方法、系统、设备和介质。代码生成方法包括:在C语言中的生成存储被存储在哈希数组中的通用数据包的通用类;在C语言中生成对哈希数组的控制函数;在C语言中生成定义C语言仿真验证模型计算的回调队列,以便调用控制函数,通用类中还包括回调队列接口,被生成为自动运行用于集成电路验证的回调队列;在C语言中生成C语言DPI和在SV语言中生成SV语言DPI,使得两个DPI交换数据。验证包括:监听RTL的接口所对应的待验证数据;SV语言DPI将所监听的数据传送给C语言DPI,存入通用数据包;回调队列接口运行回调队列,以调用控制函数,并得到C语言计算的结果;SV语言DPI从C语言DPI接收结果。 | ||
搜索关键词: | 集成电路 验证 方法 代码 生成 系统 设备 介质 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于海光信息技术股份有限公司,未经海光信息技术股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110713130.X/,转载请声明来源钻瓜专利网。
- 上一篇:一种查找修改OBD扭矩限扭曲线地址的方法
- 下一篇:阵列基板及显示装置