使用Cadence Encounter Conformal软件时,Stratix V的形式验证可能会失败-Altera-Intel社区-FPGA CPLD-ChipDebug