Vivado综合设置选项分析:-fsm_extraction

-fsm_extraction用于设定状态机的编码方式,其可选值为one_hot, sequential, johnson, gray, auto和off。默认值为auto,此时Vivado会自行决定最佳的编码方式。

以Vivado自带的例子工程Wavegen为例,该工程中正好有一个状态机,在模块cmd_parse中且采用了sequential编码方式,如下图所示。

如果将-fsm_extraction设定为one_hot,则最终结果如下图所示(在综合log文件中搜索Synth 8-3354即可找到),可见最终状态机采用了one_hot的编码方式。这印证了-fsm_extraction优先级高于RTL代码指定的编码方式。

对于状态机,还有一个综合属性FSM_ENCODING,其值可以是one_hot, sequential, johnson, gray, auto和none。其优先级则高于-fsm_extraction设定的编码方式。如果使用了FSM_ENCODING,在综合报告中会显示工具检查到FSM_ENCODING设定的编码方式,如下图所示。

结论

  • 综合选项-fsm_extraction优先级高于RTL代码中指定的编码方式
  • 综合属性FSM_ENCODING优先级则高于-fsm_extraction指定的编码方式
  • 在综合log文件中,搜索encoding或Synth 8-3354可查看状态机对应的编码方式