Xilinx/保形形式验证流的Cadence保形支持

描述

一般描述：

如何获得Velpx/Xilinx形式化验证流程的技术支持？

解决方案

Xilinx支持门（POR PAR）到门（POR PAR）验证使用共形LEC工具。

对于任何其他验证（RTL到RTL、RTL到GATE、RTL到POST综合、后综合到门），请联系Cadence以查看是否需要所希望的验证流。