基于状态转换符的时序电路冗余状态变换设计

在分析了时序电路冗余状态基础上，提出了基于状态转换符的时序电路冗余状态变换设计，可以把时序电路在４ 变量以内产生的冗余状态故障自动变换为合法状态，从而避免了状态验证和测试生成等较为繁琐的步骤，可以方便地设计出各种给定状态的具有自启动能力的时序电路，简洁方便、设计效率高，尤为适应采用Ｍａｔｌａｂ 程序对各类同步时序电路进行分析、化简和设计。