以下に示すように、アサーションのシーケンスで絶対遅延を指定することは可能ですか?
sequence Sab
a # 2ns b;
endsequence
これは確かにコンパイルされません。しかし、クロックサイクルではなく遅延のアサーションを書きたいときに、そのような状況に対処する方法を知りたかっただけですか?
例: 2 つのクロック間のスキュー関係をチェックするアサーションを書きたいですか? スキューがたとえば 5 ps を超えたときにアサーションを起動するように指定するにはどうすればよいですか?