电子学报 ›› 2020, Vol. 48 ›› Issue (11): 2226-2232.DOI: 10.3969/j.issn.0372-2112.2020.11.019

• 学术论文 • 上一篇    下一篇

一种可逆有限状态机的电路设计

吴钰, 张莹, 王伦耀, 储著飞, 夏银水   

  1. 宁波大学信息科学与工程学院, 浙江宁波 315211
  • 收稿日期:2019-10-10 修回日期:2020-03-28 出版日期:2020-11-25 发布日期:2020-11-25
  • 作者简介:吴钰 女,1995年出生于安徽安庆,信息科学与工程学院研究生,研究方向为可逆逻辑综合.E-mail:13566361397@163.com;张莹 女,1992年出生于安徽安庆,信息科学与工程学院研究生,研究方向为可逆逻辑综合;王伦耀 男,1972年生于浙江宁波.宁波大学信息科学与工程学院教授.研究方向为低功耗集成设计、集成电路设计自动化等.E-mail:wanglunyao@nbu.edu.cn
  • 基金资助:
    国家自然科学基金(No.61471211,No.U1709218,No.61871242);浙江省自然科学基金(No.LY19F040004);宁波市自然科学基金(No.2019A610077)

Design of a Reversible Finite State Machine

WU Yu, ZHANG Ying, WANG Lun-yao, CHU Zhu-fei, XIA Yin-shui   

  1. Faculty of Electrical Engineering and Computer Science, Ningbo University, Zhejiang, Ningbo 315211, China
  • Received:2019-10-10 Revised:2020-03-28 Online:2020-11-25 Published:2020-11-25

摘要: 不同以往通过重构电路行为实现可逆有限状态机方法,本文提出了一种可逆有限状态机的电路结构.该电路主要包括次态与输出计算电路以及状态预置与采样锁存电路两部分,且提出的可逆有限状态机电路中不存在独立的可逆触发器,但可以实现可逆JK,D,T等触发器功能.同时,文中也提出了基于该可逆有限状态机电路的可逆时序电路综合方法,并用实例进行了验证.相比于基于行为重构的可逆有限状态机的综合方法,本文提出的综合方法可以避免原始状态机的逆状态机的求解和增加额外的信号位,从而使得综合过程变得更加简单.

关键词: 可逆逻辑, 有限状态机, 时序电路, 逻辑综合

Abstract: Unlike the previous methods of realizing reversible finite state machine(FSM) by reconstructing FSM behavior,a circuit structure for reversible FSM realization is proposed in this paper.The circuit structure mainly includes two parts,one for next state and output calculation,the other for state preset,data sampling and storage.In the proposed reversible FSM,there is no complete reversible flip-flops such as JK,D and T,but their functions can be realized by the proposed reversible FSM.Furthermore,a synthesis method of reversible sequential circuits based on the proposed reversible FSM is presented and verified by an example.Compared with the synthesis methods of reversible finite state machine based on behavior reconstruction,the proposed synthesis method in this paper can avoid the solution of the inverse state machine of the original state machine and adding extra bits,which makes the synthesis process simpler.

Key words: reversible logic, finite state machine, sequential circuits, logic synthesis

中图分类号: