DC综和出现的错误

DC综合一个很简单的状态机(文件名one.v)，RTL的VCS仿真,功能没问题，综合的时候出现错误，不知道怎么改，求大神指教！

Error: ../one.v :13 Cannot test variable 'rst_n' because it was not in the event expression or with wrong polarity (ELAB-300)

唉，这错误提示说的很明显啊
！rst_n与 posedge rst_n
这两个能匹配么?

谢谢my2817 的回复，已经没问题了