UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

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
ステータス アーカイブ
種類 一般
このページをブックマークに追加