複製型ファジングで切り拓く近似コンピューティング回路の品質検証基盤

Research Project

Project/Area Number	24K20752
Research Category	Grant-in-Aid for Early-Career Scientists
Allocation Type	Multi-year Fund
Review Section	Basic Section 60040:Computer system-related
Research Institution	Nagoya University
Principal Investigator	増田豊名古屋大学, 情報学研究科, 准教授 (60845527)
Project Period (FY)	2024-04-01 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000) Fiscal Year 2026: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2024: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Keywords	近似コンピューティング / 計算結果の品質 (QoR) / 品質検証基盤 / 複製型ファジング
Outline of Research at the Start	近似コンピューティング（AC）は計算結果の品質 (QoR) をノブとして計算方法に近似を導入し、集積回路の低消費エネルギー化を推進する技術である。AC の設計技術を実用化するために、AC 回路が所望の QoR を満足するか検証する手法が開拓的に研究されているが、この検証に好適な手法は未確立である。本研究では、AC がもたらす低消費エネルギー性を最大限引き出すために、近似適用後の QoR を高い精度かつ高速に検証可能な手法を開拓する。上記目的のために、ソフトウェアテストにおける遺伝的パタン生成技術や多重化技術を最大限に活用した QoR 検証基盤を創出する。