add wave コマンドでワイルドカード（*）で指定すると、アサーションについては自動では追加されません。
例）add wave -r /*
明示的にアサーション名を add wave コマンドで追加してください。
例）add wave /tb/assert__check_as_deasserts /tb/cntrl/assert__check_refresh
--------------------
カテゴリ：シミュレーション
ツール：ModelSim® / Questa® Sim
デバイス：