Vivado Synthesis是否默认支持FSM提取？

修改标题

描述

解

从工具版本2013.1开始，Vivado Synthesis支持默认的FSM提取。现在默认情况下已启用此功能。此选项启用状态机标识并指定应应用的编码类型。 -fsm_extraction开关的默认选项是“auto”。自动编码允许工具为所识别的每个状态机选择最佳编码。

您还可以为-fsm_extraction开关选择以下编码类型;要么在Vivado工具综合设置中应用它们，要么通过synth_design TCL命令将它们传递给-fsm_extraction：

• one_hot
• 顺序
• 约翰逊
• 灰色

如果需要禁用FSM提取，可以通过将“off”传递给-fsm_extraction开关来实现。

默认情况下，FSM提取在2012年之前未开启。默认情况下关闭，有限状态机HDL综合为逻辑。