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
日付 09/28/2008
ステータス アーカイブ
種類 一般