JP5044635B2 - 回路動作の最悪条件決定システム、方法およびプログラム - Google Patents
回路動作の最悪条件決定システム、方法およびプログラム Download PDFInfo
- Publication number
- JP5044635B2 JP5044635B2 JP2009500152A JP2009500152A JP5044635B2 JP 5044635 B2 JP5044635 B2 JP 5044635B2 JP 2009500152 A JP2009500152 A JP 2009500152A JP 2009500152 A JP2009500152 A JP 2009500152A JP 5044635 B2 JP5044635 B2 JP 5044635B2
- Authority
- JP
- Japan
- Prior art keywords
- worst condition
- performance index
- circuit
- worst
- model
- 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.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
Description
本願は、先の日本特許出願2007−037954号(2007年2月19日出願)の優先権を主張するものであり、前記先の出願の全記載内容は、本書に引用をもって繰込み記載されているものとみなされる。
本発明は、回路動作の最悪条件決定システム、方法およびプログラムに関し、特に、集積回路装置の構成要素の特性が統計的にばらつく場合において、集積回路装置の設計上必要とされる最悪条件を導出するための最悪条件決定方法、システムおよびプログラムに関する。
ランダムなばらつきがある場合の最悪条件の算出方法としてモンテカルロ法が知られている。しかし、この方法に基づいて最悪条件を決定するためには多数回の試行が必要とされるという問題がある。仮に、得られる特性値の分布が正規分布であるとすると、その標準偏差σを精度良く求めるために、少なくとも300回程度の試行を行うことが望ましい。なぜなら、モンテカルロ法は確率的な方法であるため、試した結果が偏りを持っている可能性がある。偏りが十分小さいことを保障するには試行の回数を増やさなければならないため、計算に長い時間を要する。
前記等値面に接する等確率面を決定し、該等確率面および該等確率面によって囲まれる領域内において前記性能指標が最大又は最小となる点を探索して前記最悪条件とするように構成された最悪条件探索手段を備える。
101 最悪条件決定手段
102 入力手段
103 出力手段
111 最悪条件探索手段
112 性能指標計算手段
X=f(x1、x2、…) (1)
p1=g1(x1、x2、…)、p2=g2(x1、x2、…) (2)
のように、パラメータの組が他のパラメータの組{x1、x2、…}の関数として表され、確率変数{x1、x2、…}のばらつき方が規定され、さらに性能指標Xが{p1、p2、…}の関数として次式のように与えられていても良い。
X=h(p1、p2、…) (3)
p1=(p1の標準偏差)・{x1+(p1の期待値)) (4)
のように、確率変数x1を定義すると、x1の期待値はゼロ、標準偏差は1となり、数値計算上都合がよい。
を用いることで、{p1、p2、…}を互いに無相関な確率変数{x1、x2、…}の関数として表現することが好ましい。多変量解析の手法として広く知られた主成分分析法を用いると、{p1、p2、…}が所定の相関を持つように式(5)の変換行列を決定することができる。
によって与えられる。ただし、パラメータ{x1、x2、…}は規格化されているものとする。ここでrは近似等性能面の原点Oからの距離である。よって、まず所望の良品率に相当するrを式(6)を解いて求め、図6における半径rの球面(すなわち、等確率面)と等性能面とが接する点を決定することができれば、その点において等性能面と接する超平面が前記の近似等性能面に他ならない。そして、この点(すなわち、接点)が近似的に決定された最悪条件となる。
Claims (9)
- 回路性能指標を模擬するモデル関数に含まれる1または2以上のパラメータを確率変数とすることによって前記回路性能指標とそのばらつきを模擬するモデルにおいて前記回路性能指標が設計上想定すべき最大値または最小値をとる場合の前記パラメータを最悪条件として決定する最悪条件決定システムであって、
前記パラメータが張る空間内における所定の良品率に対応する等確率面上および前記等確率面で囲まれる領域内において前記回路性能指標が最大値または最小値をとる点を探索して前記最悪条件とする最悪条件探索手段を備える最悪条件決定システム。 - 前記最悪条件探索手段における前記良品率を指定する情報を入力する入力手段と、
前記モデル関数に基づいて前記回路性能指標を計算する性能指標計算手段と、
前記最悪条件探索手段において求めた前記最悪条件を出力する出力手段と、を備えたことを特徴とする、請求項1に記載の最悪条件決定システム。 - 回路性能指標を模擬するモデル関数に含まれる2以上のパラメータを確率変数とした場合、前記等確率面が、超楕円体面、楕円体面または楕円弧のいずれかであることを特徴とする、請求項1または2に記載の最悪条件決定システム。
- 前記出力手段が、前記最悪条件探索手段において求めた前記最悪条件が前記等確率面の内側に存在したことをさらに出力するように構成されたことを特徴とする、請求項2に記載の最悪条件決定システム。
- 前記モデル関数が、回路シミュレーションによって計算されることを特徴とする、請求項1または2に記載の最悪条件決定システム。
- 前記モデル関数が、応答曲面関数であることを特徴とする、請求項1または2に記載の最悪条件決定システム。
- 性能指標を与えるモデル関数と該モデル関数の変数に対する確率密度関数とが与えられた場合において、該モデル関数の等値面によって分割された定義域のうち性能指標が良い側について該確率密度関数を積分して得た値が所定の値となるようにするときの、該等値面上の最も生起確率が高い点を最悪条件として決定する最悪条件決定システムであって、
前記等値面に接する等確率面を決定し、該等確率面および該等確率面によって囲まれる領域内において前記性能指標が最大又は最小となる点を探索して前記最悪条件とするように構成された最悪条件探索手段を備える最悪条件決定システム。 - 回路性能指標を模擬するモデル関数に含まれる1または2以上のパラメータを確率変数とすることによって前記回路性能指標とそのばらつきを模擬するモデルにおいて前記回路性能指標が設計上想定すべき最大値または最小値をとる場合の前記パラメータを、コンピュータによって最悪条件として決定する最悪条件決定方法であって、
前記コンピュータが、前記モデルを記憶装置から読み出す工程と、
前記パラメータが張る空間内における所定の良品率に対応する等確率面を決定する工程と、
前記等確率面上および前記等確率面で囲まれる領域内において前記回路性能指標が最大値または最小値をとる点を探索して前記最悪条件とする工程と、を含む最悪条件決定方法。 - 回路性能指標を模擬するモデル関数に含まれる1または2以上のパラメータを確率変数とすることによって前記回路性能指標とそのばらつきを模擬するモデルにおいて前記回路性能指標が設計上想定すべき最大値または最小値をとる場合の前記パラメータを最悪条件として決定する処理をコンピュータに実行させる最悪条件決定プログラムであって、
前記パラメータが張る空間内における所定の良品率に対応する等確率面を決定する処理と、
前記等確率面上および前記等確率面で囲まれる領域内において前記回路性能指標が最大値または最小値をとる点を探索して前記最悪条件とする処理と、をコンピュータに実行させるプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009500152A JP5044635B2 (ja) | 2007-02-19 | 2008-02-13 | 回路動作の最悪条件決定システム、方法およびプログラム |
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007037954 | 2007-02-19 | ||
JP2007037954 | 2007-02-19 | ||
PCT/JP2008/052363 WO2008102681A1 (ja) | 2007-02-19 | 2008-02-13 | 回路動作の最悪条件決定システム、方法およびプログラム |
JP2009500152A JP5044635B2 (ja) | 2007-02-19 | 2008-02-13 | 回路動作の最悪条件決定システム、方法およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2008102681A1 JPWO2008102681A1 (ja) | 2010-05-27 |
JP5044635B2 true JP5044635B2 (ja) | 2012-10-10 |
Family
ID=39709958
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009500152A Expired - Fee Related JP5044635B2 (ja) | 2007-02-19 | 2008-02-13 | 回路動作の最悪条件決定システム、方法およびプログラム |
Country Status (3)
Country | Link |
---|---|
US (1) | US20100076741A1 (ja) |
JP (1) | JP5044635B2 (ja) |
WO (1) | WO2008102681A1 (ja) |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5267398B2 (ja) * | 2009-09-25 | 2013-08-21 | 富士通株式会社 | 自動回路設計用パレートデータ生成プログラム、方法及び装置、並びに自動回路設計プログラム、方法及び装置 |
JP2011113302A (ja) * | 2009-11-26 | 2011-06-09 | Renesas Electronics Corp | 半導体集積回路のタイミング検証装置、タイミング検証方法、タイミング検証プログラム |
JP5509952B2 (ja) * | 2010-03-16 | 2014-06-04 | 富士通セミコンダクター株式会社 | シミュレーション方法、シミュレーション装置、プログラム、及び記憶媒体 |
US9141735B2 (en) * | 2010-06-18 | 2015-09-22 | Taiwan Semiconductor Manufacturing Company, Ltd. | Circuit device reliability simulation system |
US8370774B2 (en) * | 2010-08-30 | 2013-02-05 | Taiwan Semiconductor Manufacturing Company, Ltd. | Constructing mapping between model parameters and electrical parameters |
JP5500049B2 (ja) | 2010-11-09 | 2014-05-21 | 富士通株式会社 | 設計支援プログラム、設計支援装置および設計支援方法 |
JP5565289B2 (ja) * | 2010-12-08 | 2014-08-06 | 富士通株式会社 | 探索プログラム、探索方法及び探索処理装置 |
KR102061763B1 (ko) | 2013-05-27 | 2020-01-03 | 삼성전자 주식회사 | 시뮬레이션 시스템 및 방법, 상기 시스템을 포함하는 컴퓨팅 시스템 |
JP6255982B2 (ja) * | 2013-12-24 | 2018-01-10 | 富士通株式会社 | 検証支援プログラム、および検証支援方法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH11296561A (ja) * | 1998-04-07 | 1999-10-29 | Toshiba Corp | ワーストケース・モデルパラメータ生成方法及び装置 |
JP2001195445A (ja) * | 1999-11-29 | 2001-07-19 | Texas Instr Inc <Ti> | アナログ回路の最悪ケース性能モデル化 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7474999B2 (en) * | 2002-12-23 | 2009-01-06 | Cadence Design Systems, Inc. | Method for accounting for process variation in the design of integrated circuits |
US7669150B2 (en) * | 2004-10-29 | 2010-02-23 | Xigmix, Inc. | Statistical optimization and design method for analog and digital circuits |
-
2008
- 2008-02-13 WO PCT/JP2008/052363 patent/WO2008102681A1/ja active Application Filing
- 2008-02-13 JP JP2009500152A patent/JP5044635B2/ja not_active Expired - Fee Related
- 2008-02-13 US US12/527,862 patent/US20100076741A1/en not_active Abandoned
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH11296561A (ja) * | 1998-04-07 | 1999-10-29 | Toshiba Corp | ワーストケース・モデルパラメータ生成方法及び装置 |
JP2001195445A (ja) * | 1999-11-29 | 2001-07-19 | Texas Instr Inc <Ti> | アナログ回路の最悪ケース性能モデル化 |
Also Published As
Publication number | Publication date |
---|---|
WO2008102681A1 (ja) | 2008-08-28 |
JPWO2008102681A1 (ja) | 2010-05-27 |
US20100076741A1 (en) | 2010-03-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5044635B2 (ja) | 回路動作の最悪条件決定システム、方法およびプログラム | |
McConaghy et al. | Variation-aware design of custom integrated circuits: a hands-on field guide | |
US7243320B2 (en) | Stochastic analysis process optimization for integrated circuit design and manufacture | |
US8005660B2 (en) | Hierarchical stochastic analysis process optimization for integrated circuit design and manufacture | |
US7937256B2 (en) | Systems and methods of efficient library characterization for integrated circuit cell libraries | |
US8245165B1 (en) | Methods and apparatus for waveform based variational static timing analysis | |
US10621494B2 (en) | System and method for circuit simulation based on recurrent neural networks | |
US8176454B2 (en) | Non-invasive timing characterization of integrated circuits using sensitizable signal paths and sparse equations | |
Maricau et al. | Efficient variability-aware NBTI and hot carrier circuit reliability analysis | |
US20070266357A1 (en) | Timing analysis method and timing analysis apparatus | |
US9898566B2 (en) | Method for automated assistance to design nonlinear analog circuit with transient solver | |
US6560568B1 (en) | Deriving statistical device models from electrical test data | |
US7630852B1 (en) | Method of evaluating integrated circuit system performance using orthogonal polynomials | |
US6356861B1 (en) | Deriving statistical device models from worst-case files | |
US8813006B1 (en) | Accelerated characterization of circuits for within-die process variations | |
Rosenbaum et al. | Machine learning for circuit aging simulation | |
US10803218B1 (en) | Processor-implemented systems using neural networks for simulating high quantile behaviors in physical systems | |
JPWO2016030938A1 (ja) | シミュレーションシステム、及びシミュレーション方法 | |
JP4871194B2 (ja) | パラメータ抽出方法及び当該パラメータ抽出方法を実行させるプログラムを具備するコンピュータ読み取り可能な記憶媒体 | |
Severo et al. | Automatic synthesis of analog integrated circuits including efficient yield optimization | |
US8676547B2 (en) | Parameter extraction method | |
Qi | IC design analysis, optimization and reuse via machine learning | |
US20110257943A1 (en) | Node-based transient acceleration method for simulating circuits with latency | |
US8380476B2 (en) | Modeling of ferroelectric capacitors to include local statistical variations of ferroelectric properties | |
Malik et al. | Sparse regression driven mixture importance sampling for memory design |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A711 Effective date: 20100616 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110114 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120313 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120416 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20120710 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20120713 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150720 Year of fee payment: 3 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
LAPS | Cancellation because of no payment of annual fees |