一种断言代码生成方法、装置、设备及介质制造方法及图纸

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

【技术实现步骤摘要】
一种断言代码生成方法、装置、设备及介质


[0001]本专利技术涉及芯片验证领域，特别涉及一种断言代码生成方法、装置、设备及介质。

技术介绍

[0002]当前，集成电路产业发展迅速，使得芯片规模逐渐庞大，复杂度逐渐提高，在此过程中需要保证芯片质量，这为芯片验证过程带来了考验，提高了验证难度。
[0003]在芯片验证中，断言验证是一个极其重要的组成部分。目前业内最常用的是基于SystemVerilog语言(简称SV语言)的断言描述。所谓芯片验证中的断言，实际上是将信号之间的关系以布尔表达式的形式描述出来，并在特定的时刻，默认此布尔表达式的值为真；EDA(Electronic design automation，电子设计自动化)工具会在仿真中自动计算信号之间的关系是否违背此断言，若违背则报错，这种方法在早期设计阶段即可隔离设计错误，节省debug(调试)时间。然而这种方法虽然强大，却需要有前置的SV断言语言知识，这就增加了工程师的学习成本，限制了其进一步在行业内推广。
[0004]综上所述，如何降低学习成本，提高验证效率成为亟待解决的本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种断言代码生成方法，其特征在于，包括:获取用户终端输入的自然语言描述，并对所述自然语言描述进行解析，以确定出与所述自然语言描述对应的预定义自然语言场景以及相应的用户配置参数；基于所述预定义自然语言场景与预设映射表，确定出与所述预定义自然语言场景对应的目标断言场景；从预设配置模板库中查询与所述目标断言场景对应的用于构建断言代码的目标配置模板；将所述用户配置参数填充至所述目标配置模板，以生成与所述自然语言描述对应的目标断言代码。2.根据权利要求1所述的断言代码生成方法，其特征在于，所述对所述自然语言描述进行解析，以确定出与所述自然语言描述对应的预定义自然语言场景以及相应的用户配置参数，包括：对所述自然语言描述进行解析，并判断解析后自然语言是否满足预设格式要求；如果所述解析后自然语言满足所述预设格式要求，则确定出与所述自然语言描述对应的预定义自然语言场景以及相应的用户配置参数；如果所述解析后自然语言不满足所述预设格式要求，则发送错误报告并发出用于修改所述自然语言描述的指令。3.根据权利要求1所述的断言代码生成方法，其特征在于，所述将所述用户配置参数填充至所述目标配置模板，以生成与所述自然语言描述对应的目标断言代码，包括：通过比较所述用户配置参数与所述目标配置模板中的待配置参数，以确定所述用户配置参数中是否存在缺失参数；如果所述用户配置参数中不存在缺失参数，则将所述用户配置参数填充至所述目标配置模板，以生成与所述自然语言描述对应的目标断言代码；如果所述用户配置参数中存在缺失参数，则将所述用户配置参数填充至所述目标配置模板，然后利用所述目标配置模板中的默认参数对当前所述目标配置模板中还未完成配置的参数进行配置，以生成与所述自然语言描述对应的目标断言代码。4.根据权利要求1所述的断言代码生成方法，其特征在于，还包括：确定与不同的断言场景分别对应的不同的预定义自然语言场景；基于所述断言场景与所述预定义自然语言场景之间的对应关系，构建相应的映射表，以得到所述预设映射表。5.根据权利要求1...

【专利技术属性】
技术研发人员：朱雷，杨静，
申请(专利权)人：山东云海国创云计算装备产业创新中心有限公司，
类型：发明
国别省市：