A highly efficient method for extracting FSMs from flattened gate-level netlist
A highly efficient method for extracting FSMs from flattened gate-level netlist
复制标题
一种从扁平化门级网表中提取 FSM 的高效方法
DOI：
10.1109/iscas.2010.5537093
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Ye Ren
中科院分区：
文献类型：
--
作者：
Yiqiong Shi;Chan Wai Ting;B. Gwee;Ye Ren
本文提出了一种从扁平化门级网表中提取有限状态机（FSM）的新方法。所提出的方法采用潜在状态寄存器消除技术和两级 FSM 分离策略，非常适用于控制密集型电路。潜在状态寄存器消除技术基于控制信号识别，而两级FSM分离策略基于使能树识别和强连通分量算法。为了展示所提出的 FSM 提取方法的功效并说明其独特功能，使用 Synopsys DesignWare DW8051 微控制器作为基准电路进行比较和仿真。结果表明，与所报告的技术相比，所提出的方法将 FSM 中状态寄存器数量方面提取的 FSM 的复杂性降低了 90% 以上。
This paper proposes a novel method for extracting Finite State Machines (FSMs) from flattened gate-level netlist. The proposed method which employs a potential state register elimination technique and a two-level FSM separation strategy is highly applicable to control-intensive circuits. The potential state register elimination technique is based on control signal identification whereas the two-level FSM separation strategy is based on enable tree identification and the strongly connected components algorithm. To demonstrate the efficacy and to illustrate the unique features of the proposed FSM extraction method, the Synopsys DesignWare DW8051 microcontroller is used as the benchmark circuit for comparison and simulations. Results show that the proposed method reduces the complexity of the extracted FSMs in terms of number of state registers in an FSM by more than 90% as compared to the reported technique.