概要 :
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 |
ステータス | アーカイブ |
種類 | 一般 |