文献

J-GLOBAL ID：202102280195013720   整理番号：21A3049218

ファジングと高位合成を用いた近似コンピューティング回路のタイミング検証手法

著者 (3件)： 熊谷僚太 (名古屋大 情報) ,  増田豊 (名古屋大 大学院情報学研究科) ,  石原亨 (名古屋大 大学院情報学研究科)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2021  号： SLDM-195  ページ： Vol.2021-SLDM-195,No.8,1-4 (WEB ONLY)  発行年： 2021年10月08日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究では,近似コンピューティング(Approximate Computing;AC)回路のタイミング検証手法を提案する.AC回路のタイミング検証では,「どのようなテストパターンが,計算結果(例.画像処理の画質)を許容できない範囲まで低下させるか」調査する.本研究では,変異ベースファジング(Coverage-based Greybox Fuzzing;CGF),高位合成,及びFault Injection(FI)を利用したAC回路のタイミング検証手法を提案する.CGFによりテストパターンを生成することで,AC回路の計算品質を低下させるパターンを効率的に発見する狙いがある.提案手法は,既存のCGFツールの移植性を考慮して,SystemCなどの高水準言語で記述されたハードウェアを対象とし,上記のハードウェアに対して高位合成を利用してタイミング特性を抽出する.タイミングクリティカルなFlip-Flop(FF)にFIを行う実装を追加したのち,ファジングを実行することで,「遅延故障の発生条件を考慮しつつ,どのようなテストパターンが計算結果の品質を低下させるか」自動探索する.(著者抄録)

シソーラス用語： プログラム検証 ,  システム設計 ,  回路設計 ,  *タイミング解析 ,  論理回路 ,  遅れ ,  双安定回路 ,  検証 ,  *ハードウェア設計
準シソーラス用語： ソフトウェア検証 ,  ファジング【ソフトウェアテスト】 ,  フリップフロップ ,  演算回路 ,  近似コンピューティング ,  近似計算 ,  高位合成 ,  遅延 ,  動作検証

分類 (1件)： ディジタル計算機ハードウェア一般  (JC04010C)

引用文献 (10件)：

• J. Han and M. Orshansky, “Approximate computing: An emerging paradigm for energy-efficient design,” Proc. ETS, pp. 1-6, 2013.
• Q. Xu, T. Mytkowicz, and N. S. Kim, “Approximate computing: A survey,” IEEE Design & Test, vol. 33, no. 1, pp. 8-22, 2016.
• M. Traiola, A. Virazel, P. Girard, M. Barbareschi, and A. Bosio, “A survey of testing techniques for approximate integrated circuits,” Proc. IEEE, pp. 1-17, 2020.
• V. J. M. Manès et al., “The art, science, and engineering of fuzzing: A survey,” IEEE TSE, Oct. 2019.
• B. P. Miller, L. Fredriksen, and B. So, “An empirical study of the reliability of UNIX utilities,” Communications of the ACM, vol. 33, no. 12, pp. 32-44, 1990.

タイトルに関連する用語 (5件)： 高位合成 ,  近似 ,  コンピューティング ,  検証 ,  手法