高位設計手法にアサーションを適用

表3 ASystemCのアドバイス 

表3 ASystemCのアドバイス