AR# 12818: 6.1i PrimeTime - Does the verification flow work with all languages?
AR# 12818
6.1i PrimeTime - Does the verification flow work with all languages?
描述
Keywords: PrimeTime, flow, languages, 4.1i, 5.1i
Urgency: Standard
General Description: Does the verification flow work with all languages?
解决方案
1
Xilinx has only verified the Verilog flow for all languages.
For information on VHDL and mixed language flows, please contact your formal verification tool vendors.
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 12805) - "Does Xilinx support equivalency checking for RTL-to-RTL, RTL-to-gate, or gate-to-gate?" (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 or 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 Leonardo Spectrum synthesis tools?" (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?"