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# 12575

Synopsys Formality - ザイリンクス/Formality フォーマル検証フロー

説明

キーワード : formal, verification, Synopsys, Formality, Xilinx, support, フォーマル, 検証, サポート

ザイリンクス/Synopsys フォーマル検証フローのテクニカル サポートについて

ソリューション

ザイリンクスでは、Synopsys 社の Formality と互換性のある検証ライブラリを提供しています。Formality 検証フローまたは Formality ツールについては、Synopsys 社のテクニカル サポートにお問い合わせください。UniSim および SimPrim 検証ライブラリについては、ザイリンクスのテクニカル サポートにお問い合わせください。

Synopsys 社のテクニカル サポートの連絡先は、次のとおりです。

電子メール : support_center@synopsys.com (英語のみ)
電話 : 1-800-245-8005 (米国)
AR# 12575
日付 10/03/2008
ステータス アクティブ
種類 一般
このページをブックマークに追加