同步时序逻辑电路的一种设计方法

？介绍了在状态表存在冗余状态情况下,用触发器次态表达式与特征方程比较,求激励函数的方法,并举例说明了应用。