摘要
本发明涉及芯片验证领域,特别是涉及一种提取条件覆盖数据的方法、电子设备及存储介质,其通过将条件表达式拆解为多个子表达式,为每个子表达式配置覆盖数据收集模块,该覆盖数据收集模块包括变量收集模块和数据收集模块,其中变量收集模块用于配置收集每个子表达式覆盖数据的收集变量,数据收集模块用于配置收集每个子表达式的覆盖数据,在仿真阶段通过配置收集变量的不同数据位来收集每个子表达式中操作数的取值组合的覆盖状态,完成条件覆盖数据收集,该方式通过获取的收集变量值即可得到对应表达式的覆盖数据,提高了条件覆盖率收集的效率,且模块化配置能够提高配置收集覆盖数据代码的效率。
技术关键词
数据收集模块
表达式
变量
嵌套
子模块
电子设备
芯片验证
逻辑
语句
有效值
可读存储介质
覆盖率
处理器
阶段
程序
指令
计算机
系统为您推荐了相关专利信息
动态更新方法
语义库
大语言模型
自然语言理解技术
文本
屋顶分布式光伏
贝叶斯分类器
识别方法
轮廓系数
颜色直方图
税收征管数据
监控分析方法
风险评估模型
监控分析系统
企业
图像处理模型
图像背景虚化方法
生成输出图像
图像生成单元
图像处理逻辑