集積回路設計における高位レベル情報抽出に関する研究

1990 Fiscal Year Annual Research Report

• Project/Area Number: 02650264
• Research Institution: Kyoto University
• Principal Investigator: 安浦 寛人 京都大学, 工学部, 助教授 (80135540)
• Co-Investigator(Kenkyū-buntansha): 小野寺 秀俊 京都大学, 工学部, 助手 (80160927) ; 田丸 啓吉 京都大学, 工学部, 教授 (10127102)
• Keywords: 機能情報抽出 / 集積回路 / 設計検証 / 自動論理合成 / SBDD / レジスタ転送レベル / 機能表 / 回路抽出

Research Abstract

本研究では,集積回路設計における高位レベル情報を下位レベルの情報から抽出する手法を研究している.本年度は,自動論理設計の逆変換にあたる論理回路からの機能情報の抽出手法に絞って研究を進めた.具体的には,
1.すでに開発していた組み合わせ回路からの機能情報抽出手法を発展させて,さらに複雑な算術演算機能など,高度な機能情報の抽出法について研究し,繰り返しパタ-ンの抽出という新しい手法を確立した.この手法により,機能が既知でないような場合にも人間にわかりやすい形で機能情報を提示することが可能となった.
2.電子回路からの機能情報抽出のプログラムを作成し,既存のレイアウトパタ-ンからの電子回路情報抽出技術と組み合わせてレイアウトパタ-ンからの機能情報抽出の可能性を示した.
3.順序回路からの機能情報抽出に関しても,種々の検討を行ない,次年度の実現に向けて新しい知見を得た.
4.回路素子の接続に関する情報のほかに情報抽出に利用できる種々の付加的な情報を整理し,その利用法を検討した.
5.新しく開発された共有2分木マニュピレ-タを利用して,機能抽出システムを改良し,処理の高速化を計って実用に近付けた.
さらに,この機能情報抽出の技術を,機能レベルシミュレ-ションモデルの自動生成やドキュメント/マニュアルの作成支援,設計検証などへ応用する手法についても検討した.研究成果は,電子情報通信学会誌やICCAD90をはじめ国内外の学会や研究会などで発表した.

Research Products

• [Publications] Masahiko Ohmura: "Extraction of Arithmetic Functions from Combinational Circuits" Proceedings of the Synthesis and Simulation Meeting and International Interchange SASIMI'90. 40-47 (1990)
• [Publications] Masahiko Ohmura: "Extraction of Functional Information from Combinational Circuits" Proceedings of IEEE International Conference on ComputerーAided Design ICCAD'90. 176-179 (1990)
• [Publications] 大村 昌彦: "組合せ回路の機能情報抽出" 電子情報通信学会論文誌. J74ーAー2. 247-255 (1991)