Diagnostic modeling of digital systems with low- and high-level decision diagrams

Abstract

The complexity of digital systems is constantly growing. This has resulted in an increasing trend in design errors and manufacturing faults in modern VLSI systems. As the result, verification and test will continue to dominate as crucial factors in time-to-market, reliability, and cost of VLSI systems.