FishTail’s CDC verification solution formally verifies that asynchronous clock domain crossings are correctly synchronized. Either RTL or netlist input is supported.
CDC Verification Features
Formal
CDC Verification
What Makes us Different
Unlike all other CDC solutions that focus on recognizing synchronizing structures that are enumerated by designers, our focus is on formally verifying the correctness of synchronizing logic. This results in less noise. We provide a powerful GUI to debug formal failures.