Multiple fault diagnosis with BDD based boolean differential equations

We present a new idea for multiple fault diagnosis in combinational circuits, which combines the concept of multiple fault testing by test groups and solving Boolean differential equations by manipulation of Binary Decision Diagrams (BDDs). A novel 5-valued algebra is introduced for simplifying differential equations, and a discussion is presented how this approach can be used as a basis for hierarchical fault diagnosis to cope with the complexity problem.