8.1i CORE Generator  – 执行形式验证脚本core2formal_wrp时发生错误-Altera-Intel社区-FPGA CPLD-ChipDebug