A method of high-level synthesis for multi-cycle transient fault tolerant digital systems

多周期暂态容错数字系统的高级综合方法

• 批准号: 23500065
• 负责人: INOUE Tomoo
• 金额: $ 2.41万
• 依托单位: Hiroshima City University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500065/
• 关键词: ソフトエラー; 高位合成/動作合成; 過渡故障; 信頼性; 3重系/TMR; 誤り訂正・誤り検出; 耐故障設計; 高位合成; 耐過渡故障設計; コントローラ合成; スケジューリング; バインディング; 誤り訂正・検出; 3重系

As the advance in semiconductor technologies, transient faults caused by particle strike have become a matter of concern, and further it is predicted that such faults can span across more than one clock cycle.We proposes a high-level synthesis algorithm for long duration transient fault tolerance. On the basis of the properties of operational units for transient error correction and detection among operations, we present (1) a force-directed scheduling algorithm with the force derived from the estimation of operational units according to the properties of error correction and detection, (2) a binding algorithm aiming at achieving both of correctablility and detectability with minimizing the number of operational units, and (3) a method for synthesizing transient fault tolerant controllers that utilizes the correctability/detectability of datapaths. The proposed algorithm can derive multi-cycle fault tolerant systems with small hardware resources compared with simply-tripled datapaths.

随着半导体技术的发展，由粒子撞击引起的瞬态故障越来越受到人们的关注，并且预计这种故障可能跨越多个时钟周期。本文根据操作间瞬时纠错和检错的操作单元的性质，提出了（1）一种基于纠错和检错性质的操作单元估计力的力导向调度算法;（2）一种以最小化操作单元数为目标，兼顾可纠错性和可检测性的绑定调度算法;以及（3）利用数据路径的可校正性/可检测性的用于合成瞬时容错控制器的方法。与简单的三重数据通路相比，该算法可以用较少的硬件资源得到多周期容错系统。

项目成果

研究業績

研究成果

A Heuristic Algorithm for Operational Unit Binding to Synthesize Multi-Cycle Transient Fault Tolerant Datapaths

操作单元绑定合成多周期瞬态容错数据路径的启发式算法

• 发表时间: 2013
• 期刊: Digest of Papers 14th IEEE Workshop on RTL and High Level Testing (WRTLT)
• 作者: Tsuyoshi Iwagaki;Tatsuya Nakaso;Ryoko Ohkubo;Hideyuki Ichihara;Tomoo Inoue
• 通讯作者: Tomoo Inoue

High-Level Synthesis for Multi-Cycle Transient Fault Tolerant Datapaths

多周期瞬态容错数据路径的高级综合

• DOI: 10.1109/iolts.2011.5993804
• 发表时间: 2011
• 期刊: Proc. IEEE Int. On-Line Testing Symposium 2011
• 作者: Tomoo Inoue;Hayato Henmi;Yuki Yoshikawa;Hideyuki Ichihara
• 通讯作者: Hideyuki Ichihara

耐過渡故障データパス合成における演算器バインディングのためのヒューリスティックアルゴリズム

瞬态容错数据路径综合中算术单元绑定的启发式算法

• 发表时间: 2012
• 作者: 中祖達也;大窪凉子;岩垣剛;市原英行;井上智生
• 通讯作者: 井上智生

ホームページ

主页