JP2011525261A5 - - Google Patents

Download PDF

Info

Publication number
JP2011525261A5
JP2011525261A5 JP2010546000A JP2010546000A JP2011525261A5 JP 2011525261 A5 JP2011525261 A5 JP 2011525261A5 JP 2010546000 A JP2010546000 A JP 2010546000A JP 2010546000 A JP2010546000 A JP 2010546000A JP 2011525261 A5 JP2011525261 A5 JP 2011525261A5
Authority
JP
Japan
Prior art keywords
cells
additional
acceptable
computer program
program product
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2010546000A
Other languages
English (en)
Other versions
JP5127935B2 (ja
JP2011525261A (ja
Filing date
Publication date
Application filed filed Critical
Priority claimed from PCT/US2009/033243 external-priority patent/WO2009100237A2/en
Publication of JP2011525261A publication Critical patent/JP2011525261A/ja
Publication of JP2011525261A5 publication Critical patent/JP2011525261A5/ja
Application granted granted Critical
Publication of JP5127935B2 publication Critical patent/JP5127935B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Claims (25)

  1. 回路設計における使用のためのライブラリの最適化のための方法であって、
    初期回路ネットリストを提供するステップと、
    1つまたはより多くの既存セルの組を提供するステップと、
    前記1つまたはより多くの既存セルの組に加えて、1つまたはより多くの追加的に許容可能なセルの組を提供するステップと、
    少なくとも1つのコンピュータプロセッサを用いて、最初から存在するセルの組、および、許容可能セルの追加的な組を考慮して実行コストを低減するセルを検索するために、前記初期回路ネットリストを解析するステップとを備え
    前記解析するステップは、前記最初から存在するセルの組および前記許容可能セルの追加的な組を考慮しながら、前記回路を再マッピングするステップを含み、
    前記方法は、
    潜在的に設計コストを低減する、前記既存セルのサブセットおよび前記許容可能セルのサブセットを含む、1つまたはより多くの新しいセルライブラリ仕様および記述を出力するステップと
    新しい再マッピングされたネットリストを出力するステップとを備え
    前記許容可能機能の追加的な組は、組合せ論理機能を実現するために、両方のトランジスタ平面における直列のスイッチの数についての正確な下限内のスイッチの最大許容数によって非明示的に定義される、方法。
  2. 前記初期回路ネットリストは、複数のセルまたはブール方程式の表現の少なくとも1つによって提供される、請求項1に記載の方法。
  3. 前記許容可能セルの追加的な組は、
    追加的に利用可能な機能またはセルを列挙する、少なくとも1つの明示的な組を含む、請求項に記載の方法。
  4. 前記許容可能セルの追加的な組は、
    追加的に利用可能なセルを列挙する明示的な組を含み、
    追加的な許容可能な論理関数の各々は異なる実行例を有し得る、請求項に記載の方法。
  5. 前記許容可能セルの追加的な組は、
    いくつかのパラメータを通して非明示的に定義された機能またはセルの組を含む、請求項記載の方法。
  6. 前記許容可能セルの追加的な組は、
    許容される最大の入力数によって非明示的に定義された機能またはセルの組を含む、請求項に記載の方法。
  7. 前記許容可能セルの追加的な組は、
    直列または並列結合された、直列および並列のスイッチの最大数によって非明示的に定義された機能またはセルの組を含む、請求項に記載の方法。
  8. 前記許容可能セルの追加的な組は、
    前記関数のバイナリデシジョンダイアグラム(BDD)実行例における直列のアークの最大数によって非明示的に定義されたセルの組を含む、請求項に記載の方法。
  9. 前記許容可能セルの追加的な組は、
    一般的なトランジスタ実行例における直列のスイッチの最大許容数によって非明示的に定義される機能またはセルの組を含む、請求項に記載の方法。
  10. 前記1つまたはより多くの既存セルの組は、空の組を含む、請求項1に記載の方法。
  11. 前記1つまたはより多くの既存セルの組は、許容されない組を含む、請求項1に記載の方法。
  12. 前記1つまたはより多くの追加的に許容可能なセルの組は、非明示的に記述された組を含む、請求項1に記載の方法。
  13. 前記1つまたはより多くの追加的に許容可能なセルの組は、前記非明示的に記述された組を含むとともに、さらに明示的な記述も含む、請求項12に記載の方法。
  14. 回路設計における使用のために、非一時的なコンピュータ読込可能媒体を用いて統合されるライブラリを最適化するためのコンピュータプログラム製品であって、
    前記コンピュータ読込可能媒体は、少なくとも1つのプロセッサで実行可能なコードを含み、
    前記コンピュータプログラム製品は、
    初期回路ネットリストを提供するためのコンピュータ読込可能コードと、
    1つまたはより多くの組の既存セルを提供するためのコンピュータ読込可能コードと、
    前記1つまたはより多くの既存セルの組に加えて、1つまたはより多くの組の追加的な許容可能セルの組を提供するためのコンピュータ読込可能コードと、
    最初から存在するセルの組、および、許容可能セルの追加的な組を考慮して実行コストを低減するセルを検索するように、前記初期回路ネットリストを解析するためのコンピュータ読込可能コードと、
    潜在的に設計コストを低減する、前記既存セルのサブセットおよび前記許容可能セルのサブセットを含む、1つまたはより多くの新しいセルライブラリ仕様および記述を出力するためのコンピュータ読込可能コードとを備え
    前記許容可能機能の追加的な組は、組合せ論理機能を実現するために、両方のトランジスタ平面における直列のスイッチの数についての正確な下限内のスイッチの最大許容数によって非明示的に定義される、コンピュータプログラム製品。
  15. 前記最初から存在するセルの組および前記許容可能セルの追加的な組を考慮しながら、前記回路を再マッピングするためのコンピュータ読込可能コードを備える、請求項14に記載のコンピュータプログラム製品。
  16. 新しい再マッピングされたネットリストを出力するためのコンピュータ読込可能コードを備える、請求項15に記載のコンピュータプログラム製品。
  17. 前記許容可能セルの追加的な組は、
    追加的に利用可能な機能またはセルを列挙する、少なくとも1つの明示的な組を含む、請求項16に記載のコンピュータプログラム製品。
  18. 前記許容可能セルの追加的な組は、
    追加的に利用可能なセルを列挙する明示的な組を含み、
    追加的に許容可能な論理関数の各々は異なる実行例を有し得る、請求項16に記載のコンピュータプログラム製品。
  19. 前記1つまたはより多くの追加的に許容可能なセルの組は、多くの入力によって記述される、請求項14に記載のコンピュータプログラム製品。
  20. 前記1つまたはより多くの追加的に許容可能なセルの組は、直列−並列の実行例における、多くの直列および並列のトランジスタによって記述される、請求項14に記載のコンピュータプログラム製品。
  21. 前記1つまたはより多くの追加的に許容可能なセルの組は、バイナリデシジョンダイアグラム(BDD)の高さによって記述される、請求項14に記載のコンピュータプログラム製品。
  22. 前記1つまたはより多くの追加的に許容可能なセルの組は、一般的なスイッチ実行例において達成可能な最小長さのトランジスタチェーンによって記述される、請求項14に記載のコンピュータプログラム製品。
  23. 前記1つまたはより多くの既存セルの組は、空の組を含む、請求項14に記載のコンピュータプログラム製品。
  24. 前記1つまたはより多くの既存セルの組の少なくとも一部分は、「使用不可」と示されるようにマーキングされる、請求項14に記載のコンピュータプログラム製品。
  25. 前記初期回路ネットリストは、レジスタ転送レベル(RTL)記述から取得される、請求項14に記載のコンピュータプログラム製品。
JP2010546000A 2008-02-05 2009-02-05 集積回路設計およびライブラリの最適化 Expired - Fee Related JP5127935B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US2622208P 2008-02-05 2008-02-05
US61/026,222 2008-02-05
PCT/US2009/033243 WO2009100237A2 (en) 2008-02-05 2009-02-05 Optimization of integrated circuit design and library

Publications (3)

Publication Number Publication Date
JP2011525261A JP2011525261A (ja) 2011-09-15
JP2011525261A5 true JP2011525261A5 (ja) 2012-03-22
JP5127935B2 JP5127935B2 (ja) 2013-01-23

Family

ID=40952683

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2010546000A Expired - Fee Related JP5127935B2 (ja) 2008-02-05 2009-02-05 集積回路設計およびライブラリの最適化

Country Status (4)

Country Link
EP (1) EP2257900A4 (ja)
JP (1) JP5127935B2 (ja)
CN (1) CN101990671A (ja)
WO (1) WO2009100237A2 (ja)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102279899B (zh) * 2011-04-01 2013-05-01 无锡中科微电子工业技术研究院有限责任公司 对精简标准单元库进行优化的方法
CN102663175B (zh) * 2012-03-27 2013-11-06 苏州芯禾电子科技有限公司 一种射频无源器件三维模型的构建系统以及构建方法
KR101904417B1 (ko) * 2012-03-30 2018-10-08 삼성전자주식회사 반도체 집적 회로 및 그 설계 방법
US10650110B2 (en) 2015-07-08 2020-05-12 Hewlett Packard Enterprise Development Lp Photonic circuit design systems
US10002224B2 (en) * 2016-02-29 2018-06-19 Synopsys, Inc. Interactive routing of connections in circuit using auto welding and auto cloning
WO2017151681A1 (en) * 2016-02-29 2017-09-08 Synopsys, Inc. Creating and reusing customizable structured interconnects
US10572615B2 (en) * 2017-04-28 2020-02-25 Synopsys, Inc. Placement and routing of cells using cell-level layout-dependent stress effects
CN107610569A (zh) * 2017-10-23 2018-01-19 宜宾学院 模拟电路实验设备及其所需电子元件的确定方法
CN108846160B (zh) * 2018-05-03 2023-03-10 上海华虹宏力半导体制造有限公司 标准单元库电路设计方法
TWI761750B (zh) * 2020-01-08 2022-04-21 國立雲林科技大學 類比電路效能自動化分析系統及其方法
CN115828807B (zh) * 2022-12-27 2024-07-05 北京华大九天科技股份有限公司 一种基于存储单位识别的网表约简方法

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05120372A (ja) * 1991-10-25 1993-05-18 Nec Corp ゲートアレイの設計方式
US5956257A (en) * 1993-03-31 1999-09-21 Vlsi Technology, Inc. Automated optimization of hierarchical netlists
US6286128B1 (en) * 1998-02-11 2001-09-04 Monterey Design Systems, Inc. Method for design optimization using logical and physical information
US6327552B2 (en) * 1999-12-28 2001-12-04 Intel Corporation Method and system for determining optimal delay allocation to datapath blocks based on area-delay and power-delay curves
US6539536B1 (en) * 2000-02-02 2003-03-25 Synopsys, Inc. Electronic design automation system and methods utilizing groups of multiple cells having loop-back connections for modeling port electrical characteristics
JP2001265842A (ja) * 2000-03-21 2001-09-28 Katsumi Hashimoto 複合ゲート合成装置、複合ゲート合成プログラムを格納した記録媒体および半導体装置
DE10025583A1 (de) * 2000-05-24 2001-12-06 Infineon Technologies Ag Verfahren zur Optimierung integrierter Schaltungen, Vorrichtung zum Entwurf von Halbleitern und Programmobjekt zum Entwerfen integrierter Schaltungen
JP2003036280A (ja) * 2001-07-23 2003-02-07 Hitachi Ltd 設計用データライブラリ、半導体集積回路の設計方法、及び半導体集積回路の製造方法
US7496867B2 (en) * 2007-04-02 2009-02-24 Lsi Corporation Cell library management for power optimization

Similar Documents

Publication Publication Date Title
JP2011525261A5 (ja)
Ozdal et al. The ISPD-2012 discrete cell sizing contest and benchmark suite
Ozdal et al. An improved benchmark suite for the ISPD-2013 discrete cell sizing contest
Weber A SAT-based Sudoku solver
US20130091483A1 (en) Automatic flow of megacell generation
Frustaci et al. Energy‐efficient single‐clock‐cycle binary comparator
Balabanov et al. Resolution proofs and Skolem functions in QBF evaluation and applications
Li et al. A novel decision diagrams extension method
Samanta et al. Clock buffer polarity assignment for power noise reduction
US20170068772A1 (en) System for optimizing power leakage and timing delay in an integrated circuit based on a cost factor of replacing cells
Balasubramanian et al. Robust asynchronous carry lookahead adders
Balasubramanian et al. Mathematical modeling of timing attributes of self-timed carry select adders
Hsu et al. Crosstalk-aware multi-bit flip-flop generation for power optimization
JP5267243B2 (ja) 動作記述変換装置、動作記述変換方法、およびプログラム
Moreira et al. Design of standard-cell libraries for asynchronous circuits with the ASCEnD flow
Caruso et al. Analysis of compressor architectures in MOS current-mode logic
US9268891B1 (en) Compact and efficient circuit implementation of dynamic ranges in hardware description languages
Chentouf et al. Power-aware hold optimization for ASIC physical synthesis
CN106598963B (zh) 查询语句优化方法及装置
Brzozowski Comparative analysis of dynamic power consumption of parallel prefix adder
Özbaltan Achieving power efficiency in hardware circuits with symbolic discrete control
Babiak et al. Almost linear Büchi automata
Reddy et al. A novel and unified digital ic design and automation methodology with reduced NRE cost and time-to-market
CN117540670B (zh) 用于数字电路的全局真值表生成方法及装置
Navi et al. Ultra High Speed CNFET Full-Adder Cell Based on Majority Gates