Fast Current Constraints Generation for Chip Safety. - Cedric Feghali; Farid N. Najm (ISQED, 2024)