文献

J-GLOBAL ID：202202222131622207   整理番号：22A0787674

ブール書換えストライクバック:リコンバージェンス駆動ウィンドウ化は再合成に合致する【JST・京大機械翻訳】

Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis

著者 (4件)： Riener Heinz (EPFL,Switzerland) ,  Lee Siang-Yun (EPFL,Switzerland) ,  Mishchenko Alan (UC Berkeley,USA) ,  De Micheli Giovanni (EPFL,Switzerland)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2022  号： ASP-DAC  ページ： 395-402  発行年： 2022年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文は,技術マッピングの前に組合せ論理を再構築するための新規DAG意識ブール再書きアルゴリズムを提示する。ウィンドウ書き換えと呼ばれるアルゴリズムは,論理の小部分を繰り返し選択し,それらをよりコンパクトな実装で置き換える。窓書き換えは,高速発見的Boole再合成と小規模ウィンドウ化を組み合わせた。前者は,多出力ウィンドウにおける再収束経路を捉えるために,洗練された構造解析を使用する。後者は,もし可能ならば,より少ないゲートを用いて,ウィンドウの多出力Boole関数を抑制する。EPFLベンチマークに関する実験は,ウィンドウ書き換えの単一反復が,品質と実行時間の両方で収束まで反復する最先端のAIG書き換えより優れていることを示した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *アルゴリズム ,  構造解析 ,  Boole関数 ,  再構成 ,  組合せ論 ,  ベンチマーク
準シソーラス用語： 実行時間 ,  テクノロジーマッピング , 【Automatic Indexing@JST】

分類 (5件)： パターン認識  (JE07000S) ,  音声処理  (JE05000E) ,  符号理論  (ND02030R) ,  専用演算制御装置  (JC04030Y) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 書換え ,  バック ,  ウィンドウ