文献

J-GLOBAL ID：202102282932104564   整理番号：21A3049215

近似コンピューティング回路の品質検証を高速化するファジングテスト法

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

抄録/ポイント： 近似コンピューティング(Approximate Computing;AC)は,計算品質の制約(例.機械学習の推論精度)下で,消費電力や回路面積を削減できる技術として有望視されている.一方,AC回路では,重要でない計算実行時において,論理故障やタイミング故障の発生を許容し得るため,従来回路と比較して「計算品質が制約を満たしているかどうか検証すること」(以下,品質検証)が困難である.本稿は,「計算品質の制約を違反させるテストパターンをできるだけ多く発見すること」を品質検証における網羅率最大化と定義し,AC回路を対象とした,品質検証の網羅率最大化手法を研究する.近年,ファジングを用いた回路検証に注目が集まっている.ファジングは,ソフトウェアセキュリティの研究領域で最も有望なテスト手法の一つであり,コード網羅性を高めるテストパターンを軽量かつ高速に生成出来ることに大きな利点がある.本研究ではまず,ファジングを利用した既存の品質検証手法を対象に,(回路規模,検証時間,検証網羅性)組の関係を定量的に評価する.次に,大規模集積回路への適用を見据えて,ファジングを用いた品質検証における高速な網羅率最大化法を検討する.(著者抄録)

シソーラス用語： 計算 ,  計算機回路 ,  *品質保証 ,  高速化 ,  試験 ,  *品質検査 ,  LSI【IC】 ,  性質 ,  *回路試験 ,  プログラム検証 ,  テストパターン
準シソーラス用語： コンピューティング ,  ソフトウェア検証 ,  テスト ,  ファジング【ソフトウェアテスト】 ,  近似コンピューティング ,  大規模集積回路 ,  網羅性

分類 (2件)： 集積回路一般  (NC03161C) ,  品質検査  (KB04020L)

引用文献 (15件)：

• 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.
• S. Froehlich, D. Große, and R. Drechsler, “One method-all error-metrics: A three-stage approach for error-metric evaluation in approximate computing,” Proc. DATE, pp. 284-287, 2019.
• A. Chandrasekharan, M. Soeken, D. Große, and R. Drechsler, “Precise error determination of approximated components in sequential circuits with model checking,“ Proc. DAC, pp. 1-6, 2016.

タイトルに関連する用語 (4件)： 近似 ,  コンピューティング ,  検証 ,  高速化