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

5.1i PrimeTime - How do I install the libraries that are referenced by Xilinx Application Note 411?


Keywords: application, app, note, XAPP, 411, .db, 4.1i, 5.1i

Urgency: Standard

General Description:
How do I install the libraries that are referenced by Xilinx Application Note 411?



The libraries that are referenced by (Xilinx XAPP411) are available on the ISE 4.1i/5.1i Alliance/ Foundation UNIX installation CD.

To install the PrimeTime libraries, choose the "Custom Install" option rather than the "Typical Install" option in the Xilinx installer window (in the "Items to Install" portion of the installation). Select the options for installing the "Synopsys PrimeTime Libraries" and/or "Tuxedo - LEC Verplex Libraries". (Please note that Verplex Conformal LEC was previously called "Verplex Tuxedo LEC".)


For related PrimeTime information, please also 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/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 12823) - " What Xilinx product families are supported?"
AR# 12822
Date Created 10/09/2001
Last Updated 06/23/2004
Status Archive
Type General Article