摘要
本发明属于综合工具测试的技术领域,更具体地,涉及一种面向自然语言的逻辑综合工具测试方法及测试框架。所述方法包括获得关键词组后,随机选取模块会自动选取关键词,并将关键词输入测试需求模块;测试需求模块生成并输入被大语言模型识别的语句,得到满足测试需求的RTL设计;通过语法检查的RTL设计进入自定义的逻辑综合流程,未通过的设计则进入数据统计模块,记录案例及错误原因;逻辑综合流程执行成功进入等价验证模块,然后进入数据统计模块,再检查是否满足退出条件。本发明解决了难以覆盖综合工具的全部命令选项、边界条件和一些复杂设计场景,存在测试效率低,覆盖率不高的问题。
技术关键词
综合工具
面向自然语言
数据统计模块
逻辑
生成关键词组
测试方法
大语言模型
外接模块
生成测试用例
表格
可读存储介质
框架
覆盖率
报告
计算机
语句
命令
系统为您推荐了相关专利信息
资源分配方法
指令
计算机设备
标识
计算机程序产品
访问权限控制方法
访问控制策略规则
唯一性
标识
椭圆曲线数字签名
智能校准方法
防卡纸
纸张输送控制
LSTM模型
纸张输送路径
智能辅助方法
语义实体
注意力
语义标签
文本段落