【技术实现步骤摘要】
【国外来华专利技术】芯片的形式验证方法、设备和存储介质
本专利技术实施例涉及芯片设计
,尤其涉及一种芯片的形式验证方法、设备和存储介质。
技术介绍
随着超大规模集成电路的发展,逻辑门的个数越来越多,寄存器转换级电路(RegisterTransferLevel,简称RTL)代码到综合网表的形式验证的运行时间逐渐变长,占用资源的消耗越来越大,导致芯片设计在实现交付的效率低下,并且时间不可把控,特别是在遇到需要迭代修改时,严重影响形式验证的效率和进度。
技术实现思路
本专利技术实施例提供了一种芯片的形式验证方法、设备和存储介质。本专利技术的第一方面是为了提供一种芯片的形式验证方法,包括:获取与芯片设计代码相对应的综合网表;将所述综合网表按照设计功能划分为多个功能模块,其中,每个所述功能模块均具有边界和层次信息,多个所述功能模块的划分方式不改变所述综合网表对应的寄存器传输级的逻辑层次结构;基于多个所述功能模块对所述综合网表进行形式验证。本专利技术的第二方面是为了提供一种芯片的形式验证设备,包括:存储器,用于存储计算机程序;处理器,用于运行所述存储器中存储的计算机程序以实现:获取与芯片设计代码相对应的综合网表;将所述综合网表按照设计功能划分为多个功能模块,其中,每个所述功能模块均具有边界和层次信息,多个所述功能模块的划分方式不改变所述综合网表对应的寄存器传输级的逻辑层次结构;基于多个所述功能模块对所述综合网表进行形式验证。本专利技术的 ...
【技术保护点】
1.一种芯片的形式验证方法,其特征在于,包括:/n获取与芯片设计代码相对应的综合网表;/n将所述综合网表按照设计功能划分为多个功能模块,其中,每个所述功能模块均具有边界和层次信息,多个所述功能模块的划分方式不改变所述综合网表对应的寄存器传输级的逻辑层次结构;/n基于多个所述功能模块对所述综合网表进行形式验证。/n
【技术特征摘要】
【国外来华专利技术】1.一种芯片的形式验证方法,其特征在于,包括:
获取与芯片设计代码相对应的综合网表;
将所述综合网表按照设计功能划分为多个功能模块,其中,每个所述功能模块均具有边界和层次信息,多个所述功能模块的划分方式不改变所述综合网表对应的寄存器传输级的逻辑层次结构;
基于多个所述功能模块对所述综合网表进行形式验证。
2.根据权利要求1所述的方法,其特征在于,基于多个所述功能模块对所述综合网表进行形式验证,包括以下至少之一:
对多个所述功能模块中的至少一个功能模块单独进行形式验证;
对包括至少两个功能模块的至少一个功能模块单元进行形式验证;
对由所有功能模块构成的整体进行形式验证。
3.根据权利要求1所述的方法,其特征在于,在基于多个所述功能模块对所述综合网表进行形式验证时,所述方法还包括:
针对多个功能模块,检测所述功能模块进行形式验证的状态是否为正常状态。
4.根据权利要求3所述的方法,其特征在于,所述检测所述功能模块进行形式验证的状态是否为正常状态,包括:
获取与所述功能模块相对应的验证时间;
根据所述验证时间检测所述功能模块进行形式验证的状态是否为正常状态。
5.根据权利要求4所述的方法,其特征在于,根据所述验证时间检测所述功能模块进行形式验证的状态是否为正常状态,包括:
在所述验证时间小于预设时间阈值时,则确定所述功能模块进行形式验证的状态为正常状态;
在所述验证时间大于或等于预设时间阈值时,则确定所述功能模块进行形式验证的状态为异常状态。
6.根据权利要求3所述的方法,其特征在于,在确定所述功能模块进行形式验证的状态为异常状态之后,所述方法还包括:
将所述功能模块划分为多个子功能模块,其中,每个所述子功能模块具有边界和层次信息;
基于多个所述子功能模块对所述功能模块进行形式验证。
7.根据权利要求6所述的方法,其特征在于,将所述功能模块划分为多个子功能模块,包括:
获取与所述功能模块相对应的模块设计信息;
根据所述模块设计信息将所述功能模块划分为多个子功能模块。
8.根据权利要求1-7中任意一项所述的方法,其特征在于,所述方法还包括:
检测所述综合网表是否发生更新;
在所述综合网表发生更新时,确定与所述综合网表相对应的网表更新部分;
获取与所述网表更新部分相对应的至少一个更新功能模块;
仅对至少一个所述更新功能模块进行形式验证。
9.根据权利要求1-7中任意一项所述的方法,其特征在于,在基于多个所述功能模块对所述综合网表进行形式验证之前,所述方法还包括:
识别所述功能模块是否通过形式验证;
在所述功能模块通过形式验证时,将所述功能模块设置为用于标识已通过形式验证的黑盒模块。
10.根据权利要求9所述的方法,其特征在于,基于多个所述功能模块对所述综合网表进行形式验证,包括:
识别多个所述功能模块中是否包括已通过形式验证的黑盒模块;
在多个所述功能模块中包括黑盒模块时,则对多个所述功能模块中除了所述黑盒模块的其他功能模块进行形式验证。
11.根据权利要求1-7中任意一项所述的方法,其特征在于,所述综合网表中包括除了多个功能模块之外的寄存器传输级代码,所述方法还包括:
获取针对所述寄存器传输级代码的验证请求;
根据所述验证请求对所述寄存器传输级代码进行形式验证。
12.一种芯片的形式验证设备,其特征在于,包括:
存储器,用于存储计算机程序;
处理器,用于运行所述存储器中存储的计算机程序以实现:
获取与芯片设计代码相对应的综合网表;
将所述综合网表按照设计功能划分为多个功能...
【专利技术属性】
技术研发人员:李书豪,吴亮,刘其龙,
申请(专利权)人:深圳市大疆创新科技有限公司,
类型:发明
国别省市:广东;44
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。