如果您的设计使用 SignalTap® II 逻辑分析器,则会正式验证报告不匹配。如果您在设计中使用 SignalTap II 逻辑分析器,则 Quartus® II 正式验证流程不支持 Cadence 一致性 LEC。
环境
验证
BUILT IN - ARTICLE INTRO SECOND COMPONENT
说明