Structural Decision Diagrams for Modeling Digital Circuits
Boolean Algebra Meets Graph-Theory
High-level Decision Diagrams for Modeling Digital Systems
Applications in Test Engineering
Parallel Fault Simulation with Critical Path Backtracing
Multi-valued Simulation for Hazard Detection in Digital Circuits
Test Group Generation for Detecting Multiple Faults
Avoiding Mutual Masking of Multiple Faults
Cross-level Modeling of Faults in Digital Systems
Hierarchical Multi-level Test Generation
Automated Synthesis of Software-based Self-test
Implementation-Independent Testing of Microprocessors