AR# 12575


Synopsys Formality - Support for the Xilinx/Formality formal verification flow


Keywords: formal, verification, Synopsys, Formality, Xilinx, support

How do I obtain technical support for the Synopsys/Xilinx formal verification flow?


Xilinx provides verification libraries that are compatible with Synopsys' Formality. Synopsys should be contacted for technical support questions regarding the flow or the Formality tool. Xilinx should be contacted for issues related to the UniSim and SimPrim verification libraries.

Synopsys Technical Support is available at:

Phone: 1-800-245-8005
AR# 12575
日期 10/03/2008
状态 Active
Type 综合文章
People Also Viewed