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

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