为什么Encounter Conformal在设计的正式验证期间报告不匹配,包括lpm_counter宏功能?-Altera-Intel社区-FPGA CPLD-ChipDebug