算術演算回路の機能情報抽出

• Item type: SIG Technical Reports(1)
• 公開日: 1989-12-14
• タイトル: 算術演算回路の機能情報抽出
• タイトル / 言語: en
• タイトル: Extraction of Functional Information from Arithmetic Units
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 京都大学工学部電子工学科
• 著者所属: 京都大学工学部電子工学科
• 著者所属: 京都大学工学部電子工学科
• 著者所属(英): en
• 著者所属(英): Department of Electronics, Faculty of Engineering, Kyoto University
• 著者所属(英): en
• 著者所属(英): Department of Electronics, Faculty of Engineering, Kyoto University
• 著者所属(英): en
• 著者所属(英): Department of Electronics, Faculty of Engineering, Kyoto University
• 著者名: 大村, 昌彦; 安浦, 寛人; 田丸, 啓吉
• 著者名(英): Masahiko, Ohmura; Hiroto, Yasuura; Keikichi, Tamaru
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々は以前より，論理回路レベルの設計記述を機能レベルの記述に自動変換する機能情報抽出の手法を提案してきている．この技術には，機能レベルにおける論理設計検証，機能シミュレーションモデルの自動作成，ドキュメント／マニュアルの作成支援など様々な応用が考えられ，その重要性が認識されてきている．この手法の基本は、与えられた回路の機能をある入力変数の値によって幾つかの場合に分けて論理式で表わすことであるが、論理式では簡潔に表現できない機能，例えば算術演算機能，などを如何に表現するかが問題となる．本稿では，このような算術演算機能を算術式を用いて表わす手法について考察を行う．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We have proposed techniques of functional information extraction that transforms the design descriptions in logic circuit level to that in function level. The techniques are applied to various phases of VLSI design, such as logic design verification in function level, automatic generation of functional simulation models and making documents or manuals, and have been regarded important. The basic idea of the technique is to represent functions of given circuits using some logic formulas divided according to the value of input variables. But a problem occurs how we express the function which can not be clearly represented by logic formulas, such as arithmetic functions. In this paper, we discus techniques to represent such functions using arithmetic formulas.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 情報処理学会研究報告システムLSI設計技術（SLDM）; 巻 1989, 号 108(1989-SLDM-050), p. 15-21, 発行日 1989-12-14
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会