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
状态 Archive
Type 综合文章