当我的设计使用SignalTap II逻辑分析仪时，为什么我的正式验证报告不一致？

如果您的设计使用SignalTap®II逻辑分析仪，则形式验证报告不匹配。如果您在设计中使用SignalTap II逻辑分析仪，则Cadence Conformal LEC不支持Quartus®II形式验证流程。