Using Determinant Decision Diagrams (DDDs), symbolic transfer functions of circuit under test are constructed and its testability measure can be calculated exactly and efficiently.

• 利用行列式判决图,可以有效而准确地求得被测电路传输函数的符号表达式和计算出其可测性测度。