集合対間配線問題に対するSATを用いた配線手法

• Item type: SIG Technical Reports(1)
• 公開日: 2022-11-21
• タイトル: 集合対間配線問題に対するSATを用いた配線手法
• タイトル / 言語: en
• タイトル: A Routing Method by SAT for Set-Pair Routing Problem
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: VLSI設計技術
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京農工大学大学院工学府電気電子工学専攻
• 著者所属: 東京農工大学工学部電気電子工学科
• 著者所属: 東京農工大学大学院工学府電気電子工学専攻
• 著者所属(英): en
• 著者所属(英): Department of Electrical and Electronic Engineering, Tokyo Univercity of Agriculture and Technology
• 著者所属(英): en
• 著者所属(英): Department of Electrical and Electronic Engineering, Tokyo Univercity of Agriculture and Technology
• 著者名: 長倉, 光輝; 横屋, 凛太郎; 藤吉, 邦洋
• 著者名(英): Koki, Nagakura; Rintaro, Yokoya; Kunihiro, Fujiyoshi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 集合対間配線問題とは，同数のソース端子とシンク端子が与えられ，それらの間を任意の組合せで，1 対 1 接続する単層配線問題であり，端子間の配線長やその差を小さくすることが要求される．集合対間配線問題を解く手法はいくつか提案されており，その中に ILP ソルバを使って小規模の問題の最適解を求める手法があるが，配線問題と親和性の高いとされているナンバーリンクパズル問題においては ILP を用いた手法よりも SAT を用いた手法の方が高速とされている．そこで，本研究では集合対間配線問題を SAT で解く手法を提案する．ナンバーリンク問題を SATで解く手法を参考にした定式化と，集合対間配線の特徴を活かして変数が少なく済む定式化を提案し，配線長を制御する制約を追加することで，集合対間配線問題を SAT ソルバを用いて解く．また，SAT を用いた集合対間配線について計算機による実験を行い，提案手法の有効性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Set-pair routing problem is a single-layer routing problem in which a one-to-one connection is made between equal numbers of source and sink terminals in arbitrary combinations with, requiring reduction wire length between connections and their length differences. In methods for solving set-pair routing problem, a method that represents routing graph as a flow graph and controls the wire length using ILP has been proposed. Incidentally, it has been reported that the SAT-based method is faster than the ILP-based method for the Numberlink, which is considered to have a high affinity with routing problems. Therefore, we propose a method for solving set-pair routing problem by SAT. We propose a modified formulation for Numberlink, and a formulation uses fewer variables that takes advantage of its special characteristics of set-pair routing problem. Additionally, by adding constraints to control the wire length, we solve set-pair routing problem by SAT solver. Then, experimental results show the effectiveness of the proposed method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 研究報告システムとLSIの設計技術（SLDM）; 巻 2022-SLDM-200, 号 3, p. 1-6, 発行日 2022-11-21
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8639
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会