Domain decomposition methods constitute a fundamental strategy in numerical analysis, enabling the partitioning of large and complex computational problems into smaller, more manageable sub-problems.

As the complexity of integrated circuit (IC) designs continues to rise, the task of verifying these designs has become increasingly challenging. The pace of this growth is staggering, with design ...