| 講演名 | 2022-11-28 集合対間配線問題に対するSATを用いた配線手法 長倉 光輝(東京農工大), 横屋 凛太郎(東京農工大), 藤吉 邦洋(東京農工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 集合対間配線問題とは，同数のソース端子とシンク端子が与えられ，それらの間を任意の組合せで，1対1接続する単層配線問題であり，端子間の配線長やその差を小さくすることが要求される．集合対間配線問題を解く手法はいくつか提案されており，その中にILPソルバを使って小規模の問題の最適解を求める手法があるが，配線問題と親和性の高いとされているナンバーリンクパズル問題においてはILPを用いた手法よりもSATを用いた手法の方が高速とされている．そこで，本研究では集合対間配線問題をSATで解く手法を提案する．ナンバーリンク問題をSATで解く手法を参考にした定式化と，集合対間配線の特徴を活かして変数が少なく済む定式化を提案し，配線長を制御する制約を追加することで，集合対間配線問題をSATソルバを用いて解く．また，SATを用いた集合対間配線について計算機による実験を行い，提案手法の有効性を示す． |
| 抄録(英) | 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. |
| キーワード(和) | 集合対間配線問題 / SAT |
| キーワード(英) | Set-Pair Routing Problem / SAT |
| 資料番号 | VLD2022-21,ICD2022-38,DC2022-37,RECONF2022-44 |
| 発行日 | 2022-11-21 (VLD, ICD, DC, RECONF) |
| 研究会情報 | |
| 研究会 | VLD / DC / RECONF / ICD / IPSJ-SLDM |
|---|---|
| 開催期間 | 2022/11/28(から3日開催) |
| 開催地（和） | 金沢市文化ホール |
| 開催地（英） | Kanazawa Bunka Hall |
| テーマ（和） | デザインガイア2022 -VLSI設計の新しい大地- |
| テーマ（英） | Design Gaia 2022 -New Field of VLSI Design- |
| 委員長氏名（和） | 池田 奈美子(NTT) / 土屋 達弘(阪大) / 佐野 健太郎(理研) / 高橋 真史(キオクシア) / 越智 裕之(立命館大) |
| 委員長氏名（英） | Minako Ikeda(NTT) / Tatsuhiro Tsuchiya(Osaka Univ.) / Kentaro Sano(RIKEN) / Masafumi Takahashi(Kioxia) / Hiroyuki Ochi(Ritsumeikan Univ.) |
| 副委員長氏名（和） | 中武 繁寿(北九州市大) / 細川 利典(日大) / 山口 佳樹(筑波大) / 泉 知論(立命館大) / 池田 誠(東大) |
| 副委員長氏名（英） | Shigetoshi Nakatake(Univ. of Kitakyushu) / Toshinori Hosokawa(Nihon Univ.) / Yoshiki Yamaguchi(Tsukuba Univ.) / Tomonori Izumi(Ritsumeikan Univ.) / Makoto Ikeda(Univ. of Tokyo) |
| 幹事氏名（和） | 宮村 信(ナノブリッジ・セミコンダクター) / 今井 雅(弘前大) / 新井 雅之(日大) / 難波 一輝(千葉大) / 小林 悠記(NEC) / 佐藤 幸紀(豊橋技科大) / 新居 浩二(TSMCデザインテクノロジージャパン) / 宮地 幸祐(信州大) / 川村 一志(東工大) / 今川 隆司(明大) / 細田 浩希(ソニーセミコンダクタソリューションズ) / 田中 勇気(日立) |
| 幹事氏名（英） | Makoto Miyamura(NBS) / Masashi Imai(Hirosaki Univ.) / Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) / Yuuki Kobayashi(NEC) / Yukinori Sato(Toyohashi Univ. of Tech.) / Koji Nii(TSMC) / Kosuke Miyaji(Shinshu Univ.) / Kazushi Kawamura(Tokyo Inst. of Tech.) / Takashi Imagawa(Meiji Univ.) / Hiroki Hosoda(Sony Semiconductor Solutions) / Yuki Tanaka(HITACHI) |
| 幹事補佐氏名（和） | 西元 琢真(日立) / / 竹村 幸尚(インテル) / 長名 保範(琉球大学) / 吉原 義昭(キオクシア) / 塩見 準(阪大) / 久保木 猛(ソニーセミコンダクタソリューションズ) |
| 幹事補佐氏名（英） | Takuma Nishimoto(Hitachi) / / Yukitaka Takemura(INTEL) / Yasunori Osana(Ryukyu Univ.) / Yoshiaki Yoshihara(KIOXIA) / Jun Shiomi(Osaka Univ.) / Takeshi Kuboki(Sony Semiconductor Solutions) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on VLSI Design Technologies / Technical Committee on Dependable Computing / Technical Committee on Reconfigurable Systems / Technical Committee on Integrated Circuits and Devices / Special Interest Group on System and LSI Design Methodology |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 集合対間配線問題に対するSATを用いた配線手法 |
| サブタイトル（和） | |
| タイトル（英） | A Routing Method by SAT for Set-Pair Routing Problem |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 集合対間配線問題 / Set-Pair Routing Problem |
| キーワード(2)（和/英） | SAT / SAT |
| 第 1 著者 氏名（和/英） | 長倉 光輝 / Koki Nagakura |
| 第 1 著者 所属（和/英） | 東京農工大学(略称：東京農工大) Tokyo University of Agriculture and Technology(略称：Tokyo Univ of A and T) |
| 第 2 著者 氏名（和/英） | 横屋 凛太郎 / Rintaro Yokoya |
| 第 2 著者 所属（和/英） | 東京農工大学(略称：東京農工大) Tokyo University of Agriculture and Technology(略称：Tokyo Univ of A and T) |
| 第 3 著者 氏名（和/英） | 藤吉 邦洋 / Kunihiro Fujiyoshi |
| 第 3 著者 所属（和/英） | 東京農工大学(略称：東京農工大) Tokyo University of Agriculture and Technology(略称：Tokyo Univ of A and T) |
| 発表年月日 | 2022-11-28 |
| 資料番号 | VLD2022-21,ICD2022-38,DC2022-37,RECONF2022-44 |
| 巻番号（vol） | vol.122 |
| 号番号（no） | VLD-283,ICD-284,DC-285,RECONF-286 |
| ページ範囲 | pp.13-18(VLD), pp.13-18(ICD), pp.13-18(DC), pp.13-18(RECONF), |
| ページ数 | 6 |
| 発行日 | 2022-11-21 (VLD, ICD, DC, RECONF) |