[发明专利]逻辑代码的验证方法、验证装置以及存储介质

说明书

一种逻辑代码的验证方法、验证装置以及存储介质。该逻辑代码包括M个逻辑模块，该验证方法包括：对该M个逻辑模块进行第一仿真得到仿真分析结果；根据该仿真分析结果，在该M个逻辑模块中选择符合预设条件的N个逻辑模块，并将该N个逻辑模块分别分配给N个处理器进行第二仿真，M、N均为正整数并且M大于N。该验证方法可以有效利用处理器资源进行并行验证，从而缩短验证时长。

技术领域

本公开的实施例涉及一种逻辑代码的验证方法、验证装置以及存储介质。

背景技术

在集成电路的设计中，需要用硬件描述语言将硬件电路形成为逻辑代码，使用验证工具对逻辑代码进行仿真验证后再通过综合工具将逻辑代码转换为门级电路网表，然后再使用自动布局布线工具将网表转换为要实现的具体电路布线结构。随着集成电路技术的不断发展，芯片的规模和复杂度在不断提升，验证时间也越来越长，如何提高验证效率、缩短验证时长是本领域关注的问题。

发明内容

本公开至少一实施例提供一种逻辑代码的验证方法，所述逻辑代码包括M个逻辑模块，所述验证方法包括：对所述M个逻辑模块进行第一仿真得到仿真分析结果；根据所述仿真分析结果，在所述M个逻辑模块中选择符合预设条件的N个逻辑模块，并将所述N个逻辑模块分别分配给N个处理器进行第二仿真，其中，M、N均为正整数并且M大于N。

在一些示例中，所述预设条件包括：所述N个逻辑模块中的每个所消耗的仿真时间在所述逻辑代码的总仿真时间的占比大于预设占比值。

在一些示例中，所述预设条件还包括：所述N个逻辑模块位于同一层级。

在一些示例中，对所述M个逻辑模块进行第一仿真得到仿真分析结果包括：通过验证平台对所述逻辑代码进行所述第一仿真，当所述第一仿真通过时生成所述仿真分析结果。

在一些示例中，所述验证平台包括驱动组件、预期组件、检测组件和比对组件；通过所述验证平台对所述逻辑代码进行所述第一仿真包括：通过所述驱动组件分别将测试用例输入到所述预期组件和所述逻辑代码中，通过所述检测组件检测所述逻辑代码的输出信号并将所述输出信号输入至所述比对组件，以及通过所述比对组件将所述逻辑代码的输出信号与所述预期组件的输出进行比对分析所述逻辑代码的输出信号是否正确，当所述逻辑代码的输出信号正确时所述第一仿真通过。

在一些示例中，所述第一仿真包括初步仿真和深度仿真，当所述深度仿真通过时生成所述仿真分析结果。

在一些示例中，根据所述仿真分析结果，在所述M个逻辑模块中选择符合预设条件的N个逻辑模块，并将所述N个逻辑模块分别分配给N个处理器进行第二仿真，包括：根据所述仿真分析结果和所述预设条件生成配置文件，其中，所述配置文件示出了所述N个逻辑模块的信息；根据所述配置文件将所述N个逻辑模块分别分配给所述N个处理器进行所述第二仿真。

在一些示例中，根据所述仿真分析结果和所述预设条件生成配置文件包括：根据所述预设条件对所述仿真分析结果进行可行性分析，当所述可行性分析的结果表明可行时根据所述仿真分析结果生成配置文件。

在一些示例中，所述验证方法还包括：当所述第二仿真所消耗的仿真时间超过预设值时，修改所述配置文件，并根据修改后的配置文件对所述逻辑代码进行第三仿真。

本公开至少一实施例还提供一种逻辑代码的验证装置，适用上述验证方法，包括所述N个处理器和存储器。所述存储器中存储有计算机可执行代码，所述计算机可执行代码当由所述处理器运行时，执行上述验证方法。

本公开至少一实施例还提供一种计算机可读存储介质，其上存储有计算机可执行代码，所述计算机可执行代码在被处理器执行时，使得所述处理器执行上述验证方法。