シーケンスブロック内で$ displayステートメントを使用して、システムVerilogアサーション（SVA）に情報を表示するにはどうすればよいですか？

Question

シーケンスブロックが実行中に何らかの情報を表示したい。

例えば：

sequence A; 
a; 
$display ("Signal A asserted here"); 
endsequence 

私はこのコードを試してみましたが、次のエラーが発生しました：機能が期待されるところ

タスク$表示が呼び出されます。 タスクコールを修正して再コンパイルしてください。

これをどのように克服できますか？

Answer 1

(sequence_expr, sequence_match_item)というシーケンス式で$displayを呼び出すことができます。sequence_match_itemには、operator_assignment、inc_or_dec_expression、またはsubroutine_callを指定できます。

sequence A; 
(a, $display("Signal A asserted here")); 
endsequence 

は、配列内で呼び出されている$displayの直接例を有する配列の一致にIEEE Std 1800-2012 § 16.11 呼び出しサブルーチンを参照してください。

Answer 2

$ displayステートメントに "always"ブロックを使用できます。