Structural decision diagrams in digital test : theory and applications

statement of authorship
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman
location of publication
Cham
publisher
year of publication
pages
xiii, 595 lk. : ill.
series
Computer Science Foundations and Applied Logic
keyword
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
ISBN
978-3-031-44733-4
ISSN
2731-5754
scientific publication
teaduspublikatsioon
classifier
2.1
TalTech department
language
inglise