一种基于有限状态机的状态变化提取方法及系统

发明专利有效专利

申请号：
CN202211269347.7
IPC分类号：G06F9/448
申请日期：
2022-10-17
申请人：
北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于有限状态机的状态变化提取方法及系统
申请号	CN202211269347.7	申请日期	2022-10-17
法律状态	公开	申报国家	中国
公开/公告日	2022-11-15	公开/公告号	CN115344332A
优先权	暂无	优先权号	暂无
主分类号	G06F9/448 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/44 执行特定程序的设计〔3，2006.01，2018.01〕 G06F9/448 执行范例，例如：编程范例的实现〔2018.01〕	IPC分类号	G;0;6;F;9;/;4;4;8查看分类表>
申请人	北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司	申请人地址	北京市海淀区东北旺北京中关村软件园孵化器1号楼B、C座二层1221室变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京云枢创新软件技术有限公司,上海合见工业软件集团有限公司	当前权利人	北京云枢创新软件技术有限公司,上海合见工业软件集团有限公司
发明人	汤杰;高波;金俏慧
代理机构	北京锺维联合知识产权代理有限公司	代理人	李慧敏

摘要

本发明涉及电子设计技术领域，具体涉及一种基于有限状态机的状态变化提取方法及系统，该方法包括获取所有过程块的输入参数和输出参数；遍历所有过程块，根据是否包含上升沿信号或下降沿信号将过程块分为边沿触发的第一类过程块和非边沿触发的第二类过程块；根据每个过程块的输入参数和输出参数获取过程块的有向图数据，检测过程块的有向图数据，获取包括一个第一类过程块的过程块环路；根据每个过程块环路中所有过程块输入参数和输出参数的交集，获取状态参数；基于过程块环路，遍历包含状态参数的每个过程块，提取状态变化，相对于人工提取和记录的方式，不仅提高工作效率，而且解决了遗漏或错记状态变化的问题，提高提取状态变化的准确性。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供