ゲートの種類とゲート入力信号探索による論理最適化・デバッグ手法

• Item type: SIG Technical Reports(1)
• 公開日: 2017-10-30
• タイトル: ゲートの種類とゲート入力信号探索による論理最適化・デバッグ手法
• タイトル / 言語: en
• タイトル: Logic Optimization and Debugging method Based on Input and Type Selection of a Gate
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: LSI設計技術
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京大学大規模集積システム設計教育研究センター
• 著者所属: 東京大学工学系研究科
• 著者所属(英): en
• 著者所属(英): VLSI Design and Education Center, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): School of Engineering, University of Tokyo
• 著者名: 藤田, 昌宏; ガラバギ, アミル マスー
• 著者名(英): Masahiro, Fujita; Amir, Masoud Gharehbaghi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 組合せ回路とそれと等価でない仕様，そして回路中の 1 つのゲートが与えられた時に，修正後の回路が仕様と等価となるような，そのゲートの種類とゲートの入力信号を探索する問題を考える．これは基本的に論理設計のデバッグ問題であり，またゲートの入力信号線の探索ができるため，レイアウトを考慮した論理最適化や LUT （Look up Table） からなる回路の簡単化にも適用できる．従来からゲートの種類の変更のみ，あるいはゲートの入力信号の探索範囲を限定した手法は提案されているが，本提案手法ではゲートの入力信号は回路中のすべての中から，種々のコスト関数を考慮して選択することができる．基本的に SAT 問題と Set-covering 問題に帰着しており，数千ゲート規模以上でも問題なく探索できることを実験結果により示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Here we discuss the following problem : Given a combinational circuit, a specification which is not equivalent to the circuit, and an internal gate in the circuit, make the circuit equivalent to the specification by changing the inputs and type of the gate. This is a basic problme for logic debugging and also can be used for layout-oriented logic minimization and optimization of LUT (Look up Table) based circuits, as appropriate inputs to the gate can be automatically searched. While there have been proposed techniques which only change the types of gates and search inputs of gates with very limited ways, the proposed method can search a cost effective set of inputs to the gate out of all internal signals and primary inputs in the circuit. The proposed method reduces the problem into SAT and set-covering problems, and we show experimentally that circuits having thousands of gates can be processed.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 研究報告システムとLSIの設計技術（SLDM）; 巻 2017-SLDM-181, 号 29, p. 1-6, 発行日 2017-10-30
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8639
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会