状态化简相关论文
状态化简是指通过一定算法消除时序逻辑电路中的冗余状态，进而降低电路复杂性、减少功耗和提高系统可靠性．完全确定时序逻辑电路指是......
本文通过实例分析了同步时序电路设计中状态化简的过程,指出了隐含表化简法在实际应用中出现的问题,进而提出了相应的改进方法。......
提出一种基于关系矩阵的状态等价类集生成算法，给出了关系矩阵的生成规则，以及通过化简关系矩阵获得状态等价类集的过程，算法特别适用......
在现有的同步时序逻辑电路状态化简常用方法的基础上，提出一种状态化简方法--等效状态替换法。通过对多个实例中状态进行化简，得到与......
在完全确定状态的时序电路、状态机等数字系统设计中,确定全部状态等价类,是进行最优状态化简的前提。结合图论理论提出一种等价类......
为解决控制流综合用时过多而造成的电路设计周期较长的问题,从分析控制流综合的基本步骤和现存问题入手,着眼于控制流综合所接收的......
本文在实用步骤、方法和技巧方面全面探讨了用隐含表法化简原始状态表的具体操作方法，并通过展示直观的实例来加强理解和掌握这种方......
大规模集成电路分析与设计的核心问题之一是逻辑电路的优化。时序逻辑电路优化的任务之一是状态化简,即在保证电路设计要求的前提......
本文提出了一种新的有限状态机的状态划简方法。该方法是通过列表法判断出等价状态进而合并，以达到简化状态转移表的目的。该方法可......
本文讨论了米里电路设计中的状态化简问题,指出状态化简后的电路有可能不能正常工作,给出了状态化简的适用条件和使用注意事项.......
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图......
完全确定时序逻辑电路状态化简是指找到并合并逻辑电路中的等价状态,进而简化电路,提高电路安全性,节约硬件电路成本。电路状态化......
大规模集成电路的发展是计算机科学和电子科学的基石。数字集成电路是集成电路的重要组成部分，其理论基础是数字逻辑电路。尽管目前......
在矩阵模型的基础上，提出了求映射矩阵Ｂ（Ｘ）和输出矩阵Ａ（Ｘ）的方法，进而求出Ｋ阶输出矩阵与Ｐｋ划分．在此基础上，得到了求完全定义时序机状态化简的算法......
