文献

J-GLOBAL ID：202002229135492044   整理番号：20A2321104

論理合成のためのSAT掃引強化【JST・京大機械翻訳】

SAT-Sweeping Enhanced for Logic Synthesis

著者 (9件)： Amaru Luca (Synopsys Inc.,Design Group,Sunnyvale,California,USA) ,  Marranghello Felipe (Synopsys Inc.,Design Group,Sunnyvale,California,USA) ,  Testa Eleonora (EPFL,Integrated Systems Laboratory,Lausanne,Switzerland) ,  Casares Christopher (Synopsys Inc.,Design Group,Sunnyvale,California,USA) ,  Possani Vinicius (Synopsys Inc.,Design Group,Sunnyvale,California,USA) ,  Luo Jiong (Synopsys Inc.,Design Group,Sunnyvale,California,USA) ,  Vuillod Patrick (Synopsys Inc.,Design Group,Sunnyvale,California,USA) ,  Mishchenko Alan (University of California,Department of EECS,Berkeley,USA) ,  De Micheli Giovanni (EPFL,Integrated Systems Laboratory,Lausanne,Switzerland)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： DAC  ページ： 1-6  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： SAT掃引は,論理ネットワークを単純化するための強力な方法である。それは,シミュレーションおよび相乗効果におけるSAT解決によって等価(相補性まで)と証明される併合ゲートから成る。SAT-掃引は,EDA内の検証と合成応用の両方で使用される。本論文では,高効率,合成指向,SAT-掃引エンジンの開発に焦点を当てた。初期シミュレーションを導く新しいアルゴリズムを導入し,それにより,併合のための偽候補の数を大幅に削減し,それにより,スイーザの計算効率を増加させた。著者らは,すべての有効な併合を証明して,高速実行を確実にする目的で,合成の実際的考察を考慮してSAT-掃引フローを再考した。実験結果は,著者らの方法論から誘導される顕著な高速化,大きな組合せネットワークのための10(1),および以前のSAT-掃引実装と比較してより良いQoRを確認した。商用合成フローに組み込むと,SAT-スウィーパーは,36のテストケースにわたって,無視できるランタイムオーバヘッドで中性タイミングで,それぞれ1.98%と1.81%の面積と電力節約を可能にする。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  シミュレーション ,  簡素化 ,  電力 ,  ネットワーク ,  相乗作用 ,  相補性 ,  高速化 ,  *論理合成
準シソーラス用語： 高効率 ,  計算効率 ,  オーバヘッド ,  テストケース ,  論理ネットワーク , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 論理合成 ,  SAT ,  掃引 ,  強化