求非完全描述状态表最小闭覆盖的图解法
A Mapping Method for Finding a Minimum Closed Cover of Incompletely Defined State Table
-
摘要: 目前,在综合一个时序数字系统时,尚无求非完全描述状态表最小闭覆盖的系统方法.本 文提出的正是这样一种方法. 本文首先介绍如何画最大相容类隐含图,尔后给出了两种简化隐含图的方法.最后对化 简的隐含图运用阱点的递归选择及回路分解,能够由最大相容类集合求出最小闭覆盖. 对于比较复杂的非完全描述状态表,本图解法较之目前被广泛采用的试验法具有更为明显的 优点.Abstract: At present, when a sequential digital system is synthesized, there is not any systematie method in respect of finding a minimum closed cover of incompletely defined state table. What this paper presents is such a systematic method. First, it is described how to draw an implicit map of MC(maximum compatible) terms. Second, two methods of simplifying the map are given. Finally, applying the catch point's recursive selection and the loop decomposition into simplified map, we are able to find out a minimum closed cover from a set of maximum compatible terms. For a more complex incompletely defined state table this mapping method has more obvious advantage over the try-and-error method applied widely at present.
计量
- 文章访问数: 1919
- HTML全文浏览量: 121
- PDF下载量: 994
- 被引次数: 0