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

龙图腾网获悉深远华创(南京)信息科技有限公司申请的专利基于RTL代码的FPGA三段式有限状态机识别及提取方法和装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121478321B 。

龙图腾网通过国家知识产权局官网在2026-05-12发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202610020283.9，技术领域涉及：G06F8/65；该发明授权基于RTL代码的FPGA三段式有限状态机识别及提取方法和装置是由叶伟松设计研发完成，并于2026-01-08向国家知识产权局提交的专利申请。

本基于RTL代码的FPGA三段式有限状态机识别及提取方法和装置在说明书摘要公布了：本发明公开了一种基于RTL代码的FPGA三段式有限状态机识别及提取方法和装置，该方法包括：获取待识别和提取FPGA三段式有限状态机的RTL代码模块，查找并提取存在内部信号更新的时序进程和组合进程，查找并提满足存在以内部信号作为条件信号且条件分支下不存在对该内部信号执行赋值操作的进程或逻辑片段；判断是否存在3个进程或存在2个进程和1个逻辑片段满足三段式有限状态机逻辑关系，若存在则判定当前RTL代码模块中存在三段式有限状态机。本发明可直接通过RTL代码对FPGA的三段式有限状态机进行识别和提取，并且能够同时满足对三段式有限状态机设计的正确性以及对编码规则的遵循性进行检查。

本发明授权基于RTL代码的FPGA三段式有限状态机识别及提取方法和装置在权利要求书中公布了：1.一种基于RTL代码的FPGA三段式有限状态机识别及提取方法，其特征在于，包括下述步骤： 步骤1、获取待识别和提取FPGA三段式有限状态机的RTL代码模块； 步骤2、查找并提取RTL代码模块中存在内部信号更新的时序进程，所述时序进程是指必须由时钟沿触发逻辑执行的进程，其满足所有逻辑操作结果在下一个时钟沿到来时统一更新； 步骤3、查找并提取RTL代码模块中存在内部信号更新的组合进程，所述组合进程是指不需要时钟信号，随输入信号的电平变化而触发逻辑执行的进程，其满足所有逻辑操作结果随触发条件变化而即时更新； 步骤4、查找并提取RTL代码模块中存在以内部信号作为条件信号且条件分支下不存在对该内部信号执行赋值操作的进程或逻辑片段； 步骤5、对步骤2~步骤4提取的所有进程和逻辑片段进行分析，存在3个进程或存在2个进程和1个逻辑片段满足三段式有限状态机逻辑关系则判定当前RTL代码模块中存在三段式有限状态机，包括以下步骤： 步骤51、分析步骤2提取的所有时序进程，识别出存在信号A和信号B且满足信号A位于赋值语句赋值符左边，信号B位于赋值语句赋值符右边这一特征的进程； 步骤52、分析步骤3提取的所有组合进程，识别出一个进程，其满足包含以步骤51中信号A为条件信号的CASE或IF条件语句，且每个条件分支下存在一个赋值符左边为步骤51中信号B，右边为向量信号或枚举信号的赋值语句； 步骤53、分析步骤4提取的所有进程或逻辑片段，识别出一个进程或逻辑片段，其满足包含以步骤51中信号A为条件信号的CASE或IF条件语句，且每个条件分支下不存在步骤51中的信号A和信号B； 步骤54、当且仅当步骤51、步骤52和步骤53所述条件均满足，则满足三段式有限状态机逻辑关系，判定当前RTL代码模块中存在三段式有限状态机； 步骤6、从步骤5提取的组合进程中查找内部信号更新对应的所有条件表达式、状态赋值关系以及各状态信号，以各状态信号为节点，以赋值关系为节点间的跳转流向，以条件表达式为跳转条件，构建得到三段式有限状态机状态跳转图，包括以下步骤： 步骤61、对步骤52得到的组合进程中的CASE或IF条件语句进行分析，从每个条件控制分支中提取条件表达式，以每个条件控制分支下的赋值语句赋值符右边的信号作为状态信号，以赋值符右端流向左端的流向关系作为各状态跳转流向，分别记录条件表达式、状态信号以及状态跳转流向； 步骤62、以步骤61中提取的各状态信号为节点，以条件表达式为各状态信号跳转条件，根据各状态信号跳转流向将各节点之间构建为一个三段式有限状态机状态跳转图。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人深远华创(南京)信息科技有限公司，其通讯地址为：210028 江苏省南京市鼓楼区幕府东路199号A7幢M109室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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