[发明专利]一种断言代码生成方法、装置、设备及介质

说明书

本申请公开了一种断言代码生成方法、装置、设备及介质，该方法包括：获取自然语言描述，并解析自然语言描述，确定与自然语言描述对应的预定义自然语言场景以及相应的用户配置参数；基于预定义自然语言场景与预设映射表，确定与预定义自然语言场景对应的目标断言场景；从预设配置模板库中查询与目标断言场景对应的用于构建断言代码的目标配置模板；将用户配置参数填充至目标配置模板，以生成与自然语言描述对应的目标断言代码。由此可见，本申请提出了一种将自然语言描述转换成断言代码的方法，通过该方法可以在不学习断言描述的情况下获得需要的断言代码，使得断言验证不再需要学习复杂的断言描述，降低了学习成本，提高了验证效率。

技术领域

本发明涉及芯片验证领域，特别涉及一种断言代码生成方法、装置、设备及介质。

背景技术

当前，集成电路产业发展迅速，使得芯片规模逐渐庞大，复杂度逐渐提高，在此过程中需要保证芯片质量，这为芯片验证过程带来了考验，提高了验证难度。

在芯片验证中，断言验证是一个极其重要的组成部分。目前业内最常用的是基于SystemVerilog语言(简称SV语言)的断言描述。所谓芯片验证中的断言，实际上是将信号之间的关系以布尔表达式的形式描述出来，并在特定的时刻，默认此布尔表达式的值为真；EDA(Electronic design automation，电子设计自动化)工具会在仿真中自动计算信号之间的关系是否违背此断言，若违背则报错，这种方法在早期设计阶段即可隔离设计错误，节省debug(调试)时间。然而这种方法虽然强大，却需要有前置的SV断言语言知识，这就增加了工程师的学习成本，限制了其进一步在行业内推广。

综上所述，如何降低学习成本，提高验证效率成为亟待解决的问题。

发明内容

有鉴于此，本发明的目的在于提供一种断言代码生成方法、装置、设备及介质，使得断言验证不再需要学习复杂的断言语言知识，能够降低学习成本，提高验证效率。其具体方案如下：

第一方面，本申请公开了一种断言代码生成方法，包括：

获取用户终端输入的自然语言描述，并对所述自然语言描述进行解析，以确定出与所述自然语言描述对应的预定义自然语言场景以及相应的用户配置参数；

基于所述预定义自然语言场景与预设映射表，确定出与所述预定义自然语言场景对应的目标断言场景；

从预设配置模板库中查询与所述目标断言场景对应的用于构建断言代码的目标配置模板；

将所述用户配置参数填充至所述目标配置模板，以生成与所述自然语言描述对应的目标断言代码。

可选的，所述对所述自然语言描述进行解析，以确定出与所述自然语言描述对应的预定义自然语言场景以及相应的用户配置参数，包括：

对所述自然语言描述进行解析，并判断解析后自然语言是否满足预设格式要求；

如果所述解析后自然语言满足所述预设格式要求，则确定出与所述自然语言描述对应的预定义自然语言场景以及相应的用户配置参数；

如果所述解析后自然语言不满足所述预设格式要求，则发送错误报告并发出用于修改所述自然语言描述的指令。

可选的，所述将所述用户配置参数填充至所述目标配置模板，以生成与所述自然语言描述对应的目标断言代码，包括：

通过比较所述用户配置参数与所述目标配置模板中的待配置参数，以确定所述用户配置参数中是否存在缺失参数；

如果所述用户配置参数中不存在缺失参数，则将所述用户配置参数填充至所述目标配置模板，以生成与所述自然语言描述对应的目标断言代码；