综合属性fsm-encoding、综合选项fsm-extraction以及HDL编码方式 三者优先级问题

 在综合篇介绍综合选项时候，提出了一个问题：

已知

     -fsm-extraction>HDL:  综合选项-fsm-extraction设置的编码方式高于HDL代码定义的编码方式；

     -fsm_encoding>fsm-extraction:  使用综合属性-fsm_encoding在HDL代码中针对某个状态机设定的编码方式，优先级高于综合选项fsm-extraction设置的状态编码方式。               

     HDL>-fsm_encoding :HDL定义编码方式会导致综合属性fsm-encoding失效；

      现在在设置一种场景，HDL代码中定义编码方式Sequential，针对该HDL代码设置综合属性为编码方式one_hot，综合选项-fsm_extraction设置编码方式格雷码，然后看哪一个会生效呢？

    猜想：HDL中原有的编码方式让fsm_encoding定义的编码方式失效，而综合选项高于HDL，最后会以综合选项为最后结果。

 综合后的结果如下：事实证明，生效的one-hot，竟然是是综合属性生效了，可是HDL代码中已经定义了编码方式吗按道理综合属性会失效的啊。

                                 。。。。。。。。。。。未解决！！。。。可能没人这么干吧，三种方式全部定义。。。。

     有兴趣或者有答案的大佬欢迎过来留言，谢谢！！