【技术实现步骤摘要】
本专利技术涉及eda，特别是涉及一种基于条件覆盖率的数据压缩方法、电子设备及存储介质。
技术介绍
1、目前覆盖数据库是依据ucis标准，为每个条件表达式的可能组合都定义了一个覆盖项。例如：对于条件表达式a&&(b||c||d)，覆盖数据库会生成两层覆盖项数据块及其真值表，设x＝b||c||d，则第一层为a&&x，其覆盖项的真值表为00、01、10和11，第二层为b||c||d，其覆盖项的真值表为000、001、010、011、100、101、110、111，其中，在覆盖数据库中真值表中的每个组合分别被保存在独立的覆盖项数据块中。
2、在客户真实环境中，芯片设计源文件中往往会包含大量的条件表达式，并且有些表达式相当复杂，包含多个子表达式。在这种情况下，如果按照ucis标准的定义，将每个条件表达式所对应的覆盖项数据块都配置在条件覆盖率数据库文件中，会造成数据库文件非常巨大，从而影响覆盖率数据库的加载效率。并且由于一次性加载大量的覆盖项，会占用大量内存，会导致系统内存不足。
<
【技术保护点】
1.基于条件覆盖率的数据压缩方法，其特征在于，所述方法包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，S320中flagm,h,i为{flag1,flag2,flag3}中的一种条件类型，其中，flag1为完全统计类型，flag2为与操作统计类型，flag3为或操作统计类型。
3.根据权利要求2所述的方法，其特征在于，所述方法还包括：
4.根据权利要求3所述的方法，其特征在于，S500还包括获取scopem,h,i中第j个有效覆盖项coveritemm,h,i,j的名称namem,h,i,j的步骤：
5.根据权...
【技术特征摘要】
1.基于条件覆盖率的数据压缩方法，其特征在于，所述方法包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，s320中flagm,h,i为{flag1,flag2,flag3}中的一种条件类型，其中，flag1为完全统计类型，flag2为与操作统计类型，flag3为或操作统计类型。
3.根据权利要求2所述的方法，其特征在于，所述方法还包括：
4.根据权利要求3所述的方法，其特征在于，s500还包括获取scopem,h,i中第j个有效覆盖项coveritemm,h,i,j的名称namem,h,i,j的步骤：
5.根据权利要求4所述的方法，其特征在于，s510中：
6.根据权利要...
【专利技术属性】
技术研发人员：汤杰，高波，金俏慧，
申请(专利权)人：上海合见工业软件集团有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。