举个例子当num==2，clk上升沿来了num要变成新值3，但是这个3要等到下一个clk上升沿到来才能赋给num，当前clk上升沿num值仍然保持为2，所以case中的判定条件num取值是加1前的！
判断加1前的值，FF保留了之前一个始终沿采样到的结果
先执行num <= num + 1'b1; 之后执行case里符合条件的那句
