一种基于RTL网表的有限状态机识别及提取方法

摘要

本发明公开了一种基于RTL网表的有限状态机识别及提取方法，包括：S1将RTL网表中存在逻辑反馈的所有寄存器识别为疑似状态寄存器；S2针对所有疑似状态寄存器，提取驱动该疑似状态寄存器的驱动网表并判断该驱动网表是否符合FSM状态转换逻辑，将符合FSM状态转换逻辑的驱动网表标视为状态寄存器并提取和收集该状态寄存器及其驱动网表；S3对被标记的状态寄存器及其驱动网表计算驱动网表在不同输入信号下状态寄存器的输出信号，并形成FSM状态转换图；S4输出FSM识别及提取结果。本发明对比基于HDL的FSM识别及提取方法更具通用性；以RTL网表作为分析对象在一定程度上能够有效的降低分析的时间和空间复杂度。