私はこのようなことをしようとしています:
assert property (@(posedge clk) disable iff (!rst) a[*c] -> $rose(b))
cこれは「定数」ではなく、レジスタのいくつかのビットからの値です。例:reg[4:0]一度だけ書かれています。チェックはb、a が "c" サイクル数ハイの場合にのみアサートされるかどうかを確認することです。
ただし、SVA は次のような変数を受け入れません[*reg[4:0]]。何か案は？？
私はこのようなことをしようとしています:
assert property (@(posedge clk) disable iff (!rst) a[*c] -> $rose(b))
cこれは「定数」ではなく、レジスタのいくつかのビットからの値です。例:reg[4:0]一度だけ書かれています。チェックはb、a が "c" サイクル数ハイの場合にのみアサートされるかどうかを確認することです。
ただし、SVA は次のような変数を受け入れません[*reg[4:0]]。何か案は？？