0

以下に示すように、アサーションのシーケンスで絶対遅延を指定することは可能ですか?

sequence Sab
 a # 2ns b;
endsequence

これは確かにコンパイルされません。しかし、クロックサイクルではなく遅延のアサーションを書きたいときに、そのような状況に対処する方法を知りたかっただけですか?

例: 2 つのクロック間のスキュー関係をチェックするアサーションを書きたいですか? スキューがたとえば 5 ps を超えたときにアサーションを起動するように指定するにはどうすればよいですか?

4

1 に答える 1