Aric Fowler, Carl Sechen, Yiorgos Makris. An SMT-Based Method for Identifying State-Holding Elements in Extracted Netlists. In IEEE International Test Conference, ITC 2025, San Diego, CA, USA, September 20-26, 2025. pages 426-429, IEEE, 2025. [doi]
Abstract is missing.