APA (7th ed.) Citation

Kumar, A., Khan, M. U. H., & Mittra, B. (2024). Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC).

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Kumar, Aman, et al. Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC). 2024.