Analogous Alignments: Digital "Formally" meets Analog. - Hansa Mohanty; Deepak Narayan Gadde (CoRR, 2024)