×

通过分裂内部状态将mealy有限状态机转换为Moore有限状态机。 (英语。俄文原件) 兹比尔1268.93106

J.计算。系统。科学。国际。 49,第6号,900-908(2010); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2010年,第6期,70-79(2010)。
小结:研究了将一个粉状有限状态机(FSM)转化为等效的摩尔FSM的问题。在工程设计实践中,当需要避免输出值直接依赖于输入值的变化时,这个问题经常出现。该方法使用FSM内部状态分裂的操作,并将机器表示为转换列表。实验结果表明,将Mealy FSM转换为Moore FSM后,内部状态数平均增加了1.96倍,跃迁数增加了2.05倍;使用工业软件包实现Moore FSM的成本大约是Mealy机器相应成本的两倍。介绍了最小化方法和摩尔FSM合成的最新发展趋势。

MSC公司:

93C83号 涉及计算机的控制/观察系统(过程控制等)
93B17号机组 转型
93立方厘米 控制理论中的应用模型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] G.H.Mealy,“合成时序电路的方法”,《贝尔系统技术杂志》第34期,1045-1079页(1955年)。 ·doi:10.1002/j.1538-7305.1955.tb03788.x
[2] E.F.Moore,“Gedanhen-Experiments on Sequential Machines”,收录于C.Shannon和J.McCarthy(普林斯顿大学出版社,1956年)的《自动化研究编辑》,第129-153页。
[3] V.M.Glushkov,《数字自动化合成》(Fizmatgiz,莫斯科,1962)[俄语]。
[4] V.V.Solov'ev和A.Klimovich,基于可编程逻辑集成电路的数字系统逻辑设计(Goryachaya liniya-Telekom,莫斯科,2008)[俄语]。
[5] 可编程逻辑(英特尔,1994)。
[6] V.V.Solov'ev,《基于可编程逻辑集成电路的数字系统设计》(Goryachaya liniya-Telekom,莫斯科,2001)[俄语]。
[7] E.McCluskey,《逻辑设计原则》(普伦蒂斯·霍尔,恩格伍德·克利夫斯,新泽西州,1986年)。
[8] V.V.Solov'ev,“分裂内部状态以减少有限自动机函数中的参数数量”,Izv。罗斯。阿卡德。特奥·诺克。修女。以上。,第5期,113–119(2005)【Comp.Syst.Sci.44(5),777–783(2005)】。
[9] M.Avedillo、J.Quintana和J.Huertas,“通过状态分配进行状态合并和拆分:一种新的FSM合成算法”,IEE进展E部分,计算机和数字技术。141(4), 229–237 (1994). ·doi:10.1049/ip-cdt:19941228
[10] L.Yuan、G.Qu、T.Villa和A.Sangiovanni-Vincentelli,“通过状态分裂实现时序电路合成的FSM重组方法”,IEEE Trans。《集成电路和系统的计算机辅助设计》27(6),1159–1164(2008)·Zbl 05515988号 ·doi:10.1109/TCAD.2008.923245
[11] M.Aiman、S.M.Sadiq和K.F.Nawaz,“用于面积和功率最小化的有限状态机状态分配”,摘自IEEE电路与系统国际研讨会(ISCAS)会议记录(电气与电子工程师协会,2006年),第5303–5306页。
[12] S.Wen-Tsong,“低功耗便携式设备有限状态机设计中的新型状态最小化和状态分配”,《集成》,VLSI J.38(4),549–570(2005)。 ·doi:10.1016/j.vlis.2004.08.004
[13] R.Nader和D.Brett,“FPGA中实现的状态机编码风格研究”,载于第49届中西部电路与系统研讨会论文集(MWSCAS’06),2006年(电气与电子工程师协会,2006年),第1卷,第337-341页。
[14] T.Anurag和T.Karen,“通过将有限状态机映射到FPGA中的嵌入式内存块来节省电力”,欧洲电气和电子工程师会议展览研究所计算机学会设计、自动化和测试2,916–921(2004)。
[15] A.Imtiaz和D.Shoba,“最小化不完全指定有限状态机的启发式算法”,《计算机与电气工程》27(2),159-172(2001)·Zbl 1006.68580号 ·doi:10.1016/S0045-7906(00)00016-1
[16] M.Perkowski、L.Jozwiak和W.Zhao,“强未指定有限状态机的符号二维最小化”,《系统体系结构》47(1),15-28(2001)。 ·doi:10.1016/S1383-7621(00)00038-2
[17] S.Rupesh、D.Madhav和H.Narayanan,“用于面积、延迟最小化的有限状态机分解”,载于《IEEE国际计算机设计会议论文集:计算机和处理器中的超大规模集成电路》,电气和电子工程师协会,1999年,第620–625页。
[18] M.Rawski、H.Selvaraj和T.Luba,“功能分解在FPGA设备中基于ROM的FSM实现中的应用”,《系统体系结构》51(6–7),424–434(2005)·Zbl 05431962号 ·doi:10.1016/j.sysarc.2004.07.004
[19] P.Irith和R.Sudhakar,“关于为相邻机器的测试生成找到有限状态机的最小功能描述”,IEEE Trans。计算机49(1),88–94(2000)。 ·数字对象标识代码:10.1109/12.822567
[20] M.Christoph和T.Thorsten,“优化有限状态机OBDD表示的局部编码转换”,系统设计中的形式化方法18(3),285–301(2001)·Zbl 1001.68028号 ·doi:10.1023/A:1011273220017
[21] S.Aritz,“FPGA中使用微型微处理器实现FSM的分析”,《IEEE工业电子国际研讨会(ISIE)论文集》,电气与电子工程师协会(2007),第2290–2294页。
[22] F.Seinstra、D.Koelma和A.Bagdanov,“基于有限状态机的数据并行正则域优化在低级图像处理中的应用”,IEEE Trans。并行和分布式系统15(10),865–877(2004)·Zbl 05107739号 ·doi:10.1109/TPDS.2004.55
[23] L.Vesa、K.Kimmo和H.Timo,“为系统芯片通信优化有限状态机”,摘自IEEE电路与系统国际研讨会论文集,电气与电子工程师协会,2002年,第1卷,第I/485–I/488页。
[24] S.Yang,逻辑综合和优化基准用户指南。3.0版,技术报告,北卡罗来纳州微电子中心,北卡罗莱纳州,1991年。
[25] E.M.Sentovich、K.J.Singh、L.Lavagno等人,“SIS:时序电路合成系统”,备忘录编号UCB/ERL,M92,电子研究实验室。伯克利。电气工程与计算机科学系。加利福尼亚大学,1992年。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。