文献

J-GLOBAL ID：201702218259013434   整理番号：17A1641049

多数決インバータグラフとその応用の厳密な合成【Powered by NICT】

Exact Synthesis of Majority-Inverter Graphs and Its Applications

著者 (4件)： Soeken Mathias (E ́cole Polytechnique Fe ́de ́derale de Lausanne, Lausanne, Switzerland) ,  Amaru Luca Gaetano (Synopsys, Mountain View, CA, USA) ,  Gaillardon Pierre-Emmanuel (University of Utah, Salt Lake City, UT, USA) ,  De Micheli Giovanni (E ́cole Polytechnique Fe ́de ́derale de Lausanne, Lausanne, Switzerland)
資料名： IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻： 36  号： 11  ページ： 1842-1855  発行年： 2017年 
JST資料番号： B0142C  ISSN： 0278-0070  CODEN： ITCSDI  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 充足可能性モジュロ理論(SMT)ソルバを用いたBoole論理回路網の正確な合成のための効果的なアルゴリズムを提案した。厳密な合成は困難な問題であるので,非常に小さい関数に効率的に適用し,六変数までを持つことができる。同時に単純(均一論理表現)および表現(AND/ORインバータグラフを含む)であるとしてこの手法の鍵となるものは,基礎となる論理表現として大部分インバータグラフ(MIGs)を使用することである。これは問題の定式化にプラスの影響を持っている:それはSMT制約として符号化を単純化し,また種々の技術を可能にする規則的なデータ構造のために探索空間における対称性を破壊した。著者らのアルゴリズムは,MIGの大きさや深さに関して最適化し,解く時間を改善し,対称性の破れ法最も効果的なものであった問題といくつかの方法をコードする異なる方法を用いた。厳密な合成のいくつかの応用を議論し,セット大算術ベンチマークの実験によりそれらの動機づけを行った。提案した技術を用いて,最先端の論理合成アルゴリズムで達成される電流結果を超えてルックアップテーブル(LUT)に基づく技術マッピング後の面積と遅延を改善することができた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 簡素化 ,  アルゴリズム ,  *多数決論理 ,  論理合成 ,  符号化 ,  データ構造 ,  ベンチマーク ,  動機づけ ,  ルックアップテーブル ,  対称性 ,  定式化 ,  最適化
準シソーラス用語： テクノロジーマッピング ,  探索空間 ,  ソルバ , 【Automatic Indexing@JST】

分類 (3件)： CAD,CAM  (JE10000A) ,  論理代数  (JB03000H) ,  論理回路  (NC05070B)

タイトルに関連する用語 (4件)： 多数決 ,  インバータ ,  グラフ ,  応用