SAT-Based Validation of Statistical Delay Test Generation under Timing Variations
H. Jafarzadeh, J.D. Reimer, H. Amrouch, S. Hellebrand, H.-J. Wunderlich, SAT-Based Validation of Statistical Delay Test Generation under Timing Variations, Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026, 2026.