マルチ・クロックドメイン設計の場合、RTLやゲートレベルのシミュレーションでは、異なるクロックドメイン間のデータ転送のタイミングを正確にとらえることができません。したがって、シミュレーションを実行してもシリコンの動作を正確に予測できず、検証プロセスにおいて重大なバグを見逃してしまう可能性があります。0-In CDC検証ソリューションは、こうした問題を解決します。

0-In CDCは、理想的な非同期転送（CDC）検証ソリューションに求められる3つの基本的な要素、すなわち構造的または静的CDC解析、CDCプロトコル検証、CDCリコンバージェンス検証をすべてサポートするなど、業界をリードするCDC検証ソリューションとなっています。0-In CDC検証ソリューションでは、他に類を見ないほど正確にシリコンの動作を予測できます。これにより、CDCのバグをすべてテープアウト前に確実に検出し、リスピン・コストの発生を防ぐことができます。

0-In CDCでは、非同期検証を直観的に実行できます。まず、CDCコンパイラがRTLコードを解析し、すべてのクロックおよびクロックドメイン間の非同期データ転送を特定します。次に、直観的で充実したデバッグ環境を利用して、あらゆる種類のCDCの問題を解決できます。問題を解決したら、RTLコードのシミュレーションにリンクしたプロトコル・アサーションとメタスタビリティ・モデルが自動で生成されます。