同步时序网络逻辑设计中建立原始状态表的算法

本文讨论了建立原始状态表需要确定的若干问题,给出了建立串行序列检测器原始状态表的算法。

用程序实现隐含表

本文论述了用语言描述隐含表来实现等效的判断,以实现对完全给定同步时序电路的原C始状态表进行化简。