版本的问题？

我编写了一带复位端的RS触发器程序，如下
module chufa(S,R,res,q,not_q);
input S,R,res;
output q,not_q;
reg q,not_q;
reg selt1,selt2;
always
begin
if (res==0)
begin
selt1<=1;
selt2<=0;
end
else if (S==1 && R==0)
begin
selt1<=1;
selt2<=0;
end
else if (S==0 && R==1)
begin
selt1<=0;
selt2<=1;
end
else if (S==0 && R==0)
begin
selt1<=selt1;
selt2<=selt2;
end
else if (S==1 && R==1)
  begin end
else
begin
selt1<=selt1;
selt2<=selt2;
end
q<=selt1;
not_q<=selt2;
end
endmodule
用Q2 7.1版本仿真结果用时序仿真的话，R=1,S=1时，q，not_q均保持原来的状态。
若使用功能仿真，当R=1,S=1时，结果中q,not_q有时保持原来的状态，有时则都变为1。
而用Q2 5.1版本仿真，功能仿真与时序仿真的结果都一样。
这是为什么呢？版本的问题吗？
那有时保持原状态，有时全1又是为什么呢，因为R=1,S=1,q,not_q为任意态吗？

      应该是版本的问题