クロックドメイン同期化検証例

クロックドメインバウンダリチェック機能のレポート例

シミュレーションでは発見しにくい、
クロックドメイン間を渡る信号の同期化を
静的（テストパタン無し）に検証します！

以下の緑色で囲ったレポートが、Blue Pearlのクロックドメインチェック（Clock domain check）機能により生成されたレポートです：

回路例１：回路が同期化されていない回路とBluePearlでの検証レポート例