In this paper, we will show how an automated modal clock domain crossing (CDC) analysis can be used to exhaustively verify CDC issues in all test and operational modes of a large SoC with multiple IPs. Modal CDC analysis configures the design as a set of operational modes and runs CDC analysis on each modal version of the design. Before the modal analysis flow was adopted, users would have to manually set up CDC analysis runs for each of the parameter sets corresponding to each DUT mode.

The main benefit of this new approach has come from the automatic consolidation of all the results from each mode, making issues very easy to interpret and debug. Now it only takes a few hours to review results and begin to take corrective action, vs. days and weeks with the prior, manual approach.