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!
Page Bookmarked
  1. Xilinx - All Programmable
  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