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

9.1i Formality/Conformal/eCheck Spartan-3 - How do I get the formal tools to successfully verify a design using the DCMs with DFS Locking Logic inserted in this netlist?

Description

How do I get the formal tools to successfully verify Spartan designs using the DCMs with DFS Locking Logic inserted in this netlist?

Solution

Xilinx is currently working with third-party vendors on a work-around for this problem.

Please contact your local Xilinx FAE for more information.

For Virtex-4, please refer (Xilinx Answer 21484).

AR# 24886
Date Created 09/04/2007
Last Updated 12/15/2012
Status Active
Type General Article