JP5145167B2 - クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 - Google Patents
クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 Download PDFInfo
- Publication number
- JP5145167B2 JP5145167B2 JP2008211458A JP2008211458A JP5145167B2 JP 5145167 B2 JP5145167 B2 JP 5145167B2 JP 2008211458 A JP2008211458 A JP 2008211458A JP 2008211458 A JP2008211458 A JP 2008211458A JP 5145167 B2 JP5145167 B2 JP 5145167B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- signal
- side register
- asynchronous
- check
- 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.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/31725—Timing aspects, e.g. clock distribution, skew, propagation delay
- G01R31/31726—Synchronization, e.g. of test, clock or strobe signals; Signals in different clock domains; Generation of Vernier signals; Comparison and adjustment of the signals
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
- Tests Of Electronic Circuits (AREA)
Description
先ず、本願において開示される発明の代表的な実施の形態について概要を説明する。代表的な実施の形態についての概要説明で括弧を付して参照する図面の参照符号はそれが付された構成要素の概念に含まれるものを例示するに過ぎない。
次に、実施の形態について更に詳述する。
31 CPU
32 ハードディスク装置
321 磁気ディスク
33 入力装置
34 表示装置
35 メモリ
36 バス
Claims (7)
- 中央処理装置を用いてチェック対象回路におけるクロックドメインチェックを行うクロックドメインチェック方法であって、
非同期転送において論理値が変化しない信号と定義される定常信号を上記チェック対象回路に伝播させる第1ステップと、
送信側レジスタと受信側レジスタとの間において異なる非同期転送となる組み合わせを抽出する第2ステップと、
上記第2ステップで抽出された非同期転送の組み合わせから、受信側レジスタ毎に、送信側に向かってバックトレースして送信側レジスタ及び上記送信側レジスタに至るまでの回路並びに定常信号を探索することでチェック対象回路を抽出し、複数信号の同期化回路については上記チェック対象回路から除外する第3ステップと、
上記チェック対象回路に上記定常信号の論理値“1”と論理値“0”の全ての組み合わせにおける各組み合わせ毎に、定常信号を伝播させる第4ステップと、
上記第4ステップで伝播された定常信号の論理値の組み合わせにおいて、接続関係より、論理的に信号変化が到達する非同期の送信側レジスタが1つであるか否かをチェックする第5ステップと、
上記第5ステップでのチェック結果に基づいて、非同期転送にかかわる回路の構成が単信号転送用の同期化回路として適切であるか否かを判定する第6ステップと、を含み、上記第1乃至第6ステップが上記中央処理装置によって実行されることを特徴とするクロックドメインチェック方法。 - 中央処理装置を用いてチェック対象回路におけるクロックドメインチェックを行うクロックドメインチェック方法であって、
非同期転送において論理値が変化しない信号と定義される定常信号を上記チェック対象回路に伝播させる第1ステップと、
送信側レジスタと受信側レジスタとの間において異なる非同期転送となる組み合わせを抽出する第2ステップと、
上記第2ステップで抽出された非同期転送の組み合わせから、受信側レジスタ毎に、送信側に向かってバックトレースして送信側レジスタ及び上記送信側レジスタに至るまでの回路並びに定常信号を探索することでチェック対象回路を抽出し、複数信号の同期化回路については上記チェック対象回路から除外する第3ステップと、
上記第3ステップで抽出されたチェック対象回路を2分決定グラフへ移し、上記2分決定グラフに論理値“1”と論理値“0”とを与え、上記2分決定グラフを変形させる第4ステップと、
上記2分決定グラフの残る変数から非同期の送信側レジスタが1つであるか否かをチェックする第5ステップと、
上記第5ステップでのチェック結果に基づいて、非同期転送にかかわる回路の構成が単信号転送用の同期化回路として適切であるか否かを判定する第6ステップと、を含み、上記第1乃至第6ステップが上記中央処理装置によって実行されることを特徴とするクロックドメインチェック方法。 - 上記定常信号は、非同期転送において非同期渡りを行う他の信号が変化するときに、論理値“0”又は論理値“1”の固定値とされ、論理値が変化されないものとされる請求項1又は2記載のクロックドメインチェック方法。
- 非同期転送において論理値が変化しない信号と定義される定常信号をチェック対象回路に伝播させる第1手順と、
送信側レジスタと受信側レジスタとの間において異なる非同期転送となる組み合わせを抽出する第2手順と、
上記第2ステップで抽出された非同期転送の組み合わせから、受信側レジスタ毎に、送信側に向かってバックトレースして送信側レジスタ及び上記送信側レジスタに至るまでの回路並びに定常信号を探索することでチェック対象回路を抽出し、複数信号の同期化回路については上記チェック対象回路から除外する第3手順と、
上記チェック対象回路に上記定常信号の論理値“1”と論理値“0”の全ての組み合わせにおける各組み合わせ毎に、定常信号を伝播させる第4手順と、
上記第4手順で伝播された定常信号の論理値の組み合わせにおいて、接続関係より、論理的に信号変化が到達する非同期の送信側レジスタが1つであるか否かをチェックする第5手順と、
上記第5手順でのチェック結果に基づいて、非同期転送にかかわる回路の構成が単信号転送用の同期化回路として適切であるか否かを判定する第6手順と、をコンピュータに実行させることで、非同期転送における同期化回路をチェックするためのクロックドメインチェック用プログラム。 - 非同期転送において論理値が変化しない信号と定義される定常信号をチェック対象回路に伝播させる第1手順と、
送信側レジスタと受信側レジスタとの間において異なる非同期転送となる組み合わせを抽出する第2手順と、
抽出した非同期転送の組み合わせから受信側レジスタ毎に、受信側レジスタの到達する送信側レジスタ及び、定常信号、及び間の対象回路を抽出し、複数信号の同期化回路を検出してそれを対象外とする第3手順と
上記第3手順で抽出されたチェック対象回路を2分決定グラフへ移し、上記2分決定グラフに論理値“1”と論理値“0”とを与え、上記2分決定グラフを変形させる第4手順と、
上記2分決定グラフの残る変数から非同期の送信側レジスタが1つであるか否かをチェックする第5手順と、
上記第5ステップでのチェック結果に基づいて、非同期転送にかかわる回路の構成が単信号転送用の同期化回路として適切であるか否かを判定する第6手順と、をコンピュータに実行させることで、非同期転送における同期化回路をチェックするためのクロックドメインチェック用プログラム。 - 上記定常信号は、非同期転送において非同期渡りを行う他の信号が変化するときに、論理値“0”又は論理値“1”の固定値とされ、論理値が変化されないものとされる請求項4又は5記載のクロックドメインチェック用プログラム。
- 請求項4乃至6の何れか1項記載のクロックドメインチェック用プログラムを記録したコンピュータ読み取り可能な記録媒体。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008211458A JP5145167B2 (ja) | 2008-08-20 | 2008-08-20 | クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 |
US12/505,924 US8255752B2 (en) | 2008-08-20 | 2009-07-20 | Clock domain check method, clock domain check program, and recording medium |
US13/567,043 US8392778B2 (en) | 2008-08-20 | 2012-08-04 | Clock domain check method, clock domain check program, and recording medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008211458A JP5145167B2 (ja) | 2008-08-20 | 2008-08-20 | クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010049385A JP2010049385A (ja) | 2010-03-04 |
JP5145167B2 true JP5145167B2 (ja) | 2013-02-13 |
Family
ID=41697453
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008211458A Active JP5145167B2 (ja) | 2008-08-20 | 2008-08-20 | クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 |
Country Status (2)
Country | Link |
---|---|
US (2) | US8255752B2 (ja) |
JP (1) | JP5145167B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9817433B2 (en) | 2011-11-22 | 2017-11-14 | Arm Finance Overseas Limited | Apparatus and method for achieving glitch-free clock domain crossing signals |
Family Cites Families (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4593351A (en) * | 1981-06-12 | 1986-06-03 | International Business Machines Corporation | High speed machine for the physical design of very large scale integrated circuits |
US4484292A (en) * | 1981-06-12 | 1984-11-20 | International Business Machines Corporation | High speed machine for the physical design of very large scale integrated circuits |
US4924430A (en) * | 1988-01-28 | 1990-05-08 | Teradyne, Inc. | Static timing analysis of semiconductor digital circuits |
US5177440A (en) * | 1989-12-27 | 1993-01-05 | Lsi Logic Corporation | Testing of integrated circuits using clock bursts |
US5049814A (en) * | 1989-12-27 | 1991-09-17 | Lsi Logic Corporation | Testing of integrated circuits using clock bursts |
JPH07311735A (ja) | 1994-05-18 | 1995-11-28 | Hitachi Ltd | データ転送装置 |
US5636372A (en) * | 1994-09-30 | 1997-06-03 | International Business Machines Corporation | Network timing analysis method which eliminates timing variations between signals traversing a common circuit path |
US5649176A (en) * | 1995-08-10 | 1997-07-15 | Virtual Machine Works, Inc. | Transition analysis and circuit resynthesis method and device for digital circuit modeling |
US5958077A (en) * | 1995-12-27 | 1999-09-28 | Nec Usa, Inc. | Method for testing asynchronous circuits |
US5831996A (en) * | 1996-10-10 | 1998-11-03 | Lucent Technologies Inc. | Digital circuit test generator |
JPH11120212A (ja) * | 1997-10-09 | 1999-04-30 | Oki Electric Ind Co Ltd | 回路設計方法及び装置並びにそのプログラムを記録した記録媒体 |
US6886124B2 (en) * | 2001-02-07 | 2005-04-26 | Nec Corporation | Low hardware overhead scan based 3-weight weighted random BIST architectures |
JP2004030186A (ja) * | 2002-06-25 | 2004-01-29 | Renesas Technology Corp | 論理シミュレータ |
CN100395557C (zh) * | 2005-03-04 | 2008-06-18 | 清华大学 | 采用加权扫描选通信号的基于扫描的自测试结构的自测试方法 |
JP4261502B2 (ja) * | 2005-03-14 | 2009-04-30 | 富士通マイクロエレクトロニクス株式会社 | 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 |
US7398494B2 (en) * | 2005-08-30 | 2008-07-08 | International Business Machines Corporation | Method for performing verification of logic circuits |
WO2008062571A1 (fr) * | 2006-11-21 | 2008-05-29 | Panasonic Corporation | Appareil de test de circuit pour circuit intégré semi-conducteur |
-
2008
- 2008-08-20 JP JP2008211458A patent/JP5145167B2/ja active Active
-
2009
- 2009-07-20 US US12/505,924 patent/US8255752B2/en not_active Expired - Fee Related
-
2012
- 2012-08-04 US US13/567,043 patent/US8392778B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
US8255752B2 (en) | 2012-08-28 |
US20100050061A1 (en) | 2010-02-25 |
JP2010049385A (ja) | 2010-03-04 |
US20120304033A1 (en) | 2012-11-29 |
US8392778B2 (en) | 2013-03-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8196076B2 (en) | Optimal flow in designing a circuit operable in multiple timing modes | |
US7987440B2 (en) | Method and system for efficient validation of clock skews during hierarchical static timing analysis | |
US20080134117A1 (en) | System and method for efficient analysis of point-to-point delay constraints in static timing | |
JP4599266B2 (ja) | シミュレーション装置及びシミュレーション方法 | |
US6698005B2 (en) | Min-time / race margins in digital circuits | |
US20060190754A1 (en) | A Method for Automatic Recognition of Handshake Data Exchange at Clock-Domain Crossing in Integrated Circuit Design | |
US9449127B1 (en) | System for verifying timing constraints of IC design | |
CN107784185B (zh) | 一种门级网表中伪路径的提取方法、装置及终端设备 | |
US5903577A (en) | Method and apparatus for analyzing digital circuits | |
US8181136B2 (en) | Circuit operation verification method and apparatus | |
JP5107080B2 (ja) | 半導体装置 | |
JP5145167B2 (ja) | クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 | |
JP2008020986A (ja) | クロストーク解析方法 | |
US20100131910A1 (en) | Simulating Scan Tests with Reduced Resources | |
US20100269003A1 (en) | Delay fault diagnosis program | |
US20220327269A1 (en) | Computing device and method for detecting clock domain crossing violation in design of memory device | |
US7802214B2 (en) | Methods and apparatuses for timing analysis of electronics circuits | |
US8793548B2 (en) | Integrated circuit, simulation apparatus and simulation method | |
US8438518B2 (en) | Apparatus for designing semiconductor integrated circuit, method of designing semiconductor integrated circuit, and program for designing semiconductor integrated circuit | |
JP2008107872A (ja) | 半導体集積回路 | |
JP7351189B2 (ja) | タイミング制約抽出装置、タイミング制約抽出方法およびタイミング制約抽出プログラム | |
JP2002259488A (ja) | クロックスキュー検証方法 | |
Mehta et al. | Clock Domain Crossing (CDC) Verification | |
JP7354815B2 (ja) | 検証支援装置、検証支援方法および検証支援プログラム | |
US20240037306A1 (en) | Static timing analysis method and static timing analysis system |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20100527 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110803 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20120823 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120913 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20121017 |
|
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: 20121108 |
|
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: 20121126 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151130 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5145167 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
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 |