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!

AR# 12820

Synopsys Formality - Who supplies libraries?

Description

Keywords: PrimeTime, libraries, Formality

Urgency: Standard

General Description:
Who supplies libraries?

Solution

Xilinx supplies the libraries with the ISE software.

The libraries are located in "$XILINX/verilog/verplex" and "$XILINX/verilog/formality" for Verplex Conformal LEC and Synopsys Formality, respectively.
AR# 12820
Date Created 08/29/2007
Last Updated 09/28/2008
Status Archive
Type General Article