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

Prover eCheck - Are Application Notes on the formal verification flow available?

説明

Are Application Notes on the formal verification flow available?

ソリューション

When using Formal Verification, the supported flow is listed in this Application Note released with the software. The path is: 

<echeck_install_dir>/doc/appnote_Synplify_Pro.pdf

AR# 20685
日付 05/19/2014
ステータス アーカイブ
種類 一般
このページをブックマークに追加