Title: Structural Decision Diagrams in Digital Test