AR# 12817

Synopsys Formality - Does the verification flow work with Synopsys FCII, Synplicity Synplify, and Mentor Leonardo Spectrum synthesis tools?

Description

Does the verification flow work with the Synopsys FCII, Synplicity Synplify, and Mentor Leonardo Spectrum synthesis tools?

Solution

Xilinx has only verified the verification flow with Synopsys DC-FPGA.

For more information, see (Xilinx Answer 12815).

AR# 12817
Date 03/16/2010
Status Archive
Type General Article