描述
Does Vivado Synthesis support setting fsm_encoding = "user_encoding" ?
This would be useful for making FSM optimizations (for example redundant state removal) but still keeping the original encoding specified in the HDL file.
解决方案
In Vivado 2014.4 and older versions, Vivado Synthesis does not support "user_encoding" for the fsm_encoding attribute.
Support for "user_encoding" is added in Vivado 2015.1.