The Sound of Cadence

次世代の等価性検証ソリューション Conformal Smart Logic Equivalence Checker

チップの複雑度やデザインの規模が急速に増大し、設計のみでなく検証の難易度や時間もあわせて増大しています。特に先端プロセスノードに向けて進化している論理合成技術を駆使し、設計者はより高度なPPA（performance, power, area）ゴールを求めていることから、等価性検証の証明手段にも影響を与えており、処理時間の増加や証明が完遂しないケースが発生しています。

これらの問題を解決するソリューションとして、Cadence® Conformal® Smart Logic Equivalence Checker (以下、Conformal Smart LEC) がリリースされました。Conformal Smart LECが提供する主な新技術を以下にご紹介します。

・順応型証明テクノロジ

最小限のユーザ設定で決定的な証明にたどりつく最速なソリューションを見つけ出します。分散された各パーティションを解析し、実行時間を最短にするために最適なフォーマルアルゴリズムを決定することにより、特に複雑なビヘイビアレベルのデータパス構造を持つデザインにおける検証のタイムアウトを防ぎます。

・大規模分散型並列処理アーキテクチャー

自動的にデザインのパーティショニングを行い、等価性検証処理を複数のマシンおよびCPUに分散することができます。100個のCPUまで分散処理を拡張することが可能で、分散化のプロセスは手作業による設定の必要がないので、設計者は意識することなく分散処理を実行することができます。

これらの新技術により、従来の等価性検証ツールに比べ、Conformal Smart LECは同一の計算機リソース環境下で平均して4倍の高速化を実現します。 さらに大規模並列分散型並列処理アーキテクチャーを利用し、16CPU （4マシン×4 CPUなど）での実行により、25倍までの高速化を実現できたケースもあります。

Conformal LECは、各方面から非常に高い評判を頂いており、業界標準ツールとして長年設計者にご愛顧いただいています。Conformal LECの使い勝手や信頼性の高いコアエンジンはそのままに、Conformal Smart LECは等価性検証時間の大幅な短縮を提供します。これからの設計には不可欠なソリューションになってきますので、ぜひ一度 Conformal Smart LECをお試しください。

フィールドエンジニアリング&サービス本部
デジタル&サインオフ
シニアAEマネージャー
岡村　亮介

この記事に関する問い合せ先：
コーポレート・マーケティング部
E-mail：cdsj_info@cadence.com