[发明专利]一种芯片验证方法、装置及芯片验证平台

说明书

本申请公开了一种芯片验证方法、装置及芯片验证平台，方法包括：对预先编译且与待验证芯片对应的RTL文件进行验证，判断RTL文件是否正确；若否，则定位RTL文件中的错误部分，并对错误部分进行编译，得到重编译部分；利用重编译部分替换RTL文件中的错误部分，得到新的RTL文件，并对新的RTL文件进行验证。本申请公开的上述技术方案，对与待验证芯片对应的RTL文件验证，在确定RTL文件不正确时定位RTL文件中的错误部分，对错误部分进行编译得到重编译部分，并利用重编译部分替换RTL文件中的错误部分，而无需对整个RTL文件重新进行编译，因此，则可以缩短RTL文件编译所花费的时间，从而可以提高芯片的验证效率。

技术领域

本申请涉及芯片验证技术领域，更具体地说，涉及一种芯片验证方法、装置及芯片验证平台。

背景技术

芯片验证是在芯片生产之前验证芯片设计是否符合芯片定义的需求规格、是否已经完全释放了风险，发生并更正所有的缺陷。

目前，在采用RTL(register transfer level，寄存器转换级电路)进行编译和芯片验证时，若发现出现错误，会重新编译整个RTL文件，并利用编译后的RTL文件重新进行仿真和验证，也就是说，每当验证出现问题，就重新编译RTL文件，而这会耗费大量的时间，从而会导致芯片验证效率比较低。

综上所述，如何提高芯片验证效率，是目前本领域技术人员亟待解决的技术问题。

发明内容

有鉴于此，本申请的目的是提供一种芯片验证方法、装置及芯片验证平台，用于提高芯片验证效率。

为了实现上述目的，本申请提供如下技术方案：

一种芯片验证方法，包括：

对预先编译且与待验证芯片对应的RTL文件进行验证，判断所述RTL文件是否正确；

若否，则定位所述RTL文件中的错误部分，并对所述错误部分进行编译，得到重编译部分；

利用所述重编译部分替换所述RTL文件中的所述错误部分，得到新的RTL文件，并对所述新的RTL文件进行验证。

优选的，对所述错误部分进行编译，包括：

利用强制生效语句对所述错误部分进行编译。

优选的，定位所述RTL文件中的错误部分，包括：

根据预先编译所述RTL文件时生成的日志文件，获取验证过程中生成的与所述RTL文件对应的波形图；

根据所述波形图确定异常波形，根据所述异常波形定位所述RTL文件中的所述错误部分。

优选的，判断所述RTL文件是否正确，包括：

将对所述RTL文件进行验证时产生的验证结果和对应的理想验证结果进行对比；

若确定所述验证结果与所述理想验证结果不一致，则确定所述RTL文件不正确。

优选的，在定位所述RTL文件中的错误部分之后，还包括：

发出所述RTL文件不正确的提示，并对所述RTL文件中的所述错误部分进行记录和显示。

优选的，在对预先编译且与待验证芯片对应的RTL文件进行验证之前，还包括：

对时间进行重置。

一种芯片验证装置，包括：

第一验证模块，用于对预先编译且与待验证芯片对应的RTL文件进行验证，判断所述RTL文件是否正确；

定位模块，用于若确定所述RTL文件不正确，则定位所述RTL文件中的错误部分，并对所述错误部分进行编译，得到重编译部分；