研究課題
昨年度までの研究では、LSI設計における大きなボトルネックとして世界中の設計者を悩ませていた「非収束問題」を理論面・実用面から完全に解決し、企業との共同研究により、最も解析が困難とされるバイポーラアナログ回路に対して、その最大級である1万素子クラスのアナログLSIを世界で初めて収束の保証付きで解くことに成功した。本年度は、このアルゴリズムを実現容易性ならびに計算効率改善の見地から大幅に改良した。特にホモトピー法における効率的な初期値設定法に関する研究は、学会から「従来の手法の盲点をついた非常に斬新な方法である」と評価され、発表論文の共著者である本研究室学生の安藤真君が電子情報通信学会 回路とシステム軽井沢ワークショップ奨励賞と渋谷健一奨励賞を受賞している。また「式を回路で記述する」という逆転的発想に基づくSPICE指向型数値解析法に関する研究は、回路分野だけでなく数値解析やオペレーションズ・リサーチの分野からも注目を集め、電子情報通信学会回路とシステム研究会、同非線形問題研究会、日本オペレーションズ・リサーチ学会から招待講演を依頼されるなど、大きな反響を得ている。また、LSI設計における重要な未解決問題として知られている「区分的線形回路のすべての解を求めるアルゴリズムの開発」に対し、線形領域数1000^{2000}の超大規模問題の全解探索を実用時間内で行うことのできる非常に効率のよいアルゴリズムを提案し、アメリカの権威ある国際会議であるIEEE MWSCASのスペシャルセッションで発表した。またより一般的な非線形問題に拡張したアルゴリズムをICCCAS,NOLTA,SCANなどの国際会議や学会論文誌等で発表した。この研究は従来の常識を覆す画期的な成果で、この分野に大きなインパクトと実用化の可能性を与えている。なお2004年4月に開催された電子情報通信学会回路とシステム軽井沢ワークショップで、これまでの研究成果を総括する内容の招待講演を行った。
すべて 2005 2004
すべて 雑誌論文 (15件)
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A(掲載予定)
Proceedings of IEEE 2005 International Symposium on Circuits and Systems (掲載予定)
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E87-A
ページ: 780-786
Proceedings of IEEE 2004 International Conference on Communications, Circuits and Systems II
ページ: 1354-1357B
Proceedings of IEEE 2004 International Midwest Symposium on Circuits and Systems 2
ページ: 617-620
ページ: 621-624
Proceedings of 2004 International Symposium on Nonlinear Theory and its Applications 1
ページ: 179-182
ページ: 1349-1353
Book of Abstracts,11th GAMM -- IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
ページ: 120
数理解析研究所講究録「数値解析と新しい情報技術」
ページ: 70-82
第17回回路とシステム軽井沢ワークショップ論文集
ページ: 345-350
第17回 回路とシステム軽井沢ワークショップ論文集
ページ: 351-356
ページ: 615-620
電子情報通信学会技術研究報告 CAS2004-27
ページ: 33-38
