AR# 12820


Synopsys Formality - Who supplies libraries?


Keywords: PrimeTime, libraries, Formality

Urgency: Standard

General Description:
Who supplies libraries?


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
People Also Viewed