JP5445066B2 - 解析支援プログラム、解析支援装置、および解析支援方法 - Google Patents
解析支援プログラム、解析支援装置、および解析支援方法 Download PDFInfo
- Publication number
- JP5445066B2 JP5445066B2 JP2009268121A JP2009268121A JP5445066B2 JP 5445066 B2 JP5445066 B2 JP 5445066B2 JP 2009268121 A JP2009268121 A JP 2009268121A JP 2009268121 A JP2009268121 A JP 2009268121A JP 5445066 B2 JP5445066 B2 JP 5445066B2
- Authority
- JP
- Japan
- Prior art keywords
- delay
- correlation
- distribution
- target circuit
- standard deviation
- 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/3308—Design verification, e.g. functional simulation or model checking using simulation
- G06F30/3312—Timing analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/08—Probabilistic or stochastic CAD
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/12—Timing analysis or timing optimisation
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Description
まず、実施の形態にかかる本解析手法の概要の一例について説明する。本明細書において、対象回路とは、並列に動作する複数のパスを含む回路(たとえば、プロセッサ)である。パスとは、対象回路内の一のセルから他のセルに辿り着くまでの経路である。セルとは、対象回路に含まれるNOTゲート、ANDゲート、配線、バッファ、INV(インバータ)、FFなどの回路素子である。
f(β)=ap×β (β≧0)、f(β)=an×β (β<0)
・・・(1)
f(β)=Ap×β (β≧0)、f(β)=An×β (β<0)
・・・(4)
f(β)=Ap×β (β≧0)、f(β)=An×β (β<0)
・・・(8)
つぎに、対象回路の一例について説明する。図2は、対象回路の一例を示す回路図である。なお、図面では、対象回路の一部を抜粋して表示している。図2において、対象回路200は、パスPa〜Pcを含む構成である。本解析手法では、対象回路200内のパスPa〜Pbの少なくともいずれかを直列回路としてモデル化して、遅延とリーク電流の相関解析を実行する。
つぎに、本実施の形態にかかる解析支援装置のハードウェア構成について説明する。図3は、解析支援装置のハードウェア構成の一例を示すブロック図である。図3において、解析支援装置300は、CPU(Central Processing Unit)301と、ROM(Read‐Only Memory)302と、RAM(Random Access Memory)303と、磁気ディスクドライブ304と、磁気ディスク305と、光ディスクドライブ306と、光ディスク307と、ディスプレイ308と、I/F(Interface)309と、キーボード310と、マウス311と、スキャナ312と、プリンタ313と、を備えている。また、各構成部はバス320によってそれぞれ接続されている。
つぎに、解析支援装置300の機能的構成について説明する。図4は、解析支援装置の機能的構成を示すブロック図である。図4において、解析支援装置300は、入力部401と、取得部402と、算出部403と、補正部404と、作成部405と、出力部406と、を含む構成である。この制御部となる機能(入力部401〜出力部406)は、具体的には、たとえば、図3に示したROM302、RAM303、磁気ディスク305、光ディスク307などの記憶装置に記憶されたプログラムをCPU301に実行させることにより、または、I/F309により、その機能を実現する。
f(β)=Ap(1)×β (β≧0)、f(β)=An(1)×β (β<0)
・・・(11)
・・・(12)
つぎに、解析支援装置300の解析支援処理手順について説明する。図17は、解析支援装置の解析支援処理手順の一例を示すフローチャートである。図17のフローチャートにおいて、まず、入力部401により、対象回路に関する回路情報の入力を受け付けたか否かを判断する(ステップS1701)。
つぎに、図17に示したステップS1703のバラツキ補正処理の具体的処理手順について説明する。図18は、バラツキ補正処理の具体的処理手順の一例を示すフローチャートである。
つぎに、図17に示したステップS1704のリーク・遅延相関分布取得処理の具体的処理手順について説明する。図19−1および図19−2は、リーク・遅延相関分布取得処理の具体的処理手順の一例を示すフローチャートである。ここでは、解析支援装置300が備えるシミュレータによりリーク・遅延相関分布を算出する場合について説明する。
つぎに、図17に示したステップS1705のリーク・周波数相関分布算出処理の具体的処理手順について説明する。図20は、リーク・周波数相関分布算出処理の具体的処理手順の一例を示すフローチャートである。
つぎに、図17に示したステップS1706の周波数歩留分布算出処理の具体的処理手順について説明する。図21は、周波数歩留分布算出処理の具体的処理手順の一例を示すフローチャートである。
401 入力部
402 取得部
403 算出部
404 補正部
405 作成部
406 出力部
500 セル遅延バラツキテーブル
600 セルリークバラツキテーブル
700 相関係数テーブル
800 パス内セルテーブル
900 SSTA結果テーブル
1000 補正後バラツキテーブル
1100 リーク・遅延相関テーブル
1300 リーク・周波数相関テーブル
1500 周波数歩留テーブル
Claims (7)
- コンピュータに、
対象回路内の並列な複数のパスのいずれかのパスに含まれる各素子で独立の遅延バラツキに基づく前記各素子の第一遅延分布の標準偏差を用いて、前記いずれかのパスを直列回路としてモデル化した場合の前記各素子で独立の遅延バラツキに基づく前記いずれかのパスの第一遅延分布の標準偏差を算出する算出手順と、
前記算出手順によって算出された前記いずれかのパスの第一遅延分布の標準偏差と、前記対象回路の統計的遅延解析から得られる前記いずれかのパスの第一遅延分布の標準偏差とを用いて、前記各素子の第一遅延分布の標準偏差を補正する補正手順と、
前記補正手順によって補正された補正後の前記各素子の第一遅延分布の標準偏差を用いて前記対象回路の遅延とリーク電流の相関解析を実行することにより、前記対象回路の遅延とリーク電流の相関を表す相関分布を取得する取得手順と、
前記取得手順によって取得された相関分布を出力する出力手順と、
を実行させることを特徴とする解析支援プログラム。 - 前記コンピュータに、
前記補正後の前記各素子の第一遅延分布の標準偏差と、前記対象回路の統計的遅延解析から得られる前記対象回路内の全素子で共通の遅延バラツキに基づく前記いずれかのパスの第二遅延分布の標準偏差とを用いて、前記いずれかのパスの遅延バラツキを表現する関数モデルを作成する第1の作成手順と、
前記各素子で独立のリーク電流バラツキと前記全素子で共通のリーク電流バラツキとに基づいて、前記いずれかのパスのリーク電流バラツキを表現する関数モデルを作成する第2の作成手順と、を実行させ、
前記取得手順は、
前記第1および第2の作成手順によって作成された関数モデルと、前記各素子の遅延バラツキと前記各素子のリーク電流バラツキとの相関を表す相関係数とを用いて、前記相関解析を実行することにより、前記相関分布を取得することを特徴とする請求項1に記載の解析支援プログラム。 - 前記コンピュータに、
前記取得手順によって取得された前記対象回路の遅延とリーク電流の相関を表す相関分布に基づいて、前記対象回路のリーク電流と周波数との相関を表す相関分布を算出する第2算出手順を実行させ、
前記出力手順は、
前記第2算出手順によって算出された前記対象回路のリーク電流と周波数との相関を表す相関分布を出力することを特徴とする請求項1または2に記載の解析支援プログラム。 - 前記コンピュータに、
前記第2算出手順によって算出された前記対象回路のリーク電流と周波数との相関を表す相関分布に基づいて、前記対象回路の周波数に関する歩留分布を算出する第3算出手順を実行させ、
前記出力手順は、
前記第3算出手順によって算出された前記対象回路の周波数に関する歩留分布を出力することを特徴とする請求項3に記載の解析支援プログラム。 - 前記第3算出手順は、
前記対象回路のリーク電流と周波数との相関を表す相関分布のうち、前記対象回路のリーク電流が所定の閾値未満となる前記対象回路の周波数に基づいて、前記対象回路の周波数に関する歩留分布を算出することを特徴とする請求項4に記載の解析支援プログラム。 - 対象回路内の並列な複数のパスのいずれかのパスに含まれる各素子で独立の遅延バラツキに基づく前記各素子の第一遅延分布の標準偏差を用いて、前記いずれかのパスを直列回路としてモデル化した場合の前記各素子で独立の遅延バラツキに基づく前記いずれかのパスの第一遅延分布の標準偏差を算出する算出手段と、
前記算出手段によって算出された前記いずれかのパスの第一遅延分布の標準偏差と、前記対象回路の統計的遅延解析から得られる前記いずれかのパスの第一遅延分布の標準偏差とを用いて、前記各素子の第一遅延分布の標準偏差を補正する補正手段と、
前記補正手段によって補正された補正後の前記各素子の第一遅延分布の標準偏差を用いて前記対象回路の遅延とリーク電流の相関解析を実行することにより、前記対象回路の遅延とリーク電流の相関を表す相関分布を取得する取得手段と、
前記取得手段によって取得された相関分布を出力する出力手段と、
を備えることを特徴とする解析支援装置。 - コンピュータが、
対象回路内の並列な複数のパスのいずれかのパスに含まれる各素子で独立の遅延バラツキに基づく前記各素子の第一遅延分布の標準偏差を用いて、前記いずれかのパスを直列回路としてモデル化した場合の前記各素子で独立の遅延バラツキに基づく前記いずれかのパスの第一遅延分布の標準偏差を算出する算出工程と、
前記算出工程によって算出された前記いずれかのパスの第一遅延分布の標準偏差と、前記対象回路の統計的遅延解析から得られる前記いずれかのパスの第一遅延分布の標準偏差とを用いて、前記各素子の第一遅延分布の標準偏差を補正する補正工程と、
前記補正工程によって補正された補正後の前記各素子の第一遅延分布の標準偏差を用いて前記対象回路の遅延とリーク電流の相関解析を実行することにより、前記対象回路の遅延とリーク電流の相関を表す相関分布を取得する取得工程と、
前記取得工程によって取得された相関分布を出力する出力工程と、
を実行することを特徴とする解析支援方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009268121A JP5445066B2 (ja) | 2009-11-25 | 2009-11-25 | 解析支援プログラム、解析支援装置、および解析支援方法 |
US12/913,425 US8380480B2 (en) | 2009-11-25 | 2010-10-27 | Computer product, analysis support apparatus, and analysis support method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009268121A JP5445066B2 (ja) | 2009-11-25 | 2009-11-25 | 解析支援プログラム、解析支援装置、および解析支援方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2011113228A JP2011113228A (ja) | 2011-06-09 |
JP5445066B2 true JP5445066B2 (ja) | 2014-03-19 |
Family
ID=44062723
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009268121A Expired - Fee Related JP5445066B2 (ja) | 2009-11-25 | 2009-11-25 | 解析支援プログラム、解析支援装置、および解析支援方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US8380480B2 (ja) |
JP (1) | JP5445066B2 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5104814B2 (ja) * | 2009-05-18 | 2012-12-19 | 富士通株式会社 | 設計支援プログラム、設計支援装置、および設計支援方法 |
JP5664274B2 (ja) * | 2011-01-24 | 2015-02-04 | 富士通株式会社 | 解析支援プログラム、解析支援装置、および解析支援方法 |
US8555220B2 (en) | 2012-02-29 | 2013-10-08 | Umm Al-Qura University | Timing verification method for deterministic and stochastic networks and circuits |
US9454454B2 (en) * | 2014-09-09 | 2016-09-27 | Microsoft Technology Licensing, Llc | Memory leak analysis by usage trends correlation |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPWO2003060776A1 (ja) * | 2002-01-11 | 2005-05-19 | 富士通株式会社 | 半導体集積回路の遅延時間計算方法及び遅延時間計算システム |
JP2005092278A (ja) * | 2003-09-12 | 2005-04-07 | Matsushita Electric Ind Co Ltd | 集積回路装置の性能シミュレーション方法 |
JP2005352787A (ja) * | 2004-06-10 | 2005-12-22 | Matsushita Electric Ind Co Ltd | タイミング解析方法およびタイミング解析装置 |
US7441211B1 (en) * | 2005-05-06 | 2008-10-21 | Blaze Dfm, Inc. | Gate-length biasing for digital circuit optimization |
US7890904B2 (en) * | 2005-06-06 | 2011-02-15 | Fujitsu Limited | Estimating jitter in a clock tree of a circuit and synthesizing a jitter-aware and skew-aware clock tree |
JP4774294B2 (ja) * | 2005-12-26 | 2011-09-14 | 富士通株式会社 | 集積回路レイアウト装置、その方法及びプログラム |
US7650580B2 (en) * | 2006-01-03 | 2010-01-19 | Synopsys, Inc. | Method and apparatus for determining the performance of an integrated circuit |
GB0624846D0 (en) * | 2006-12-13 | 2007-01-24 | Imec Inter Uni Micro Electr | Application level estimation techniques for parametric yield in embedded systems under static real-time constraints |
JP2008140363A (ja) * | 2006-09-07 | 2008-06-19 | Matsushita Electric Ind Co Ltd | 回路解析方法 |
EP2006784A1 (en) * | 2007-06-22 | 2008-12-24 | Interuniversitair Microelektronica Centrum vzw | Methods for characterization of electronic circuits under process variability effects |
JP5056478B2 (ja) * | 2008-02-28 | 2012-10-24 | 富士通株式会社 | リーク電流解析プログラム、該プログラムを記録した記録媒体、リーク電流解析装置、およびリーク電流解析方法 |
US7917451B2 (en) * | 2008-03-11 | 2011-03-29 | International Business Machines Corporation | Methods, apparatus, and program products to optimize semiconductor product yield prediction for performance and leakage screens |
-
2009
- 2009-11-25 JP JP2009268121A patent/JP5445066B2/ja not_active Expired - Fee Related
-
2010
- 2010-10-27 US US12/913,425 patent/US8380480B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2011113228A (ja) | 2011-06-09 |
US20110125480A1 (en) | 2011-05-26 |
US8380480B2 (en) | 2013-02-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8005660B2 (en) | Hierarchical stochastic analysis process optimization for integrated circuit design and manufacture | |
JP4217220B2 (ja) | 検証支援プログラムおよび検証支援装置 | |
US7761275B2 (en) | Synthesizing current source driver model for analysis of cell characteristics | |
US9589096B1 (en) | Method and apparatus for integrating spice-based timing using sign-off path-based analysis | |
US8504978B1 (en) | User interface for timing budget analysis of integrated circuit designs | |
US6278964B1 (en) | Hot carrier effect simulation for integrated circuits | |
JP2007183932A (ja) | タイミング解析方法及びタイミング解析装置 | |
US7958473B2 (en) | Method and computer program for configuring an integrated circuit design for static timing analysis | |
US10789406B1 (en) | Characterizing electronic component parameters including on-chip variations and moments | |
JP5445066B2 (ja) | 解析支援プログラム、解析支援装置、および解析支援方法 | |
US11636246B2 (en) | Systems and methods for predicting and managing power and energy use of semiconductor devices | |
Chowdhary et al. | How accurately can we model timing in a placement engine? | |
US20020046015A1 (en) | Method and system for creating electronic circuitry | |
US20100131249A1 (en) | Method and apparatus for supporting verification of leakage current distribution | |
US10540464B1 (en) | Critical path aware voltage drop analysis of an integrated circuit | |
JP5785725B2 (ja) | 電力見積装置、電力見積方法及びプログラム | |
US20160025810A1 (en) | Diagnosis and debug with truncated simulation | |
Mangassarian et al. | Maximum circuit activity estimation using pseudo-boolean satisfiability | |
JP5370256B2 (ja) | 解析支援プログラム、解析支援装置および解析支援方法 | |
US8615692B1 (en) | Method and system for analyzing test vectors to determine toggle counts | |
JP5374937B2 (ja) | 電力指標算出プログラム、電力指標算出装置、および電力指標算出方法 | |
US11068632B2 (en) | Simulation apparatus, description conversion method and simulation method | |
JP4924130B2 (ja) | 消費電力解析支援プログラム、該プログラムを記録した記録媒体、および消費電力解析支援装置 | |
JP2014186702A (ja) | 物理故障解析プログラム、物理故障解析方法および物理故障解析装置 | |
Schumacher et al. | Fast RTL power estimation for FPGA designs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20120815 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20130501 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130514 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130716 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20130726 |
|
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: 20131126 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20131209 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |