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

表1　線形時相論理のオペレータとPSLの構文の対応