[发明专利]验证方法及相关设备在审
申请号: | 201911399702.0 | 申请日: | 2019-12-30 |
公开(公告)号: | CN113127019A | 公开(公告)日: | 2021-07-16 |
发明(设计)人: | 田守政 | 申请(专利权)人: | 深圳云天励飞技术有限公司 |
主分类号: | G06F8/65 | 分类号: | G06F8/65;G06F21/44 |
代理公司: | 广州三环专利商标代理有限公司 44202 | 代理人: | 熊永强 |
地址: | 518000 广东省深圳市龙岗区园山*** | 国省代码: | 广东;44 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 验证 方法 相关 设备 | ||
1.一种验证方法,其特征在于,应用于电子设备,所述电子设备包括:系统级芯片,所述方法包括:
接收芯片更新请求,依据所述芯片更新请求对所述系统级芯片执行更新操作,得到待验证系统级芯片;
接收源数据,依据所述源数据生成配置代码,所述配置代码包括:软件配置代码和硬件配置代码;
依据所述配置代码运行所述待验证系统级芯片得到第一结果,获取所述预设的参考模型运行所述源数据得到的第二结果;
比对所述第一结果与所述第二结果得到验证结果。
2.根据权利要求1所述的方法,其特征在于,所述依据所述源数据生成配置代码,包括:
将所述源数据输入预设的源数据解析器,所述源数据解析器用于对所述源数据执行文本解析操作,得到所述源数据对应的软件配置文本和硬件配置文本;
依据所述软件配置文本与所述硬件配置文本生成所述配置代码。
3.根据权利要求2所述的方法,其特征在于,所述依据所述软件配置文本与所述硬件配置文本生成所述配置代码,包括:
获取预设的代码脚本;
将所述代码脚本和所述软件配置文本输入预设的代码产生器,以生成所述软件配置代码,并将所述代码脚本和所述硬件配置文本输入所述代码产生器,以生成所述硬件配置代码。
4.根据权利要求1所述的方法,其特征在于,所述依据所述配置代码运行所述待验证系统级芯片,包括:
对所述配置代码执行编译操作,得到所述配置代码对应的验证数据;
将所述验证数据作为所述待验证系统级芯片的输入,启动所述待验证系统级芯片;
依据所述验证数据运行所述待验证系统级芯片。
5.根据权利要求1所述的方法,其特征在于,所述系统级芯片包括:多个功能模块,所述芯片更新请求包括:目标功能模块和配置脚本,所述依据所述芯片更新请求对所述系统级芯片执行更新操作,包括:
依据所述目标功能模块在所述多个功能模块中确定非目标功能模块;
依据所述配置脚本将所述非目标功能模块更新为所述配置脚本对应的仿真模型。
6.一种验证装置,其特征在于,应用于电子设备,所述电子设备包括:系统级芯片,所述验证装置包括:更新单元、随机激励单元、代码配置单元、控制单元、监控单元、参考模型单元、结果比对单元,其中:
所述更新单元,用于接收芯片更新请求,依据所述芯片更新请求对所述系统级芯片执行更新操作,得到待验证系统级芯片;
所述随机激励单元,用于接收源数据;
所述代码配置单元,用于依据所述源数据生成配置代码,所述配置代码包括:软件配置代码和硬件配置代码;
所述控制单元,用于依据所述配置代码运行所述待验证系统级芯片得到第一结果;
所述监控单元,用于对所述待验证系统级芯片执行监控操作,接收所述待验证系统级芯片依据所述配置代码执行运算得到的第一结果;
所述参考模型单元,用于获取所述预设的参考模型运行所述源数据得到的第二结果;
所述结果比对单元,用于比对所述第一结果与所述第二结果得到验证结果。
7.根据权利要求6所述的装置,其特征在于,所述随机激励单元还用于:
将所述源数据输入预设的源数据解析器,所述源数据解析器用于对所述源数据执行文本解析操作,得到所述源数据对应的软件配置文本和硬件配置文本;
依据所述软件配置文本与所述硬件配置文本生成所述配置代码。
8.根据权利要求6或7所述的装置,其特征在于,在所述依据所述软件配置文本与所述硬件配置文本生成所述配置代码方面,所述代码配置单元包括:
获取预设的代码脚本;
将所述代码脚本和所述软件配置文本输入预设的代码产生器,以生成所述软件配置代码,并将所述代码脚本和所述硬件配置文本输入所述代码产生器,以生成所述硬件配置代码。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于深圳云天励飞技术有限公司,未经深圳云天励飞技术有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201911399702.0/1.html,转载请声明来源钻瓜专利网。