层次状态机及协处理状态机的Verilog HDL描述方法研究
|
摘要
为实现复杂多层次和并行的有限状态机(FSM),进而实现信息通信和自动化控制等复杂系统设计,层次有限状态机(HFSM)和协处理状态机(CFSM)是解决这类问题的有效方法。深入剖析HFSM和CFSM的构成,设计相应的同步及协作机制,并给出基于Verilog HDL描述和实现的整体解决方案。实际测试表明,系统具有稳定性好和结构简单等特点。
Hierarchical finite state and coprocessing state machine is an effective method to solve this kind of problems which can realize complex multi-level and parallel finite state machine,and the complex design of information communication and automation control system.This paper deeply analyzes the composition of HFSM and CFSM,the corresponding synchronization and cooperation mechanism,and gives the overall solution based on Verilog HDL description and implementation.Actual tests show that servomechanism goes with good stability,simple structure and other characteristics.
Hierarchical finite state and coprocessing state machine is an effective method to solve this kind of problems which can realize complex multi-level and parallel finite state machine,and the complex design of information communication and automation control system.This paper deeply analyzes the composition of HFSM and CFSM,the corresponding synchronization and cooperation mechanism,and gives the overall solution based on Verilog HDL description and implementation.Actual tests show that servomechanism goes with good stability,simple structure and other characteristics.
引文
[1]秦进平.数字电子与EDA技术[M].北京:中国电力出版社,2013:214-215.
[2]孙宏旭,邢薇,陶林.基于有限状态机的模型转换方法的研究[J].计算机技术与发展,2012(2):10-13.
[3]何伟,金远平,金鑫.层次状态机可复用软件框架的设计与应用[J].计算机应用软件,2007(10):34-36.
[4]褚华,陈平.一种层次状态图的自动生成方法[J].西安电子科技大学学报,2005(5):702-705.
[5]肖涛森,罗克露.层次状态机在集群设备中的应用[J].微计算机信息,2008(36):122-123.
[6]李润博,李明树.基于状态机的UML行为继承关系[J].计算机科学,2004(1):16-19.
[7]刘晋,任玉帅.层次状态机在嵌入式用户界面中的应用研究[J].微计算机应用,2008(11):91-94.
[8]夏斯华.基于层次状态机的GPON系统OMCI协议栈的实现[D].上海:上海交通大学,2012.
[9]陈静杰,李会茹,曾学锋.层次化UML状态机在拆装过程仿真中的应用[J].图学学报,2014(6):481-485.
[10]胡庆华,游林儒.基于有限状态机的卷绕机系统设计[J].组合机床与自动化加工技术,2009(11):56-59.
[11]单冰.FPGA/DSP图像协处理技术及以太网数据传输[D].哈尔滨:哈尔滨工业大学,2008.
[12]李列文,桂卫华,胡小龙.一种基于FPGA的低功耗、容错状态机设计方法[J].湖南大学学报(自然科学版),2010(6):77-82.
[13]卫一然,甄国涌,单彦虎.FPGA设计中状态机稳定问题的研究[J].电视技术,2012(12):47-49.
[14]朱倩,田甜,赵欢.基于FPGA中状态机的逻辑等价性验证方法[J].南通大学学报(自然科学版),2016(9):45-49.
[15]丰平,马晓川,陈模江,等.主从并行状态机用于复杂FPGA控制系统设计[J].微计算机应用,2009(6):1-5.
[2]孙宏旭,邢薇,陶林.基于有限状态机的模型转换方法的研究[J].计算机技术与发展,2012(2):10-13.
[3]何伟,金远平,金鑫.层次状态机可复用软件框架的设计与应用[J].计算机应用软件,2007(10):34-36.
[4]褚华,陈平.一种层次状态图的自动生成方法[J].西安电子科技大学学报,2005(5):702-705.
[5]肖涛森,罗克露.层次状态机在集群设备中的应用[J].微计算机信息,2008(36):122-123.
[6]李润博,李明树.基于状态机的UML行为继承关系[J].计算机科学,2004(1):16-19.
[7]刘晋,任玉帅.层次状态机在嵌入式用户界面中的应用研究[J].微计算机应用,2008(11):91-94.
[8]夏斯华.基于层次状态机的GPON系统OMCI协议栈的实现[D].上海:上海交通大学,2012.
[9]陈静杰,李会茹,曾学锋.层次化UML状态机在拆装过程仿真中的应用[J].图学学报,2014(6):481-485.
[10]胡庆华,游林儒.基于有限状态机的卷绕机系统设计[J].组合机床与自动化加工技术,2009(11):56-59.
[11]单冰.FPGA/DSP图像协处理技术及以太网数据传输[D].哈尔滨:哈尔滨工业大学,2008.
[12]李列文,桂卫华,胡小龙.一种基于FPGA的低功耗、容错状态机设计方法[J].湖南大学学报(自然科学版),2010(6):77-82.
[13]卫一然,甄国涌,单彦虎.FPGA设计中状态机稳定问题的研究[J].电视技术,2012(12):47-49.
[14]朱倩,田甜,赵欢.基于FPGA中状态机的逻辑等价性验证方法[J].南通大学学报(自然科学版),2016(9):45-49.
[15]丰平,马晓川,陈模江,等.主从并行状态机用于复杂FPGA控制系统设计[J].微计算机应用,2009(6):1-5.