74、数字电路状态机测试与设计相关知识解析

数字电路状态机测试与设计相关知识解析

1. 状态机测试向量

测试状态机时，通常会编写向量，这些向量不仅要让状态机遍历每个状态，还要测试从每个状态出发的所有转移。与组合电路测试向量不同，状态机测试向量在测试转移前，必须先将机器驱动到所需状态，并且对于每个不同的转移，都要重复这个过程。

例如，对于某个状态机的测试向量如下：

test_vectors
([RESET_L, CLOCK, A, B] -> [QSTATE , LASTA, Z])
 [   0   ,  .C. , 0, 0] -> [INIT   ,   0  , 0]; " Check -->INIT (RESET)
 [   0   ,  .C. , 1, 0] -> [INIT   ,   1  , 0]; "  and LASTA flip-flop
 [   1   ,  .C. , 0, 0] -> [LOOKING,   0  , 0]; " Come out of initialization
 [   0   ,  .C. , 0, 0] -> [INIT   ,   0  , 0]; " Check LOOKING-->INIT (RESET)
 [   1   ,  .C. , 0, 0] -> [LOOKING,   0  , 0]; " Come out of initialization
 [   1   ,  .C. , 1, 0] -> [LOOKING,   1  , 0]; " --> LOOKING since 0!=1
 [   1   ,  .C. ,