| 研究課題/領域番号 |
19K11882
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60040:計算機システム関連
|
|---|
| 研究機関 | 広島市立大学 |
|---|
研究代表者 |
市原 英行 広島市立大学, 情報科学研究科, 教授 (50326427)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2021年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2020年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2019年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | Stochastic Computing / Approximate Computing / 計算機システム / Dependable Computing / LSI CAD / ストカスティックコンピューティング / 計算機支援設計 |
|---|
| 研究開始時の研究の概要 |
申請者はこれまでに，確率論的に近似演算を行うストカスティックコンピューティング（SC）回路の要素設計技術に関する研究を行ってきた．本研究では，目的に応じた高品質なSC回路を合成するための高位合成手法を提案し，容易かつ低コストにSC回路を設計可能な計算機支援設計環境を構築する．具体的には，最適SC回路アーキテクチャ探索手法，最適パラメータ探索手法，高速回路シミュレーション手法，の3つの手法を2年間で提案し，最終年度の3年目にこれらを統合して新しい設計環境を構築し，その有効性を評価する．
|
| 研究実績の概要 |
本研究は，ストカスティックコンピューティングを実現した論理回路（SC回路）のための高位合成手法を提案し，SC回路の計算機支援設計環境を構築することを目的としており，４つのサブテーマ（P1~P4）からなる．本年度は主に，「最適パラメータ探索アルゴリズムの提案（P2）」と「既存の設計環境・資産とのインターフェスの提案（P4）」に対して研究を行った．
（P2）においては，線形FSMを用いたSC回路（LFSM-SC）の並列度，演算精度，回路面積に着目し，演算精度を維持しつつ回路面積を小さく抑えるための設計手法の開発に取り組んだ．線形FSMの並列化は演算時間を短縮できるという魅力があるが，回路面積が極端に増加してしまうことと，ストカスティックコンピューティングの性質により演算時間の短縮が演算精度を下げてしまう問題がある．これに対して，１）入力値推定に用いるサイクル数を減らすことで回路面積を削減する方法，２）多入力線形LFSMを利用することで演算精度を維持する方法を提案した．これにより並列化する前の演算精度を維持しつつ，回路面積を1/3から1/4に削減できることを示した．この成果は国内研究会にてすでに報告されており，2024年度に国際会議，論文誌投稿を予定している．
（P4）においては，これまで研究室で所持してる商用CADツール（Synopsys社のDesignCompilerなど）と内製のツールを連携することで，研究に必要なSC回路の設計コストを大幅に削減し，回路面積・回路遅延・消費電力・信頼度などを簡単に測定できる環境の構築を行っている．完成している一部の機能は（P2）の研究や他の研究（近似回路設計手法の研究）にも生かされている．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
昨年度見直した推進方策では，1年間の延長を前提に，「最適パラメータ探索アルゴリズムの提案（P2）」における並列設計された線形FMSの低面積設計手法の完成と，「既存の設計環境・資産とのインターフェスの提案（P4）」における設計環境の完成を目的としていた．前半の目的は一定の成果を得られたことで達成できたと考えている．後半の目的は環境の構築は進んではいるものの，まだ完成には至っていない．このため，「やや遅れている」と判断した．
|
| 今後の研究の推進方策 |
「最適パラメータ探索アルゴリズムの提案（P2）」における，並列設計された線形FMSの低面積設計手法の国際会議発表，論文誌投稿を行う．また，これまでの成果を統合し「既存の設計環境・資産とのインターフェスの提案（P4）」を完成させることで，SC回路の計算機支援設計環境の構築を行い，本テーマの完成を目指す．
|
