FPGA之道（67）代码中的约束信息（四）状态机的相关约束