[发明专利]一种设计代码中替换单元的验证方法、装置和设备有效
申请号: | 201710781029.1 | 申请日: | 2017-09-01 |
公开(公告)号: | CN107729229B | 公开(公告)日: | 2020-04-24 |
发明(设计)人: | 史瑞瑞 | 申请(专利权)人: | 北京东土军悦科技有限公司;北京物芯科技有限责任公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京同达信恒知识产权代理有限公司 11291 | 代理人: | 黄志华 |
地址: | 100041 北京市石*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种设计代码中替换单元的验证方法、装置和设备,所述方法包括:获取设计代码层级结构中的替换单元,确定替换单元对应的自测试代码;若确定出层级结构中替换单元的数量不超过预设阈值,则确定层级结构中包含替换单元的模块名称的上一层单元,将从属于上一层单元的所有层级中的单元、上一层单元和自测试代码均执行编译处理得到可执行文件;否则将设计代码和自测试代码执行编译处理得到可执行文件;利用可执行文件进行仿真验证,根据自测试代码确定替换单元的验证结果。本发明利用自测试代码对替换单元进行验证避免了现有技术中通过对替换后的整个设计代码进行验证来验证替换单元所带来的验证不全面且验证效率低的问题。 | ||
搜索关键词: | 一种 设计 代码 替换 单元 验证 方法 装置 设备 | ||
【主权项】:
一种设计代码中替换单元的验证方法,其特征在于,包括:获取设计代码层级结构中的替换单元,并确定所述替换单元对应的自测试代码,所述自测试代码用于验证所述替换单元;如果确定出所述设计代码层级结构中替换单元的数量不超过预设阈值,则确定所述设计代码层级结构中包含所述替换单元的模块名称的上一层单元,并将从属于所述上一层单元的所有层级中的单元、所述上一层单元和所述自测试代码均执行编译处理得到可执行文件;否则将所述设计代码和所述自测试代码执行编译处理得到可执行文件;利用所述可执行文件进行仿真验证,并根据所述自测试代码确定所述替换单元的验证结果。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京东土军悦科技有限公司;北京物芯科技有限责任公司,未经北京东土军悦科技有限公司;北京物芯科技有限责任公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201710781029.1/,转载请声明来源钻瓜专利网。