modelsim仿真遇到一些问题，请大家看看

我在modelsim仿真的时候，不知道为什么有一些信号可以复位，有一些信号不能复位。然后我就单独拿了其中一个信号出来仿真，发现还是不能复位，但是我用assign获得这个信号的值，然后输出出来的时候，这个信号的值又是正确的，求问，这是什么原因呢?谢谢大家！
我拿了s信号出来单独仿真，用s_temp去存储s的值，发现它是可以输出正确的值。
编译的时候，警告没有时许约束文件sdc，是说明我需要添加sdc文件吗?

源程序看看?

还有，这个是状态机的仿真。