アサーション活用の手引き

リスト4　RTLコードの内容をそのまま記述したアサーション（その1）