JP4500249B2 - 半導体集積回路の設計の方法および設計装置 - Google Patents
半導体集積回路の設計の方法および設計装置 Download PDFInfo
- Publication number
- JP4500249B2 JP4500249B2 JP2005324109A JP2005324109A JP4500249B2 JP 4500249 B2 JP4500249 B2 JP 4500249B2 JP 2005324109 A JP2005324109 A JP 2005324109A JP 2005324109 A JP2005324109 A JP 2005324109A JP 4500249 B2 JP4500249 B2 JP 4500249B2
- Authority
- JP
- Japan
- Prior art keywords
- scan
- circuit
- verification
- logic
- netlist
- 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
Landscapes
- Tests Of Electronic Circuits (AREA)
Description
スキャンチェーンはスキャンFF回路10で構成され、それぞれの入力端子SIと出力端子SOが直列にチェーン状に接続されて形成されている。
Qa=X(Ain,B,C,CLK,SM) (1)
と表すことができる。論理等価性検証を行うときは、全ての論理コーンについてこのように式で表現し、検証しようとする2つの回路の全ての式について比較を行う。リオーダーによって集積回路の論理に変更が生じなければ両者は完全に一致する。もし、誤った配置あるいは配線が行われた場合その箇所の式は不一致となりエラーを表示して知らせることができる。このように、式の比較を行うことで2つのネットリストの論理の等価性を検証することができるため、高速な検証を行うことができる。
Qb=X(Ain,B,D,CLK,SM) (2)
で表される。
以上のように、論理等価性検証において本発明が解決すべき課題は下記である。
(1)テストモードにおけるスキャンチェーンを除く周辺の回路に対して、リオーダー工程の前後の論理等価性検証を簡便に行うこと。
(2)リオーダー工程において、置き換えられてならない箇所が変更されていないかどうかを検証する。
(3)論理に関わらないラッチ回路などが不一致判定とされることを避ける。
先ず、切断点の設定について図5を用いて説明する。図5(a)はスキャンチェーンの一部としてスキャンFF回路SFF−AとSFF−Bを切り取ったものである。スキャンFF回路SFF−Bのスキャンイン端子SIはSFF−Aのスキャンアウト端子SOに接続されている。そこで、スキャンFF回路SFF−Bのスキャンイン端子SIを論理コーンLC−1の起点として表すと、図5(b)のように表現することができる。
SI=A,SO (3)
で表すことができる。
SI=C,SO (4)
で表される。このように回路動作は同じであっても、式の上では異なるものに変化したと判断されて、不一致箇所として検出されエラー表示がなされるは前述のとおりである。そのため、本発明では、スキャンFF回路の接続点を特定のポイントと定義し、ここに切断点CPを新たに設けることとする。この切断点は、図5(c)に示すように新たな論理コーンLC−2が挿入されたと表現することができる。図5(c)においてはスキャンFF回路の接続関係を示す論理コーンは式
SI=CP (5)
CP=A,SO (6)
と表すことができる。そして、スキャンFF回路SFF−AがSFF−Cに置き換わったときは、
SI=CP (7)
CP=C,SO (8)
と表すことができる。
次に、リオーダーを禁止されたスキャンFF回路の設定方法について説明する。メモリ回路などでスキャン試験を行う場合、メモリ回路全体を対象にしてテストパターンを入力する。ディスターブ試験のような記憶内容が入力信号のタイミングや周辺回路の動作の影響を大きく受ける回路の場合、スキャンFF回路がリオーダーで置き換得ることが許されない。従って、図2のステップS12における設定は、リオーダーでスキャンFF回路が置き換えられていないことと、テストパターンの発生回路はじめ、メモリテスト回路がリオーダーで変わってないことを検証することを目的としている。
次に、ラッチ回路の取り扱いについて説明する。図3にはリオーダーによってスキャンFF回路10の間にRSと表記されたラッチ回路21が挿入された例が示されている。本発明による設定が示された図4では、図3でスキャンFF回路SFF−FとSFF−Gの間に挿入されていたラッチ回路21がBFと表記されるバッファ回路22に置き換えられている。ラッチ回路21はリオーダーを行った際に、スキャンチェーンに変更が加えられることによってタイミング調整が必要になったときなどに自動的に挿入されたり、必要と判断された箇所に手動で挿入される。このラッチ回路の情報はラッチ情報ファイルRCF1に格納されている。
ラッチ回路を挿入したとき、論理コーンを表す式は、
SI=CP (9)
CP=RT (10)
RT=A,SO (11)
で表すことができる。スキャンチェーンの動作ではラッチ回路は論理の値を変更せずに伝えるため信号の処理においては結果に差は出ない。ところが、論理コーンを式で表す場合には式(10)と式(11)で表現される。論理等価性検証は式の上で等価性を比較するため、切断点CPを表す式(10)のみを検証対象から除いても、式(11)がリオーダー前と異なるためエラー表示がなされる。
SI=CP (12)
CP=A,SO (13)
となる。式(10)と式(13)は異なるが、切断点CPは検証対象から外すように設定されて論理等価性検証が行われることによって不一致として検出されることがなく、ラッチ回路が原因でエラーが表示されることを防ぐことができる。
上記実施例1乃至3では、論理等価性検証を実行する前に予め切断点の設定と、ラッチ回路をバッファ回路への置き換えの設定作業を行っていた。しかし、このような設定を行う代わりに、論理等価性検証の実行中に判断を行いながら検証することによっても同様の効果を得ることができる。この場合は、スキャンFF回路の入力を論理コーンとするように式で表しておき、論理等価性検証の途中でスキャンFF回路に使用されているFF回路かどうかを判定し、検証対象から外すように手順を組むことで実現することができる。
11 DFF回路
12 セレクタ回路
13 NABDゲート
15、16、17 論理回路
20 モード設定回路
21 ラッチ回路
22 バッファ回路
30 設計仕様ファイル
31 ネットリストファイル
32 スキャン情報ファイル
33 ラッチ情報ファイル
Claims (5)
- 半導体集積回路の設計装置を用いた論理設計において、
設計装置のテスト合成手段が、第1のスキャンチェーンを含む第1のネットリストを生成する工程と、
設計装置のリオーダー手段が、該第1のネットリストをリオーダーして第2のスキャンチェーンを含む第2のネットリストと、スキャン情報を生成する工程と、
設計装置の検証手段が、前記第1のネットリストと前記第2のネットリストの論理等価性検証を行う工程を含み、
前記論理等価性検証を行うとき、前記スキャン情報に基づいて前記第2のスキャンチェーンを構成するフリップフロップ回路の接続点に論理等価性検証における切断点を設け、該切断点での論理等価性は論理等価性検証の対象から外すことを特徴とする半導体集積回路の論理設計の方法。 - 前記切断点を設けるとき、前記スキャン情報に基づいてリオーダーが禁止されたフリップフロップ回路間の接続点に該切断点を設けないことを特徴とする請求項1記載の半導体集積回路の論理設計の方法。
- 前記リオーダーを行う工程において、前記第2のスキャンチェーンを構成し、相互に隣接するフリップフロップ回路の間に挿入されたラッチ回路を、前記論理等価性検証を行うときはバッファ回路に置き換える設定を含むことを特徴とする請求項1または2記載の半導体集積回路の論理設計の方法。
- 設計装置のテスト合成手段が、第1のスキャンチェーンを含む第1のネットリストを生成する工程と、
設計装置のリオーダー手段が、該第1のネットリストをリオーダーして第2のスキャンチェーンを含む第2のネットリストとスキャン情報を生成する工程と、
設計装置の検証手段が、前記第1のネットリストと、前記第2のネットリストの論理等価性検証を行う工程を含み、
前記論理等価性検証を行うとき、前記スキャン情報に基づいて前記第2のスキャンチェーンを構成するフリップフロップ回路の接続点に論理等価性検証における切断点を設け、該切断点での論理等価性は論理等価性検証の対象から外すことを特徴とする論理回路の検証方法。 - 第1のスキャンチェーンを含む第1のネットリストを生成するテスト合成手段と、
該第1のネットリストをリオーダーし第2のスキャンチェーンを含む第2のネットリストと、スキャン情報を生成するリオーダー手段と、
前記第1のネットリストと、前記第2のネットリストの論理等価性検証を行う論理等価性検証手段を備え、
前記論理等価性検証手段は、前記スキャン情報に基づいて前記第2のスキャンチェーンを構成するフリップフロップ回路の接続点に論理等価性検証における切断点を設け、該切断点での論理等価性を検証の対象から外して論理等価性検証を行うことを特徴とする半導体集積回路の設計装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005324109A JP4500249B2 (ja) | 2005-11-08 | 2005-11-08 | 半導体集積回路の設計の方法および設計装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005324109A JP4500249B2 (ja) | 2005-11-08 | 2005-11-08 | 半導体集積回路の設計の方法および設計装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007133517A JP2007133517A (ja) | 2007-05-31 |
JP4500249B2 true JP4500249B2 (ja) | 2010-07-14 |
Family
ID=38155141
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005324109A Expired - Fee Related JP4500249B2 (ja) | 2005-11-08 | 2005-11-08 | 半導体集積回路の設計の方法および設計装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4500249B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013186620A (ja) | 2012-03-07 | 2013-09-19 | Toshiba Corp | 半導体集積回路の設計装置、半導体集積回路の設計方法、半導体集積回路の設計プログラム、及び半導体集積回路の設計プログラムを記憶した記憶媒体 |
JP6663801B2 (ja) * | 2016-06-15 | 2020-03-13 | 株式会社日立製作所 | 半導体lsi設計装置および設計方法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06236414A (ja) * | 1993-02-09 | 1994-08-23 | Nec Corp | スキャンパス論理検証方法及びその装置 |
JP2001067379A (ja) * | 1999-08-25 | 2001-03-16 | Hitachi Ltd | 論理等価検証方法 |
-
2005
- 2005-11-08 JP JP2005324109A patent/JP4500249B2/ja not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06236414A (ja) * | 1993-02-09 | 1994-08-23 | Nec Corp | スキャンパス論理検証方法及びその装置 |
JP2001067379A (ja) * | 1999-08-25 | 2001-03-16 | Hitachi Ltd | 論理等価検証方法 |
Also Published As
Publication number | Publication date |
---|---|
JP2007133517A (ja) | 2007-05-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20060206297A1 (en) | Semiconductor designing apparatus | |
US5517637A (en) | Method for testing a test architecture within a circuit | |
US20080320348A1 (en) | Launch-On-Shift Support for On-Chip-Clocking | |
US7139948B2 (en) | Method for determining the impact on test coverage of scan chain parallelization by analysis of a test set for independently accessible flip-flops | |
US10247777B1 (en) | Detecting and locating shoot-through timing failures in a semiconductor integrated circuit | |
US7124383B2 (en) | Integrated proof flow system and method | |
JP4500249B2 (ja) | 半導体集積回路の設計の方法および設計装置 | |
US8132133B2 (en) | Automated isolation of logic and macro blocks in chip design testing | |
EP2133705A1 (en) | Fault locating device, fault locating method, and integrated circuit | |
US7467362B2 (en) | Failure detection improvement apparatus, failure detection improvement program, failure detection improvement method | |
US20060080576A1 (en) | Test point insertion method | |
JP5567322B2 (ja) | テストフロー提示コンピュータプログラム、テストフロー提示コンピュータシステム | |
CN101315412A (zh) | 一种扫描链故障诊断方法及系统 | |
JP5794027B2 (ja) | テストパターン生成装置,テストパターン生成方法およびテストパターン生成プログラム | |
JP2003006253A (ja) | ロジック回路設計方法およびその方法をコンピュータに実行させるプログラム | |
US6876934B2 (en) | Method for determining fault coverage from RTL description | |
US7500165B2 (en) | Systems and methods for controlling clock signals during scan testing integrated circuits | |
US7188288B2 (en) | Semiconductor LSI circuit with scan circuit, scan circuit system, scanning test system and method | |
US6581192B1 (en) | Method and system for providing a heuristic approach for testing cell libraries | |
JP2017059185A (ja) | スキャンテスト回路及びスキャンテスト装置 | |
JP2008153489A (ja) | 半導体集積回路の設計方法及び設計プログラム | |
US20160342727A1 (en) | Method and system for checking and correcting shoot-through in rtl simulation | |
JP5052432B2 (ja) | 故障検出率向上用回路挿入装置 | |
US6941496B2 (en) | Error detecting circuit for detecting the location of error | |
CN111722094A (zh) | 半导体装置、半导体装置的诊断方法以及记录介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080324 |
|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20080731 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100112 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100309 |
|
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: 20100406 |
|
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: 20100416 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130423 Year of fee payment: 3 |
|
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: 20130423 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130423 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130423 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140423 Year of fee payment: 4 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
LAPS | Cancellation because of no payment of annual fees |