VLSI設計における全解探索アルゴリズムの開発に関する研究

VLSI设计中穷举搜索算法的开发研究

• 批准号: 05750377
• 负责人: 山村 清隆
• 金额: $ 0.58万
• 依托单位: Gunma University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05750377/
• 关键词: VLSI; セパラビリティ; 非線形方程式; ニューラルネットワーク; 全解探索アルゴリズム; 回路解析; 解曲線追跡法; 球面法

1.まえがきVLSIの設計では、回路網を記述する非線形方程式をコンピュータで解くことが行なわれる。回路方程式は一般に複数の解をもち、それらすべての解を設計段階で検証することが要求されるが、実用的な全解探索アルゴリズムはまだ開発されていない。本研究は、VLSIを記述する非線形方程式のすべての解を求める、高速で実用的なアルゴリズムを開発することを目的として行なわれたものである。2.研究成果本研究は当初の計画通り順調に行なわれ、その成果のほとんどは学会論文誌、国際会議等で発表されている。研究成果の概要は次の通りである。1)VLSIを記述する非線形方程式は、セパラビリティと呼ばれる特殊な構造的性質をもつ。本研究ではまず、この性質を活用した非線形回路方程式のすべての解を求める高速アルゴリズムを開発した。本手法は既存のどの方法よりも遥かに高速であることが確認された。(2)次に“超球面"の概念を用いた新しい解曲線追跡法を開発し、これを複数個の解の高速探索法として拡張した。この方法は“実現容易性"に優れ、広く実用に供することができる。(3)アルゴリズムの適用範囲をMOS系VLSIに拡張するため、セパラブルでない非線形関数をセパラブルな関数に変形させるアルゴリズムを開発した。この研究は、有名なヒルベルトの第13問題に対するコルモゴロフの存在証明に、具体的な構成アルゴリズムを与える形となり、学会からの注目度は非常に高かった。補助金は補助金の補助条件に従って大体当初の予定通り使用された。また補助金により購入した設備品(コンピュータ端末)は数値実験などにおいて十分に活用された。

1. The design of VLSI is described by non-linear equations. The loop equation is generally complex, and the solution is designed at the stage of proof, and the required solution is fully explored. In this paper, we describe the solution of nonlinear equations in VLSI, and develop the solution of nonlinear equations in VLSI. 2. The results of this study are presented in academic journals and international conferences. Summary of research results. 1)VLSI describes the properties of non-linear equations and special structures. In this paper, we use the properties of the nonlinear loop equation to solve the problem of high speed transmission. This method is based on existing methods. (2)Second, the concept of "hypersphere" is used to develop a new solution curve tracing method, and a plurality of solution high speed exploration methods are developed. The method is "easy to implement" and "easy to use". (3)The application range of MOS system VLSI is open to all kinds of non-linear relations. The research on the 13th question of the famous "science and technology" is very important to prove the existence of the "science and technology" and the "science and technology". Grants are generally used in accordance with the conditions under which they are granted. The grant was purchased and the equipment was used.