Hi-Level Synthesis for Stochastic Computing Circuit

本研究は，ストカスティックコンピューティングを実現した論理回路（SC回路）のための高位合成手法を提案し，SC回路の計算機支援設計環境を構築することを目的としており，４つのサブテーマ（P1~P4）からなる．本年度は主に，「最適パラメータ探索アルゴリズムの提案（P2）」と「既存の設計環境・資産とのインターフェスの提案（P4）」に対して研究を行った．（P2）に対して，線形FSMを用いたSC回路（LFSM-SC）のパラーメータの1つである並列度に着目し，並列設計された線形FSMの低面積設計手法の開発に取り組んだ．線形FSMの並列化は演算時間を短縮できるという魅力があるが，回路面積が極端に増加してしまうことと，ストカスティックコンピューティングの性質により演算時間の短縮が演算精度を下げてしまう問題がある．開発中の手法はアルゴリズムの見直しと構成要素の設計を見直すことで，演算精度を維持したまま，面積を削減できる手法である．本年度は計算機を用いた回路シミュレーションにより，その効果を概ね確認している．成果の発表は2023年度に行う予定である．また，（P4）については，これまでに構築したMPI等を用いたシミュレーション手法と，提案した等価状態を利用した高信頼LFSM-SC設計手法を組み込んだ，SC回路設計環境の構築に取り組んだ．これは，研究室で所持してる商用CADツール（Synopsys社のDesignCompilerなど）や内製のツールと連携することで，設計コストを削減し，回路面積，回路遅延，消費電力，信頼度などを簡単に測定できることを目指している．設計環境は2023年末の完成を目指しているが，完成している一部の機能は（P2）の研究や他の研究（近似回路設計手法の研究）にも生かされている．

本研究は，ストカスティックコンピューティングを実現した論理回路（SC回路）のための高位合成手法を提案し，SC回路の計算機支援設計環境を構築することを目的としており，４つのサブテーマ（P1~P4）からなる．本年度は主に，「最適パラメータ探索アルゴリズムの提案（P2）」と「既存の設計環境・資産とのインターフェスの提案（P4）」に対して研究を行った．（P2）に対して，線形FSMを用いたSC回路（LFSM-SC）のパラーメータの1つである並列度に着目し，並列設計された線形FSMの低面積設計手法の開発に取り組んだ．線形FSMの並列化は演算時間を短縮できるという魅力があるが，回路面積が極端に増加してしまうことと，ストカスティックコンピューティングの性質により演算時間の短縮が演算精度を下げてしまう問題がある．開発中の手法はアルゴリズムの見直しと構成要素の設計を見直すことで，演算精度を維持したまま，面積を削減できる手法である．本年度は計算機を用いた回路シミュレーションにより，その効果を概ね確認している．成果の発表は2023年度に行う予定である．また，（P4）については，これまでに構築したMPI等を用いたシミュレーション手法と，提案した等価状態を利用した高信頼LFSM-SC設計手法を組み込んだ，SC回路設計環境の構築に取り組んだ．これは，研究室で所持してる商用CADツール（Synopsys社のDesignCompilerなど）や内製のツールと連携することで，設計コストを削減し，回路面積，回路遅延，消費電力，信頼度などを簡単に測定できることを目指している．設計環境は2023年末の完成を目指しているが，完成している一部の機能は（P2）の研究や他の研究（近似回路設計手法の研究）にも生かされている．