always@()语法中，敏感列表不完整，可能导致仿真与综合结果不一致