AR# 12575: Synopsys Formality - Support for the Xilinx/Formality formal verification flow
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.