论文部分内容阅读
定义了两种不同性质的约束项，即“不会出现的”约束项和“具任意性”的约束项，并以一个同步五进制加法计数器为例，说明了分别应用这两种最小项以不同的方式设计电路，使所设计的数字电路最简单。最后，以一个能自启动的4位扭环形计数器的设计为例，说明了具体分析、合理应用约束项，避免产生新的无效循环，从而使所设计的4位扭环形计数器电路最简单且能自启动。