Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)

Aman Kumar, Muhammad Ul Haque Khan, Bijitendra Mittra

Modern System-on-Chip (SoC) designs are becoming more and more complex due to the technology upscaling. SoC designs often operate on multiple asynchronous clock domains, further ad…