ERROR: [Synth 8-3354]

Vivado 2017.2 综合失败并报 TclStackFree 错误

综合 Synth 已闭环 Vivado 2017.2 / Windows 10

现象

综合在编码 FSM 后出现断言错误，综合被取消

报错原文

Unexpected Assertion error in File r:/builds/2017.2/continuous/2017_06_06_1901688/src/shared/synth/rtx/syn/gen/HARTGRamGen.cxx Line 1652

根因

帖中未明确

可尝试的处理步骤

• 尝试升级到 2017.2 和 2016.4
• 调整综合设置（flatten_hierarchy、fsm_encoding 等）
• 对代码进行 lint 检查
• 尝试多种综合策略和选项
• 提供 runme.log 和 ramAssert.log

结论

经大量 lint 和修改代码后问题消失，原因仍未知

同一工具下的相关错误码