基于SD卡的有限状态机的模块化设计  

Modular design of finite state machine based on SD card

作　　者：胡正伟 刘威 HU Zhengwei;LIU Wei(School of Physical Science and Technology,Wuhan University,Wuhan 430072,China;Shenzhen Research Institute of Wuhan University,Shenzhen 518057,China)

机构地区：[1]武汉大学物理科学与技术学院,湖北武汉430072 [2]武汉大学深圳研究院,广州深圳518057

出　　处：《电子设计工程》2021年第4期1-6,共6页Electronic Design Engineering

基　　金：国家自然科学基金项目(61474084);深圳市基础研究项目(JCYJ20180302173424902);武汉市应用基础前沿专项(2019010701011386)。

摘　　要：基于对传统有限状态机的研究与分析,并结合SD卡具有热插拔的特点,在基于SD卡的SPI模式下,实现了基于SD卡的有限状态机的模块化设计,克服了传统有限状态机对输入信号的依赖,同时也忽略了在设计中是选择Moore型还是Mealy型状态机的矛盾。只需要根据输入信号的编码代号画出树形状态图,确定好几个固定的地址差值便可进行下一步的程序设计,简化了有限状态机的设计过程。同时文中设计框图中的SD卡作为存储设备,在集成电路设计过程中可换成存储单元,进而不仅改进了传统有限状态机的设计,而且还为状态机模块化的应用提供了一种新的、可模块化的有限状态机建模方法。基于存储设备的读写是可控的,输出数据可直接读出,从而减少模块出错的几率,提高了程序设计的健壮性与可控性。This system is based on the research and analysis of the traditional finite state machine,combined with the SD card has the characteristics of hot swap,in the SPI mode based on the SD card,the modular design of the SD card-based finite state machine is realized,which overcomes the traditional the dependence of the finite state machine on the input signal also ignores the contradiction of whether to choose the Moore type or Mealy type state machine in the design.The designer only needs to draw a tree state diagram according to the code of the input signal,determine several fixed address differences and then proceed to the next program design,which simplifies the design process of the finite state machine.At the same time,the SD card in the design block diagram of this article is used as a storage device,which can be replaced with a storage unit during the integrated circuit design process.This article not only improves the design of the traditional finite state machine,but also provides a modular application of the state machine a new,modular finite state machine modeling method.The reading and writing based on the storage device is controllable,and the direct reading of the output data reduces the chance of module errors,and improves the robustness and controllability of the program design.

关 键 词：有限状态机 SD卡 模块化设计 树形状态转换图 

分 类 号：TN492[电子电信—微电子学与固体电子学]