为什么使用altmult_add宏功能报告对网表进行正式验证不匹配?-Altera-Intel社区-FPGA CPLD-ChipDebug