龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：南京邮电大学
摘要：本发明公开了一种基于桶排序的FSM状态转移覆盖率计算方法及系统，首先根据FSM模型，创建用于存储FSM状态转移信息的数组，以确保状态转移信息的唯一性；再通过解析VCD文件，追踪状态变量的变化，判断是否发生状态转移，当发生状态转移时，利用该状态转移信息将对应的数组元素值从0置为1，将所有提取到的状态转移信息存储到同一个数组中；遍历数组的所有元素并累加数组元素的值，得到产生的状态转移总数或多文件合并状态转移总数，将其除以状态转移总数，计算得到FSM状态转移覆盖率或多文件合并覆盖率。本发明方法实现超大规模FSM状态转移覆盖率高效统计，能有效提高验证效率。
主权项：1.基于桶排序的FSM状态转移覆盖率计算方法，其特征在于，包括如下步骤：S1，创建数组：根据FSM模型，创建用于存储FSM状态转移信息的数组，所述数组长度基于FSM模型中的状态数量和位数，以确保状态转移信息的唯一性；数组存储的FSM状态转移信息具体为：根据FSM模型，将可能存在的所有状态列举，并编号为0、1、2、3...N-1，N为状态总数，将状态转移前后状态的编号组合表示为唯一的整数；若状态总数的位数数值大于状态位数，则在编号组合前做左补零；S2，状态转移判断：通过解析VCD文件，追踪状态变量的变化，判断是否发生状态转移，若未发生状态转移，重复本步骤，直至发生状态转移，进入步骤S3；S3，存储状态转移信息：当发生状态转移时，利用该状态转移信息将对应的数组元素值从0置为1，将所有提取到的状态转移信息存储到同一个数组中；记录状态转移的方法具体为：将产生状态转移对应的两个编号按照状态总数的位数m进行左补零，再将两者连接，得到一个2m位数用以唯一标识这种类型的状态转移；利用这个数作为对应数组的索引，将对应的数组值由0置为1，将所有提取到的状态转移信息存储到同一个数组中；S4，覆盖率计算：利用步骤S3得到的所有存储状态转移信息的数组，计算FSM状态转移覆盖率或多文件合并状态转移覆盖率。
全文数据：
权利要求：
百度查询： 南京邮电大学 基于桶排序的FSM状态转移覆盖率计算方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号