论文标题
基于有限状态机分解的快速单通量量子逻辑的顺序电路合成
Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition
论文作者
论文摘要
快速单通量量子（RSFQ）逻辑是一项有前途的技术，用于在某些专业区域中取代互补的金属氧化物 - 氧化型逻辑（CMOS）逻辑，这是由于提供了超快速和节能电路。为了实现大规模集成设计，由于与CMOS逻辑相比，由于逻辑类型，时序约束和电路结构的差异，需要专门用于RSFQ逻辑的电子设计自动化（EDA）工具。逻辑合成对于将行为电路描述转换为电路网列表至关重要，通常结合了组合和顺序电路合成。对于RSFQ逻辑，顺序电路合成具有挑战性，尤其是对于具有反馈回路的非线性顺序块。因此，本文提出了基于有限状态机（FSM）分解的顺序电路合成算法，该算法确保了设计功能，降低成本并提高RSFQ电路性能。此外，我们介绍了反馈逻辑和2位计数器的合成过程，以证明所提出的算法是如何运行的，并且ISCAS89基准电路揭示了我们方法合成大型顺序电路的能力。
Rapid Single Flux Quantum (RSFQ) logic is a promising technology to supersede Complementary metal-oxide-semiconductor (CMOS) logic in some specialized areas due to providing ultra-fast and energy-efficient circuits. To realize a large-scale integration design, electronic design automation (EDA) tools specialized for RSFQ logic are required due to the divergences in logic type, timing constraints, and circuit structure compared with CMOS logic. Logic synthesis is crucial in converting behavioral circuit description into circuit netlist, typically combining combinational and sequential circuit synthesis. For the RSFQ logic, the sequential circuit synthesis is challenging, especially for non-linear sequential blocks with feedback loops. Thus, this paper presents a sequential circuit synthesis algorithm based on finite state machine (FSM) decomposition, which ensures design functionality, lowers costs, and improves the RSFQ circuit performance. Additionally, we present the synthesis processes of the feedback logic and the 2-bit counter to demonstrate how the proposed algorithm operates, and ISCAS89 benchmark circuits reveal our method's ability to synthesize large-scale sequential circuits.
