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.
Download
No fulltext has been uploaded.
Misc
| English
Author
Jafarzadeh, Hanieh;
Reimer, Jan DennisLibreCat;
Amrouch, Hussam;
Hellebrand, Sybille;
Wunderlich, Hans-Joachim
Department
Publishing Year
LibreCat-ID
Cite this
Jafarzadeh H, Reimer JD, Amrouch H, Hellebrand S, Wunderlich H-J. SAT-Based Validation of Statistical Delay Test Generation under Timing Variations.; 2026.
Jafarzadeh, H., Reimer, J. D., Amrouch, H., Hellebrand, S., & Wunderlich, H.-J. (2026). SAT-Based Validation of Statistical Delay Test Generation under Timing Variations.
@book{Jafarzadeh_Reimer_Amrouch_Hellebrand_Wunderlich_2026, place={Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026}, title={SAT-Based Validation of Statistical Delay Test Generation under Timing Variations}, author={Jafarzadeh, Hanieh and Reimer, Jan Dennis and Amrouch, Hussam and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2026} }
Jafarzadeh, Hanieh, Jan Dennis Reimer, Hussam Amrouch, Sybille Hellebrand, and Hans-Joachim 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.
H. Jafarzadeh, J. D. Reimer, H. Amrouch, S. Hellebrand, and 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.
Jafarzadeh, Hanieh, et al. SAT-Based Validation of Statistical Delay Test Generation under Timing Variations. 2026.
Google Scholar