JP2000268080A5 - - Google Patents
Download PDFInfo
- Publication number
- JP2000268080A5 JP2000268080A5 JP1999090558A JP9055899A JP2000268080A5 JP 2000268080 A5 JP2000268080 A5 JP 2000268080A5 JP 1999090558 A JP1999090558 A JP 1999090558A JP 9055899 A JP9055899 A JP 9055899A JP 2000268080 A5 JP2000268080 A5 JP 2000268080A5
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- clock
- timing verification
- static
- asynchronous
- 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
Links
- 238000000034 method Methods 0.000 claims 30
- 230000003068 static Effects 0.000 claims 30
- 230000001360 synchronised Effects 0.000 claims 20
- 230000000737 periodic Effects 0.000 claims 7
- 230000005540 biological transmission Effects 0.000 claims 2
- 230000001902 propagating Effects 0.000 claims 2
- 235000007516 Chrysanthemum Nutrition 0.000 claims 1
- 240000005250 Chrysanthemum indicum Species 0.000 claims 1
- 235000005986 Chrysanthemum x morifolium Nutrition 0.000 claims 1
- 239000000284 extract Substances 0.000 claims 1
Claims (20)
- タイミング検証の対象回路に対する静的タイミング検証又は動的タイミング検証の適用を決める静的・動的タイミング検証分割処理を有し、
前記静的・動的タイミング検証分割処理は、前記対象回路の中のカウンタ手段を識別し、識別された前記カウンタ手段の情報をもとに、前記対象回路の中のクロック情報を識別するクロック情報認識処理を含むことを特徴とする静的・動的タイミング検証方法。 - 請求項1において、
前記クロック情報認識処理は、更に、識別した前記クロック情報をもとに、前記対象回路の中で同期回路部分と非同期回路部分との非同期転送経路、更に同期回路部分間の非同期転送経路を、夫々識別する処理を行うことを特徴とする静的・動的タイミング検証方法。 - 請求項1において、
前記クロック情報認識処理は、更に、
識別した前記クロック情報をもとに、前記対象回路の中でクロックゲートを構成している論理素子を識別し、
前記クロックゲートを構成している前記論理素子へ2本以上クロック属性を持つ信号が入力されている場合に、クロックゲートのセットアップ解析、ホールド解析を実行する必要があるかを判定し、
前記クロック属性を持つ入力信号の中でどの信号を基準としてクロックゲートのセットアップ解析、ホールド解析を実行するかを判定する判定処理を更に含むことを特徴とする静的・動的タイミング検証方法。 - 請求項1において、
前記クロック情報認識処理は、更に、識別した前記クロック情報をもとに、前記対象回路の中でクロックゲートを構成している論理素子を識別し、
前記静的・動的タイミング検証分割処理は、前記クロックゲートを構成している論理素子へのクロック属性を持たない入力信号がマルチサイクルパスか否かの識別を行う認識処理を更に含むことを特徴とする静的・動的タイミング検証方法。 - 請求項1において、
前記クロック情報認識処理は、更に、識別した前記クロック情報をもとに、前記対象回路の中でクロックの選択論理を構成している論理素子を識別することを特徴とする静的・動的タイミング検証方法。 - 請求項1において、
前記静的・動的タイミング検証分割処理は、
前記クロック情報認識処理で識別された前記クロック情報をもとに、前記対象回路の中でクロック以外の信号がクロック端子に供給されているフリップフロップ及びラッチに対して、仮想的なクロックが定義可能かを判定し、それによって、クロック以外の信号がクロック端子に供給されているフリップフロップ及びラッチであって、仮想的なクロックが定義可能と判定されたフリップフロップ及びラッチのクロック端子に対して、仮想的なクロックを設定する設定処理を更に含むことを特徴とする静的・動的タイミング検証方法。 - 請求項1において、
前記静的・動的タイミング検証分割処理は、
前記クロック情報認識処理で識別した前記クロック情報を元に、前記対象回路の中で静的タイミング検証適用回路部分と動的タイミング検証適用回路部分とを識別する適用回路部分認識処理を含むことを特徴とする静的・動的タイミング検証方法。 - 請求項7において、
前記適用回路部分認識処理は、識別した前記動的タイミング検証適用回路部分に信号の伝達経路に沿ってフリップフロップが現われる迄を前記動的タイミング検証適用回路部分に含めて認識することを特徴とする静的・動的タイミング検証方法。 - 請求項7において、
前記適用回路部分認識処理は、識別した前記動的タイミング検証適用回路部分と前記対象回路の中の論理階層との対応を識別するものであることを特徴とする静的・動的タイミング検証方法。 - 請求項7において、
前記適用回路部分認識処理は、識別した前記静的タイミング検証適用回路部分の入力端子及び出力端子に最も近い前記動的タイミング検証適用回路部分内のフリップフロップから信号の伝達経路に沿って前記動的タイミング検証適用回路部分外のフリップフロップ及びラッチを識別し、
識別された前記動的タイミング検証適用回路部分外のフリップフロップ及びラッチへのクロック信号の伝搬遅延を、前記対象回路に遅延情報を与える際に前記動的タイミング検証適用回路部分と前記動的タイミング検証適用回路部分内のフリップフロップ及びラッチへのクロック信号の伝搬遅延のみを与えるだけで動的タイミング検証が可能となるよう調整することを特徴とする静的・動的タイミング検証方法。 - タイミング検証の対象回路の中のカウンタ手段を識別する第1の処理と、
識別された前記カウンタ手段の情報を元に、前記対象回路の中のクロック情報を識別する第2の処理と、
識別した前記クロック情報を元に、前記対象回路の中で静的タイミング検証適用回路部分と動的タイミング検証適用回路部分とを識別する第3の処理と、
前記第3の処理の結果に基づいて静的タイミング検証を行う第4の処理と、
前記第3の処理の結果に基づいて動的タイミング検証を行う第5の処理とを含むことを特徴とする静的・動的タイミング検証方法。 - 同期回路および非同期回路が含まれる同期・非同期混在回路における前記同期回路に非周期的な誤動作を発生する可能性のある回路部分を抽出し、この回路部分には非周期回路として動的タイミング検証を施し、
前記同期・非同期混在回路における前記非同期回路に仮想的なクロック信号とみなすことが可能な信号が供給される回路部分を抽出し、この回路部分には周期回路として静的タイミング検証を施すことを特徴とする静的・動的タイミング検証方法。 - クロック信号に対する同期回路および非同期回路が含まれる同期・非同期混在回路の静的・動的タイミング検証方法であって、
前記同期回路を周期回路と非周期回路とに、前記非同期回路を周期回路と非周期回路とに分類し、
前記同期回路の周期回路及び前記非同期回路の周期回路には静的タイミング検証を施し、
前記同期回路の非周期回路及び前記非同期回路の非周期回路には動的タイミング検証を施すことを特徴とする静的・動的タイミング検証方法。 - タイミング検証の対象回路に対する静的タイミング検証又は動的タイミング検証の適用を決める静的・動的タイミング検証分割処理を有し、
前記静的・動的タイミング検証分割処理は、前記対象回路の中のカウンタ手段を識別し、識別された前記カウンタ手段の情報をもとに、前記対象回路の中のクロック情報を識別するクロック情報認識処理を含み、
前記クロック情報認識処理は、更に、識別した前記クロック情報をもとに、前記対象回路の中で同期回路部分と非同期回路部分との非同期転送経路、更に同期回路部分間の非同期転送経路を、夫々識別する処理を行い、
前記識別する処理は、前記非同期転送経路を構成する素子を認識するために、前記素子のクロック端子からデータ出力端子への素子内パスの通過を認め、
外部端子から前記通過を認めた素子を通るクロックパスを、クロックソース間を結ぶグラフで表現する処理と、
前記グラフのクロックソースを用いる素子の集合を把握する処理と、
前記グラフ毎に、前記グラフのクロックソースをクロックソースとする素子と前記グラフのクロックソースをクロックソースとしない素子との間のデータ転送を非同期転送として認識し、
前記非同期転送と認識された経路の素子が選択論理の前段で異なる前記グラフの頂点をクロックソースとするものであれば当該経路を常時非同期転送と認識し、一方、前記非同期転送と認識された経路の素子が選択論理の前後で同一の前記グラフの頂点をクロックソースとするものであれば当該経路は選択論理の選択状態に応じて非同期転送になると認識することを特徴とする静的・動的タイミング検証方法。 - タイミング検証の対象回路の中のカウンタ手段を識別する第1の処理と、
識別された前記カウンタ手段の情報を元に、前記対象回路の中のクロック情報を識別する第2の処理と、
識別した前記クロック情報を元に、前記対象回路の中で静的タイミング検証適用回路部分と動的タイミング検証適用回路部分を識別する第3の処理と、
前記第3の処理結果に基づいて静的タイミング検証を行う第4の処理と、
前記第3の処理結果に基づいて動的タイミング検証を行う第5の処理とをコンピュータに実行させるためのプログラムを記録して成るものであることを特徴とするコンピュータ読取り可能な記憶媒体。 - 同期回路および非同期回路が含まれる同期・非同期混在回路における前記同期回路に非周期的な誤動作を発生する可能性のある回路部分を抽出し、この回路部分には非周期回路として動的タイミング検証を施す処理と、
前記同期・非同期混在回路における前記非同期回路に仮想的なクロック信号とみなすことが可能な信号が供給される回路部分を抽出し、この回路部分には周期回路として静的タイミング検証を施す処理とをコンピュータに実行させるためのプログラムを記録して成るものであることを特徴とするコンピュータ読取り可能な記憶媒体。 - クロック信号に対する同期回路および非同期回路が混在して含まれる同期・非同期混在回路に対して、
前記同期回路を周期回路と非周期回路に、前記非同期回路を周期回路と非周期回路に分類し、
前記同期回路の周期回路及び非同期回路の周期回路には静的タイミング検証を施し、前記同期回路の非周期回路及び非同期回路の非周期回路には動的タイミング検証を施す、夫々の処理をコンピュータに実行させるためのプログラムを記録して成るものであることを特徴とするコンピュータ読取り可能な記憶媒体。 - 回路内部で生成されたクロックの情報を認識するクロック情報認識方法であって、
前記回路内のカウンタ手段を識別し、識別された前記カウンタ手段の情報をもとに、前記回路の中のクロック情報を識別することを特徴とするクロック情報認識方法。 - 請求項18において、
識別された前記カウンタ手段の情報をもとに、前記カウンタ手段の出力から周期的情報を前記回路の中の回路網上に伝播させることで、前記回路の中のクロック情報を識別することを特徴とするクロック情報認識方法。 - 請求項19において、
前記カウンタ手段から非周期的情報を前記回路の中の回路網上に更に伝播させることで、前記回路網上の多入力一出力の論理素子の入出力端子に接続される回路網の属性を設定し、
前記回路網の属性の設定は、
前記論理素子の全ての入力が周期的な信号の場合には、前記論理素子の出力端子に接続する回路網の属性を周期属性に設定し、
前記論理素子の全ての入力が非周期的な信号の場合には、前記論理素子の出力端子に接続する回路網の属性を非周期属性に設定し、
前記論理素子の入力に、1つの周期的な信号および1つの非周期的な信号が少なくとも入力される場合には、前記論理素子の出力端子に接続する回路網の属性を準周期的属性に設定することを特徴とするクロック情報認識方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP09055899A JP4176906B2 (ja) | 1999-01-14 | 1999-03-31 | 静的・動的タイミング検証方法及び記憶媒体 |
US09/482,877 US6658635B1 (en) | 1999-01-14 | 2000-01-14 | Static-dynamic timing analysis method and storage medium |
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP11-7429 | 1999-01-14 | ||
JP742999 | 1999-01-14 | ||
JP09055899A JP4176906B2 (ja) | 1999-01-14 | 1999-03-31 | 静的・動的タイミング検証方法及び記憶媒体 |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2000268080A JP2000268080A (ja) | 2000-09-29 |
JP2000268080A5 true JP2000268080A5 (ja) | 2005-10-27 |
JP4176906B2 JP4176906B2 (ja) | 2008-11-05 |
Family
ID=26341714
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP09055899A Expired - Fee Related JP4176906B2 (ja) | 1999-01-14 | 1999-03-31 | 静的・動的タイミング検証方法及び記憶媒体 |
Country Status (2)
Country | Link |
---|---|
US (1) | US6658635B1 (ja) |
JP (1) | JP4176906B2 (ja) |
Families Citing this family (26)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7188327B2 (en) * | 2002-04-11 | 2007-03-06 | Cadence Design Systems, Inc. | Method and system for logic-level circuit modeling |
US7181713B2 (en) * | 2002-08-28 | 2007-02-20 | Lsi Logic Corporation | Static timing and risk analysis tool |
US6851098B2 (en) * | 2002-08-28 | 2005-02-01 | Lsi Logic Corporation | Static timing analysis and performance diagnostic display tool |
JP4083544B2 (ja) * | 2002-11-18 | 2008-04-30 | 富士通株式会社 | マルチサイクルパス解析方法 |
US7080334B2 (en) * | 2003-05-09 | 2006-07-18 | Incentia Design Systems Corp. | Automatic clock gating insertion in an IC design |
US7134062B2 (en) * | 2003-08-12 | 2006-11-07 | Via Telecom, Inc. | Static timing analysis approach for multi-clock domain designs |
JP4271067B2 (ja) * | 2004-03-29 | 2009-06-03 | 富士通マイクロエレクトロニクス株式会社 | 非同期回路検証方法および非同期回路検証プログラム |
US7089143B2 (en) * | 2004-04-29 | 2006-08-08 | International Business Machines Corporation | Method and system for evaluating timing in an integrated circuit |
US7412678B2 (en) * | 2004-06-02 | 2008-08-12 | Lsi Corporation | Method and computer program for management of synchronous and asynchronous clock domain crossing in integrated circuit design |
JP4418310B2 (ja) * | 2004-06-29 | 2010-02-17 | 富士通株式会社 | テストパターン生成方法およびテストパターン生成プログラム |
US7609146B2 (en) * | 2005-07-27 | 2009-10-27 | Lear Corporation | System and method for controlling a function using a variable sensitivity receiver |
JP4992468B2 (ja) * | 2007-02-27 | 2012-08-08 | 富士通セミコンダクター株式会社 | 検証方法、検証装置及びプログラム |
US7930673B2 (en) | 2007-05-29 | 2011-04-19 | Magma Design Automation, Inc. | Method for automatic clock gating to save power |
JP2009086817A (ja) * | 2007-09-28 | 2009-04-23 | Casio Comput Co Ltd | 論理シミュレーション装置、アサーション記述自動生成装置、及びプログラム |
US8104004B2 (en) * | 2008-02-13 | 2012-01-24 | Achronix Semiconductor Corporation | Logic performance in cyclic structures |
US8086975B2 (en) * | 2008-04-10 | 2011-12-27 | University Of Southern California | Power aware asynchronous circuits |
US8448105B2 (en) * | 2008-04-24 | 2013-05-21 | University Of Southern California | Clustering and fanout optimizations of asynchronous circuits |
US7884649B1 (en) * | 2009-02-27 | 2011-02-08 | Magma Design Automation, Inc. | Selection of optimal clock gating elements |
JP5440094B2 (ja) * | 2009-10-22 | 2014-03-12 | 日本電気株式会社 | 回路設計装置及び方法 |
US8655634B2 (en) * | 2010-03-10 | 2014-02-18 | International Business Machines Corporation | Modeling loading effects of a transistor network |
US8365116B2 (en) * | 2010-12-06 | 2013-01-29 | University Of Utah Research Foundation | Cycle cutting with timing path analysis |
US8656326B1 (en) * | 2013-02-13 | 2014-02-18 | Atrenta, Inc. | Sequential clock gating using net activity and XOR technique on semiconductor designs including already gated pipeline design |
JP6146224B2 (ja) * | 2013-09-12 | 2017-06-14 | 株式会社ソシオネクスト | 判定方法、判定プログラム、および判定装置 |
US10268787B2 (en) * | 2017-07-17 | 2019-04-23 | Taiwan Semiconductor Manufacturing Company Ltd. | Hybrid timing analysis method and associated system and non-transitory computer readable medium |
US11087003B2 (en) * | 2018-08-24 | 2021-08-10 | Oracle International Corporation | Scalable pre-analysis of dynamic applications |
TWI689736B (zh) * | 2019-07-11 | 2020-04-01 | 瑞昱半導體股份有限公司 | 偵測電路之腳位關聯性的方法及其電腦程式產品 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5579510A (en) * | 1993-07-21 | 1996-11-26 | Synopsys, Inc. | Method and structure for use in static timing verification of synchronous circuits |
US5650938A (en) * | 1995-12-13 | 1997-07-22 | Synopsys, Inc. | Method and apparatus for verifying asynchronous circuits using static timing analysis and dynamic functional simulation |
-
1999
- 1999-03-31 JP JP09055899A patent/JP4176906B2/ja not_active Expired - Fee Related
-
2000
- 2000-01-14 US US09/482,877 patent/US6658635B1/en not_active Expired - Lifetime
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2000268080A5 (ja) | ||
US7958474B2 (en) | Highly threaded static timer | |
US20080134117A1 (en) | System and method for efficient analysis of point-to-point delay constraints in static timing | |
EP1966730A2 (en) | System and method for generating a plurality of models at different levels of abstraction from a single master model | |
US7039887B2 (en) | Method and apparatus for enhancing the performance of event driven dynamic simulation of digital circuits based on netlist partitioning techniques | |
Cavanagh | Verilog HDL: digital design and modeling | |
US10929584B1 (en) | Environmental modification testing for design correctness with formal verification | |
Burch | Modelling timing assumption with trace theory | |
CN115688643A (zh) | 仿真逻辑系统设计的方法、设备及存储介质 | |
US8959467B2 (en) | Structural rule analysis with TCL scripts in synthesis or STA tools and integrated circuit design tools | |
US20220327269A1 (en) | Computing device and method for detecting clock domain crossing violation in design of memory device | |
WO2022198447A1 (zh) | 一种数字电路的综合方法及综合装置 | |
Semba et al. | Conversion from synchronous RTL models to asynchronous RTL models | |
Semba et al. | RTL conversion method from pipelined synchronous RTL models into asynchronous ones | |
Sohofi et al. | System‐level assertions: approach for electronic system‐level verification | |
JP2003058597A (ja) | 論理等価性検証装置及び論理等価性検証方法 | |
KR100321780B1 (ko) | 칩의외부신호자동비교에의한칩기능검증방법 | |
JP2914257B2 (ja) | 競合動作の判定方法 | |
Leong et al. | The automatic generation of bus-interface models | |
JP2996153B2 (ja) | Asic検証方法 | |
CN117634379A (zh) | 一种ic设计的优化方法及系统 | |
CN116911219A (zh) | 用于逻辑系统设计的仿真的方法、电子设备和存储介质 | |
Ghosh | Software techniques in ADA for high-level hardware descriptions | |
CN115906729A (zh) | 针对存储器异步接口实现预定时序控制电路设计的方法 | |
JP2001067383A (ja) | 静的タイミング解析方法におけるフォールスパス検出方法およびフォールスパス検査方法 |