AR# 12576

|

Cadence Conformal - Xilinx/Conformal フォーマル検証フローのサポート

説明

概要 : 

Verplex/Xilinx フォーマル検証フローのテクニカル サポートは、どうすれば受けることができますか。

ソリューション

ザイリンクスでは、Conformal LEC ツールを使用したゲート (PAR 後) トゥ ゲート (PAR 後) 検証をサポートしています。 

 

その他の検証 (RTL to RTL、RTL to GATE、RTL to Post-Synthesis、Post-Synthesis to Gate) の場合、必要な検証フローがサポートされているかどうかを Cadence 社にご確認ください。

AR# 12576
日付 03/04/2014
ステータス アーカイブ
種類 一般
People Also Viewed