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

Cadence Conformal - フォーマル検証フローに関するアプリケーション ノート

説明

フォーマル検証フローに関するアプリケーション ノートはありますか。

ソリューション

フォーマル検証を使用する場合、サポートされるフローは Cadence 社の Web サイトから入手可能なアプリケーション ノートに記述されています。

http://sourcelink.cadence.com/docs/files/Application_Notes/2007/Xilinx_FPGA_EC_application_note_v11.pdf

メモ : この文書を入手するには、Sourcelink のユーザー名とパスワードが必要です。Sourcelink アカウントの入手については、Cadence 社にお問い合わせください。

AR# 20617
日付 12/15/2012
ステータス アクティブ
種類 一般
このページをブックマークに追加