买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：上海合见工业软件集团有限公司;成都融见软件科技有限公司

摘要：本发明涉及EDA技术领域，特别是涉及一种基于条件覆盖率的数据压缩方法、电子设备及存储介质，其通过将表达式拆解为多个顶层表达式和子表达式，根据每个条件表达式的顶层表达式及其子表达式获取相应的覆盖域数据块，得到压缩后的条件覆盖率数据库文件，使得覆盖率数据库文件中不再包含覆盖项数据块，仅包含覆盖域数据块，使得条件覆盖率数据库文件的数据被大幅度的压缩，降低了内存的占用，提高了加载速度。

主权项：1.基于条件覆盖率的数据压缩方法，其特征在于，所述方法包括如下步骤：S100，获取M个条件表达式expr，expr＝{expr1,expr2,…,exprm,…,exprM}，exprm为第m个条件表达式，m的取值范围为1到M；S200，对expr中的每个条件表达式进行多层拆解，得到每层的顶层表达式及其多个子表达式；其中，顶层表达式中包括以子表达式为变量的子项和操作符，子表达式包括变量和操作符；其中对exprm进行多层拆解得到H个顶层表达式Texpm＝{Texpm,1,Texpm,2,…,Texpm,h,…Texpm,H}，Texpm,h为exprm的第h个顶层表达式，h的取值范围为1到H；Texpm,h包括Nk个子表达式sexprm,h＝{sexprm,h,1,sexprm,h,2,…,sexprm,h,i,…,exprm,h,Nk}，sexprm,h,i为Texpm,h的第i个子表达式，i的取值范围为1到Nk,Nk≥1；S300，根据每个条件表达式的顶层表达式及其子表达式获取相应的覆盖域数据块，得到压缩后的条件覆盖率数据库文件，所述条件覆盖率数据库文件中不包括覆盖项数据块；其中，exprm的覆盖域数据块的获取步骤包括：S310，获取Texpm中每个顶层表达式的覆盖域数据块，其中Texpm,h的覆盖域数据块SCOPEm,h绑定Texpm,h中子项的数量sizem,h以及子项之间的条件类型flagm,h；所述子项为子表达式或者变量；S320，获取每个顶层表达式的多个子表达式的覆盖域数据块，其中sexprm,h的覆盖域数据块Bsscopem,h＝{Bsscopem,h,1,Bsscopem,h,2,…,Bsscopem,h,i,…,Bsscopem,h,Nk}，Bsscopem,h,i为sexprm,h,i的覆盖域数据块；Bsscopem,h,i包括绑定SCOPEm,h的唯一身份标识，以及绑定sexprm,h,i中的子项数量sizem,h,i以及子项之间的条件类型flagm,h,i；Bsscopem,h,i不绑定覆盖子项的覆盖项数据块。

全文数据：

权利要求：

百度查询： 上海合见工业软件集团有限公司 成都融见软件科技有限公司 基于条件覆盖率的数据压缩方法、电子设备及存储介质