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 09/28/2008
Status Archive
Type General Article