論理回路の形式的検証の正確さ向上に関する研究

2009 年度 研究成果報告書

• 研究課題/領域番号: 20700046
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 計算機システム・ネットワーク
• 研究機関: 名古屋大学
• 研究代表者: 中村 一博 名古屋大学, 大学院・情報科学研究科, 助教 (90335076)
• 研究期間 (年度): 2008 – 2009

研究概要

順序回路の形式的検証において、回路変換を行うことにより、到達不能状態における動作を誤検出されないような動作に変更し、フォールスネガティブを削減する手法を開発した。また、順序回路のsequential SAT問題を解くアルゴリズムを高速化する手法として、異なる時間フレームに属する状態同士を併合する手法を開発した。

研究成果

• [学会発表] Sequential SATの高速化のためのm-Trieを用いた時間フレームを跨いだ状態併合 (2010)
  • 著者名/発表者名: 鳥居洸佑、中村一博、高木一義、高木直史
  • 学会等名: 電子情報通信学会総合大会
  • 発表場所: 東北大学(宮城県)
  • 年月日: 20100000
• [学会発表] 順序回路の形式的検証におけるフォールスネガティブ削減のための回路変換 (2010)
  • 著者名/発表者名: 尾野紀博、中村一博、高木一義、高木直史
  • 学会等名: 電子情報通信学会VLSI設計技術研究会
  • 発表場所: 沖縄県男女共同参画センター(沖縄県)
  • 年月日: 20100000
• [学会発表] Sequential SATにおける時間フレームを跨いだ状態併合 (2009)
  • 著者名/発表者名: 成瀬智啓、中村一博、高木一義、高木直史
  • 学会等名: 電子情報通信学会総合大会
  • 発表場所: 愛媛大学(愛媛県)
  • 年月日: 20090000
• [備考]
  • URL: http://www.takagi.i.is.nagoya-u.ac.jp/~nakamura/