4. プロセス代数を用いた形式的検証 (<特集> 論理設計の形式的検証)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1994-08-15

著者

• 高原 厚

  Ntt Lsi 研究所

関連論文

• 性能指向型FPGAの検討
• 論理合成システムSERAPHIMテンプレート化合成手法
• ゼロサプレスBDDによるペトリネットのCTL記号モデル検査
• ゼロサプレス型BDD表現を用いた有限状態機械の一解析手法
• 4. プロセス代数を用いた形式的検証 ( 論理設計の形式的検証)

スポンサーリンク