状态化简相关论文
本文提出不完全规定有限状态机状态化简的启发式算法HSM(heuristic state minimizer).它从最大相容集出发生成闭覆盖;再以这个闭覆......
有限状态机(FSM)综合中，状态化简对减少电路的复杂度是非常重要的，由于EDA综合系统的发展和需要，要求能够有效地对较大的FSM最小化.本......
串行数据检测器是数字电路中常见的一种时序逻辑电路。本文从教科书中的一道例题出发,指出设计串行数据检测器时应注意的几个问题,......
本文主要讨论了小型的同步时序逻辑电路设计时的状态化简问题,并给出确定等价状态的一般方法。这种方法具有普遍性,在教学中易于学......
本文主要讨论了小型的同步时序逻辑电路设计时的状态化简问题,并给出确定等价状态的一般方法。这种方法具有普遍性,在教学中易于学......
介绍了利用图论理论的连接矩阵概念,对数字系统进行状态化简的一种方法.该方法具有简便、直观的特点.最后给出了一个应用实例。......
论文介绍了新型ＥＰＬＤ的特点，分析了这些特点带给解析工作的难度。并以ＥＰ６１０代表，详细阐述了解析基本理论。给出了解析ＥＰ６１０的硬件环境和软件算法，着重......
在当前的数字系统设计自动化技术中，高层次综合已成为关键技术之一。高层交综合中，控制器部分的综合可用有限状态机实现。该文介绍一......
在矩阵模型的基础上，担子同求映射矩阵Ｂ（Ｘ）和输出矩阵Ａ（Ｘ）的方法，进而求出Ｋ阶输出矩阵与ＰＫ划分，在此基础上，得到了求完全定义时序机状态化简的算法......
应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容坏 出Ｐｋ划分，从而得到了该类时序机状态......
本文通过实例分析了同步时序电路设计中状态化简的过程,指出了隐含表化简法在实际应用中出现的问题,进而提出了相应的改进方法。......
本文在[1,2]的基础上,提出了“枝”迭代和“树”迭代公式。设M是任意原始状态机,由定理2可以写出对应的矩阵A_i和B_i,从而得到机器......
提出一种基于关系矩阵的状态等价类集生成算法，给出了关系矩阵的生成规则，以及通过化简关系矩阵获得状态等价类集的过程，算法特别适用......
在现有的同步时序逻辑电路状态化简常用方法的基础上，提出一种状态化简方法--等效状态替换法。通过对多个实例中状态进行化简，得到与......
鉴于数字电路逻辑状态的化简在数字电路逻辑设计中的重要地位,从计算机编程的角度提出了用C语言编程化简等价状态的一种具有普遍适......
在完全确定状态的时序电路、状态机等数字系统设计中,确定全部状态等价类,是进行最优状态化简的前提。结合图论理论提出一种等价类......
为解决控制流综合用时过多而造成的电路设计周期较长的问题,从分析控制流综合的基本步骤和现存问题入手,着眼于控制流综合所接收的......
分析了时序逻辑电路设计中的状态化简问题，指出了状态化简不会改变电路的逻辑功能，不可能使电路产生错误输出。讨论了串行数据检测器......
本文指出完全确定序列机状态化简是不完全确定序列机状态化简的特殊情况，后者具有更普遍的意义，文中提出了不完全确定序列机状态化简......
本文在实用步骤、方法和技巧方面全面探讨了用隐含表法化简原始状态表的具体操作方法，并通过展示直观的实例来加强理解和掌握这种方......
大规模集成电路分析与设计的核心问题之一是逻辑电路的优化。时序逻辑电路优化的任务之一是状态化简,即在保证电路设计要求的前提......
本文提出了一种新的有限状态机的状态划简方法。该方法是通过列表法判断出等价状态进而合并，以达到简化状态转移表的目的。该方法可......
本文讨论了米里电路设计中的状态化简问题,指出状态化简后的电路有可能不能正常工作,给出了状态化简的适用条件和使用注意事项.......
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图......
完全确定时序逻辑电路状态化简是指找到并合并逻辑电路中的等价状态,进而简化电路,提高电路安全性,节约硬件电路成本。电路状态化......
大规模集成电路的发展是计算机科学和电子科学的基石。数字集成电路是集成电路的重要组成部分，其理论基础是数字逻辑电路。尽管目前......
在矩阵模型的基础上，提出了求映射矩阵Ｂ（Ｘ）和输出矩阵Ａ（Ｘ）的方法，进而求出Ｋ阶输出矩阵与Ｐｋ划分．在此基础上，得到了求完全定义时序机状态化简的算法......
