充足可能性判定を用いたCMOS論理セルレイアウトの階層的生成手法

• Item type: SIG Technical Reports(1)
• 公開日: 2004-12-02
• タイトル: 充足可能性判定を用いたCMOS論理セルレイアウトの階層的生成手法
• タイトル / 言語: en
• タイトル: Hierarchical Layout Synthesis for CMOS Logic Cells via Boolean Satisfiability
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京大学 大学院 工学系研究科
• 著者所属: 東京大学 大学院 工学系研究科／東京大学 大規模集積システム設計教育研究センター（VDEC）
• 著者所属: 東京大学 大学院 工学系研究科／東京大学 大規模集積システム設計教育研究センター（VDEC）
• 著者所属(英): en
• 著者所属(英): Dept. of Electronic Engineering, University of Tokyo
• 著者所属(英): en
• 著者所属(英): Dept. of Electronic Engineering, University of Tokyo/VLSI Design and Education Center (VDEC), University of Tokyo
• 著者所属(英): en
• 著者所属(英): Dept. of Electronic Engineering, University of Tokyo/VLSI Design and Education Center (VDEC), University of Tokyo
• 著者名: 飯塚, 哲也; 池田, 誠; 浅田, 邦博
• 著者名(英): Tetsuya, Iizuka; Makoto, Ikeda; Kunihiro, Asada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，CMOS論理セルのレイアウトを高速に生成するためのセルレイアウトの階層的生成手法を提案する．本手法では，まず与えられたトランジスタレベルネットリストを分割し，それぞれの論理ブロックに対して我々が以前に提案した充足可能性判定を用いたCMOS論理セルレイアウト生成手法を適用する．このときに次のプロセスである論理ブロック配置の際にブロック間でなるべく多くの拡散を共有することができるように新たなコスト関数を設ける．次に，得られた回路ブロックを同様の手法を用いて最小幅に配置・配線し回路全体のレイアウトを生成する．本手法は階層化を用いているため，フラットに生成した最小幅のレイアウトよりも大きい幅のレイアウトを生成する可能性があるが，ほぼ全ての回路に対して最小幅の配置を生成できることを示す．さらに，本レイアウト生成手法の処理時間を従来手法と比較することで，特にトランジスタ数の多い回路に対して処理時間を大幅に削減できることを示し，従来手法より規模の大きい回路にも適用可能であることを示す．また，本手法と商用ツールとの比較から，商用ツールよりもセル幅はわずかに増加してしまうが，約3％の処理時間で32種のCMOS論理回路のレイアウトを生成できることを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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 an 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 result 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 情報処理学会研究報告システムLSI設計技術（SLDM）; 巻 2004, 号 122(2004-SLDM-117), p. 71-76, 発行日 2004-12-02
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会