用sva写断言用到了until ,报语法错误如何解决

jason9

following verilog source has syntas error:

../tb/assertion.sv ,,271: token is 'until'
$rose(c) |=> $stable (a) until $fell(b);

until用法好像也没错，替换until 为其他比如 throughout 不报错。是这个版本的vcs或者uvm不支持 until语法？求大神解答