• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Studies on instruction-level self-degradation detection mechanism and automated test program generation for processors

Research Project

Project/Area Number 23K11035
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60040:Computer system-related
Research InstitutionOita University

Principal Investigator

大竹 哲史  大分大学, 理工学部, 教授 (20314528)

Project Period (FY) 2023-04-01 – 2026-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2025: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2024: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2023: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords劣化検知 / プロセッサテスト / 命令レベルテスト / テストプログラム生成
Outline of Research at the Start

大規模集積回路(LSI)と通信技術の普及により,乗用車や路線バスの自動運転をはじめ,新しい製品やサービスが生まれるとともに,小規模な構成でセーフティクリティカル,ミッションクリティカルなシステムの実現が求められている。一方で,LSIの微細化技術の進歩に伴い,システム運用時のLSIの劣化が顕在化し,劣化故障による誤動作のリスクが増大している。そのため,システムの中核となるプロセッサには,高度な情報処理機能とともに高い信頼性が要求されている。本研究では,プロセッサに追加する自己劣化検知のためのハードウェア機構と命令,および,ユーザプログラムにテストプログラムを自動的に組み込む仕組みを開発する。

Outline of Annual Research Achievements

本研究では,プロセッサに対する命令レベル自己テスト(SBST)による劣化検知手法を開発する。具体的には,①プロセッサの演算回路部に対するSBSTのための劣化検知機構,②プロセッサ全体の劣化検知機構,③テストプログラム自動組み込み手法の開発を行う。令和5年度は,例題としてオープンソース命令セットアーキテクチャのRISC-Vを選択し,これに基づく設計であるpoyo-vに対して,算術論理演算回路(ALU)の遅延故障テストを行うためのテストプログラムテンプレート生成およびそれによって印加できるALUのテスト制約を求めた。制約を元に生成したALU単体の遅延故障テストパターンをテストプログラムテンプレートに埋め込み,テストプログラムを生成した。これにより,定性的にALUの完全な故障検出率を達成できる。ALUのテストプログラムを実行することにより,プロセッサの多くの部分が同時に活性化されると考えられる。ALU以外の部分の故障検出率を評価するため,このテストプログラムに対応する故障シミュレーションが必要となり,そのためのテストパターンファイルの構成方法を検討した。次年度は引き続きテストパターンファイルを生成して故障シミュレーションを行う。
本研究では,劣化検知を行うために,遅延故障テストプログラムを実行した際の応答を時間-ディジタル変換回路(TDC)でキャプチャする。劣化検知の検証のため,まずFPGAを用いて実験を行うため,FPGA上でTDCを実装した。次年度は引き続きにはpoyo-vとTDCを組み合わせ,TDCを動作させるためのテスト命令を構成する。これをFPGA上に実装し,全体の動作および劣化検知のための動作を評価する。

Current Status of Research Progress
Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

TDCを命令で制御するための機構が必要になることが明らかになった。また,TDCの評価のためのFPGA上での実装に時間がかかっている。これにより,当初計画していたプロセッサの試作が進められていない。

Strategy for Future Research Activity

次年度は,TDCの動作確認およびTDCの制御のための命令を追加し,劣化検知機構を含むプロセッサ全体を設計して評価する。また,ALU以外のモジュールに対して劣化検知を行うために,ALU以外のモジュールに対するテストプログラムの構成方法を検討する。

Report

(1 results)
  • 2023 Research-status Report

URL: 

Published: 2023-04-13   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi