Home > 製品情報&ソリューション > Logic Design > Encounter Conformal Equivalence Checker

  • Contact
  • Print

Encounter Conformal Equivalence Checker

Encounter Conformal Equivalence Checkerは、すでに多くのテープアウトで実証された業界でもっとも広く使用されている等価性検証ツールです。従来のゲートレベル・シミュレーションに比べ、複雑な算術演算回路、データパス、メモリ、カスタム回路を含むあらゆる回路に対して非常に高速に検証することができます。また、クロックの同期性検証のための機能検証も兼ね備えています。

特長と利点

－  数百万ゲート規模のASIC、またはFPGAを網羅的に検証 － 従来のゲートレベル・シミュレーションと比べ高速に検証
－  独立した検証テクノロジを用いてクリティカルなバグの見逃しのリスクを削減
－  設計フロー全体を通して高速かつ、正確なバグの検出と修正を実現
－  設計サイクルの早い段階で、機能的なクロック・ドメイン・クロッシングの問題を回避可能
－  複雑なデータパスに対する等価性検証能力を拡張し、RTL-to-Layout検証のギャップを改善（Encounter Conformal EC XL）
－  RTLモデルがシリコン上で実装されるトランジスタ回路と同じ機能であることを検証可能（Encounter Conformal EC GXL）
 

関連情報

  Encounter Conformal Equivalence Checker日本語データシート