Synopsys Formality - Who supplies libraries?

AR#	12820	Search For Another Answer
Topic	SW-Project Navigator
Last Updated	09/28/2008
Status	Archive

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.