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
ステータス アクティブ
種類 一般
People Also Viewed