在mentor的MBSIT中memory模型的不同写法区别？

恒裕

在写memory模型的时候有两种写法，一种是：
read_cycle(
     change A;
     assert  cen;
     wait  ;
     assert  clk;
     wait ;
     expect q move
    )
write_cycle(
   change A;
   change D;
   assert wen;
   assert cen;
   wait ;
   assert clk;
  )

另外一种写法是：
read_cycle(
     change A;
     assert  cen;
     wait ;
     expect q move
    )
write_cycle(
   change A;
   change D;
   assert wen;
   assert cen;
   wait ;
  )

不知道这个加clk和不加clk 的有什么区别