An SMT-Based Method for Identifying State-Holding Elements in Extracted Netlists.

Aric Fowler, Carl Sechen, Yiorgos Makris

Browse the full ITC paper archive.