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

リスト1　PSLのVerilogフレーバによる記述例