UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 12575

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

Description

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

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

Solution

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:

E-mail: support_center@synopsys.com
Phone: 1-800-245-8005
AR# 12575
Date Created 08/29/2007
Last Updated 10/03/2008
Status Active
Type General Article