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

龙图腾网获悉广东工业大学申请的专利一种VCD文件的有限状态机覆盖率统计方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119473872B 。

龙图腾网通过国家知识产权局官网在2025-09-19发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411411033.5，技术领域涉及：G06F11/3668；该发明授权一种VCD文件的有限状态机覆盖率统计方法是由张嘉昱;郑欣;熊晓明;蔡述庭;高怀恩;詹瑞典设计研发完成，并于2024-10-10向国家知识产权局提交的专利申请。

本一种VCD文件的有限状态机覆盖率统计方法在说明书摘要公布了：本发明公开了一种VCD文件的有限状态机覆盖率统计方法，通过直接解析设计阶段编写的有限个状态以及状态之间转移行为的YAML格式文件，采用哈希表映射技术，将信号名与状态转移信息建立映射关系，实现了时间复杂度降至O1的常数级效率。在处理仿真产生的VCD文件时，采取两种策略性文件读取方法，简化了文件处理流程。通过自定义哈希算法，确保数据处理的唯一性和准确性。在仿真数据的处理上，依据数据首字符的规律进行筛选，仅保留关键的状态转移信息。本发明可有效克服现有技术在资源受限条件下处理VCD文件和统计有限状态机覆盖率的不足，不仅加快了有限状态机覆盖率的统计速度，还提升了验证流程的效率，为集成电路设计的验证阶段带来了显著的性能改进。

本发明授权一种VCD文件的有限状态机覆盖率统计方法在权利要求书中公布了：1.一种VCD文件的有限状态机覆盖率统计方法，其特征在于,包括： 读取设计阶段编写的有限个状态以及状态之间转移行为的YAML格式文件，获取信号的状态转移信息； 读取仿真后产生的VCD文件，获取信号在激励条件下的仿真产生的状态转移信息； 计算规定信号在VCD文件中的有限状态机的覆盖率，并以规定的形式输出至文件； 读取设计阶段编写的有限个状态以及状态之间转移行为的YAML格式文件，获取信号的状态转移信息，包括： 打开记录有限个状态以及状态之间转移行为的YAML格式文件； 逐单词读取YAML格式文件，设置枚举类型作为环境变量并命名为Title，根据读取的单词为环境变量Title赋值； 根据环境变量Title进行信息提取，并将提取到的信息存到std::unordered_map类型的无序哈希表对象中，以信号名作为映射的位置； 读取YAML格式文件结束后，返回std::unordered_map类型的无序哈希表对象； 读取仿真后产生的VCD文件，获取信号在激励条件下的仿真产生的状态转移信息，包括： 打开VCD文件，先使用逐单词读取的方式读取VCD文件中信号变量定义部分； 其中，根据单词内容信息使用条件语句进行处理，记录规定信息对应的标识符以及为此信号标识符计算自定义哈希函数的哈希值，存于vector类型的对象中； 接着，通过逐行读取的方式读取VCD文件仿真信息部分，针对每行字符串的第一个字符，使用switch方法处理，记录规定信号在仿真时间下的新状态以及对应的旧状态； 读取VCD文件结束后，返回包括需要记录规定信号以及对应状态转移的vertor容器，关闭VCD文件； 计算信号标识符自定义哈希函数的哈希值，包括： 接收要计算哈希值的字符串，创建整型变量，命名为len，通过std::string.length函数计算出字符串的长度并赋值给变量len； 遍历字符串中的每个字符，每个字符的ASCII码值减去33后的结果乘以94的i次方，其中i为该字符在字符串中的位置，累加得到哈希值； 将乘以94的i次方的计算方式转换为移位计算，移位计算消耗时间远远小于调用c++中的pow幂函数的时间； 返回当前标识符字符串使用自定义哈希函数计算结果； 计算公式为： 其中，n为字符串长度，i为当前字符在字符串中的位置，ASCIIXi为第i个字符对应的ASCII码。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人广东工业大学，其通讯地址为：510062 广东省广州市越秀区东风东路729号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。