为什么具有full_case综合属性的状态机会导致形式验证不匹配?-Altera-Intel社区-FPGA CPLD-ChipDebug