在mentor的MBSIT中memory模型的不同写法区别？
在写memory模型的时候有两种写法，一种是：read_cycle(
change A;
assertcen;
wait;
assertclk;
wait ;
expect q move
)
write_cycle(
change A;
change D;
assert wen;
assert cen;
wait ;
assert clk;
)
另外一种写法是：
read_cycle(
change A;
assertcen;
wait ;
expect q move
)
write_cycle(
change A;
change D;
assert wen;
assert cen;
wait ;
)
不知道这个加clk和不加clk 的有什么区别
页:
[1]