关于combinational and sequential parts of an fsm described in same always block ，spyglass警告

combinational and sequential parts of an fsm described in same always block ，这个莫名其妙的警告。

主要原因是，在always里，一个变量不能用来做判断，并且同时赋值。

改警告的办法就是，增加一个reg的变量，用这个reg变量做判断。

在另外做一个 always @(*) a_nx= a; 消除错误。