Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC). - Aman Kumar; Muhammad Ul Haque Khan; Bijitendra Mittra (CoRR, 2024)