Cadence Conformal – 关于正式验证流程的应用笔记是否可用？

问题描述

应用笔记是否可用于正式验证流程？

解决/修复方法

使用形式验证时，支持的流程在Cadence网站上的本应用笔记中列出：

http://sourcelink.cadence.com/docs/files/Application_Notes/2007/Xilinx_FPGA_EC_application_note_v11.pdf

注意：您必须具有Sourcelink用户名和密码才能访问此文档。联系Cadence以获取Sourcelink帐户。