时序电路的冗余状态变换确认研究

本文以状态跳变图为基础，深入分析冗余变换与非法变换的特征，提出结构冗余和功能冗余的概念，并讨论了可测、不可测故障与冗余之间的联系，最后结合验证和测试生成，提出了状态冗余隐含遍历确认策略。