Multi-Level Fault Simulation of Digital Systems on Decision Diagrams