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

表4ASystemCの拡張構文 

表4ASystemCの拡張構文