| 講演名 | 2004/11/25 充足可能性判定を用いたCMOS論理セルレイアウトの階層的生成手法(レイアウト)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-) 飯塚 哲也, 池田 誠, 浅田 邦博, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では,CMOS論理セルのレイアウトを高速に生成するためのセルレイアウトの階層的生成手法を提案する.本手法では,まず与えられたトランジスタレベルネットリストを分割し,それぞれの論理ブロックに対して我々が以前に提案した充足可能性判定を用いたCMOS論理セルレイアウト生成手法を適用する.この時に次のプロセスである論理ブロック配置の際にブロック間でなるべく多くの拡散を共有することができるように新たなコスト関数を設ける.次に,得られた回路ブロックを同様の手法を用いて最小幅に配置・配線し回路全体のレイアウトを生成する.本手法は階層化を用いているため,フラットに生成した最小幅のレイアウトよりも大きい幅のレイアウトを生成する可能性があるが,ほぼ全ての回路に対して最小幅の配置を生成できることを示す.さらに,本レイアウト生成手法の処理時間を従来手法と比較することで,特にトランジスタ数の多い回路に対して処理時間を大幅に削減できることを示し,従来手法より規模の大きい回路にも適用可能であることを示す.また,本手法と商用ツールとの比較から,商用ツールよりもセル幅はわずかに増加してしまうが,約3%の処理時間で32種のCMOS論理回路のレイアウトを生成できることを示す. |
| 抄録(英) | This paper proposes a hierarchical layout synthesis method for high-speed layout synthesis of CMOS logic cells. The proposed method partitions a given transistor-level netlist into blocks and place all transistors hierarchically. Intra-block placement uses ail exact transistor placement method which is based on Boolean Satisfiability. In this step, a new cost function is introduced to maximize the number of the connections by diffusion sharing between blocks. All blocks are placed in the minimum area and the routability of a generated placement is checked using Boolean Satisfiability. The proposed method reduces the runtime for cell synthesis drastically. Although this method has possibility to generate wider placements than the exact minimum width placement generated flatly, the experimental results show that the width becomes larger for only 1 out of 32 cells. The comparison results between a commercial tool show that although the width of the layouts generated by our method is a little larger, the proposed method generates 32 CMOS logic cells in only 3% runtime. |
| キーワード(和) | CMOS論理セル / レイアウト高速生成 / 回路分割 / 充足可能性判定 |
| キーワード(英) | CMOS logic cell / high-speed layout synthesis / circuit partitioning / Boolean Satisfiability |
| 資料番号 | VLD2004-61,ICD2004-147,DC2004-47 |
| 発行日 |
| 研究会情報 | |
| 研究会 | ICD |
|---|---|
| 開催期間 | 2004/11/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Integrated Circuits and Devices (ICD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 充足可能性判定を用いたCMOS論理セルレイアウトの階層的生成手法(レイアウト)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-) |
| サブタイトル（和） | |
| タイトル（英） | Hierarchical Layout Synthesis for CMOS Logic Cells via Boolean Satisfiability |
| サブタイトル（和） | |
| キーワード(1)（和/英） | CMOS論理セル / CMOS logic cell |
| キーワード(2)（和/英） | レイアウト高速生成 / high-speed layout synthesis |
| キーワード(3)（和/英） | 回路分割 / circuit partitioning |
| キーワード(4)（和/英） | 充足可能性判定 / Boolean Satisfiability |
| 第 1 著者 氏名（和/英） | 飯塚 哲也 / Tetsuya IIZUKA |
| 第 1 著者 所属（和/英） | 東京大学大学院工学系研究科 Dept. of Electronic Engineering, University of Tokyo |
| 第 2 著者 氏名（和/英） | 池田 誠 / Makoto IKEDA |
| 第 2 著者 所属（和/英） | 東京大学大学院工学系研究科:東京大学大規模集積システム設計教育研究センター(VDEC) Dept. of Electronic Engineering, University of Tokyo:VLSI Design and Education Center (VDEC), University of Tokyo |
| 第 3 著者 氏名（和/英） | 浅田 邦博 / Kunihiro ASADA |
| 第 3 著者 所属（和/英） | 東京大学大学院工学系研究科:東京大学大規模集積システム設計教育研究センター(VDEC) Dept. of Electronic Engineering, University of Tokyo:VLSI Design and Education Center (VDEC), University of Tokyo |
| 発表年月日 | 2004/11/25 |
| 資料番号 | VLD2004-61,ICD2004-147,DC2004-47 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 480 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |