オンライン誤り検出可能・セルフテスト容易な高信頼算術演算回路に関する研究

• 研究課題/領域番号: 25730033
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 計算機システム
• 研究機関: 中京大学
• 研究代表者: 鬼頭 信貴 中京大学, 工学部, 講師 (90630997)
• 研究期間 (年度): 2013-04-01 – 2016-03-31
• 研究課題ステータス: 完了 (2015年度)
• 配分額: 3,250千円 (直接経費: 2,500千円、間接経費: 750千円); 2015年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2013年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
• キーワード: 算術演算回路 / VLSIのテスト / オンライン誤り検出 / 乗算回路 / 加算回路 / 高信頼 / テスト容易 / 浮動小数点 / LSIのテスト

研究成果の概要

オンライン誤り検出可能なオーバーヘッドの小さいプレフィックス加算回路を提案したほか、セルフテストが容易でなおかつオンライン誤り検出可能な桁上げ選択加算回路を提案した。浮動小数点演算回路に関して、完全な二重化の代わりに部分的な二重化を行うことで1 ulpより大きな誤りは必ずオンライン誤り検出できる部分二重化浮動小数点乗算回路のほか、剰余符号による検査を二段階で行うことで丸め等における誤りを検出可能な浮動小数点演算回路を提案した。このほか、オンライン誤り検出可能な3オペランド複素数乗算回路の提案を行った。

研究成果

• [雑誌論文] Low-Overhead Fault-Secure Parallel Prefix Adder by Carry-Bit Duplication (2013)
  • 著者名/発表者名: Nobutaka Kito, Naofumi Takagi
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E96.D 号: 9 ページ: 1962-1970
  • DOI: 10.1587/transinf.E96.D.1962
  • NAID: 130003370984
  • ISSN: 0916-8532, 1745-1361
  • 査読あり
• [学会発表] テスト容易でオンライン誤り検出可能な桁上げ選択加算器 (2015)
  • 著者名/発表者名: 鬼頭信貴
  • 学会等名: 電子情報通信学会ディペンダブルコンピューティング研究会
  • 発表場所: 長崎市
  • 年月日: 2015-12-03
• [学会発表] オンライン誤り検出可能な3オペランド複素数乗算回路 (2015)
  • 著者名/発表者名: 鬼頭信貴, 吉田孝洋
  • 学会等名: 電子情報通信学会 2015年総合大会
  • 発表場所: 草津市
  • 年月日: 2015-03-12
• [学会発表] 部分二重化を用いたオンライン誤り検出可能な浮動小数点乗算器の設計と評価 (2015)
  • 著者名/発表者名: 鬼頭信貴, 秋元一志, 高木直史
  • 学会等名: 電子情報通信学会ディペンダブルコンピューティング研究会
  • 発表場所: 奄美市
  • 年月日: 2015-03-07
• [学会発表] 部分二重化を用いた微小誤りを許容するオンライン誤り検出可能な浮動小数点乗算器 (2014)
  • 著者名/発表者名: 鬼頭信貴, 秋元一志, 高木直史
  • 学会等名: 電子情報通信学会ディペンダブルコンピューティング研究会
  • 発表場所: 東京都
  • 年月日: 2014-06-20
• [学会発表] 剰余検査によるオンライン誤り検出可能な浮動小数点乗算器 (2013)
  • 著者名/発表者名: 山口大樹, 鬼頭信貴, 高木直史
  • 学会等名: DAシンポジウム2013
  • 発表場所: 下呂温泉水明館（岐阜県下呂市）
• [学会発表] 剰余検査を用いたオンライン誤り検出可能な浮動小数点乗算器 (2013)
  • 著者名/発表者名: 山口大樹, 鬼頭信貴, 高木直史
  • 学会等名: 第69回FTC研究会
  • 発表場所: かんぽの宿 湯田（山口県山口市）