2. Support
  3. AR# 12805: 6.1i - Does Xilinx support equivalency checking for RTL-to-RTL, RTL-to-Gate, or Gate-to-Gate?

AR# 12805

6.1i - Does Xilinx support equivalency checking for RTL-to-RTL, RTL-to-Gate, or Gate-to-Gate?

Description

Keywords: RTL, gate, 4.1i, 5.1i, RTL, Equivalency

Urgency: Standard

General Description:
Does Xilinx support equivalency checking for RTL-to-RTL, RTL-to-Gate, or Gate-to-Gate?

Solution

1

Xilinx supports only RTL-to-Gate equivalency checking. (For RTL-to-RTL and Gate-to-Gate checking, please contact the formal verification tool vendors.)

Xilinx supports formal verification tools so that equivalency checking is available for RTL-to-post synthesis and RTL-to-Layout designs that are targeted to Xilinx devices. Xilinx has neither validated nor endorsed the use of these tools for any other purposes (such as re-targeting, etc.). Xilinx recommends that you directly contact your formal verification tool vendors for further information regarding re-targeting and any other applications.

2

For related PrimeTime information, please see the following Answer Records:

(Xilinx Answer 12802) - "What is formal verification?"
(Xilinx Answer 12803) - "What types of users will be interested in the formal verification flow?"
(Xilinx Answer 12804) - "Does Xilinx support equivalence checking and model checking?"
(Xilinx Answer 12806) - "Why does Xilinx support equivalency checking?"
(Xilinx Answer 12807) - "Does Xilinx plan to support model checking?"
(Xilinx Answer 12808) - "Should equivalency checking replace simulation?"
(Xilinx Answer 12809) - "When should I use equivalency checking?"
(Xilinx Answer 12810) - "How will I benefit from using equivalency checking?"
(Xilinx Answer 12811) - "Can I use equivalency checking to re-target an FPGA to an ASIC? If so, how?"
(Xilinx Answer 12812) - "Which equivalency-checking tool vendors does Xilinx support?"
(Xilinx Answer 12813) - "What platforms does Xilinx support?"
(Xilinx Answer 12814) - "I am a current Formality/Conformal customer. Who do I contact for support-related issues?"
(Xilinx Answer 12815) - "Are application notes regarding verification flow available?"
(Xilinx Answer 12816) - "What are the limitations of the verification flows?"
(Xilinx Answer 12817) - "Does the verification flow work with the Synopsys FCII, Synplicity Synplify, and Mentor LeonardoSpectrum synthesis tools?"
(Xilinx Answer 12818) - "Does the verification flow work with all languages?"
(Xilinx Answer 12820) - "Who supplies libraries?"
(Xilinx Answer 12821) - "What libraries does Xilinx provide?"
(Xilinx Answer 12822) - "How do I install the libraries that are referenced by Xilinx Application Note 411?"
(Xilinx Answer 12823) - "What Xilinx product families are supported?"
AR# 12805
Date 06/23/2004
Status Archive
Type General Article