JP3063676B2 - 半導体装置の回路検証方法 - Google Patents
半導体装置の回路検証方法Info
- Publication number
- JP3063676B2 JP3063676B2 JP9119766A JP11976697A JP3063676B2 JP 3063676 B2 JP3063676 B2 JP 3063676B2 JP 9119766 A JP9119766 A JP 9119766A JP 11976697 A JP11976697 A JP 11976697A JP 3063676 B2 JP3063676 B2 JP 3063676B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- semiconductor device
- address
- verification
- selection signal
- 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
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
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- 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
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)
- Tests Of Electronic Circuits (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Description
する際に、論理的な動作が要求された仕様を満たしてい
るかどうかおよび所定の動作タイミングを満たしている
かどうかを検証する半導体装置の回路検証方法に関す
る。
機能ブロックを単位としてマクロブロックを構成してい
た。
示すためのブロック図である。
32は、アドレスバス10により指定されたアドレスが
予め設定されたアドレスと一致すると選択信号1011
〜1013をそれぞれアクティブとするアドレスデコー
ダ131〜133と、対応した選択信号1011〜10
13がアクティブとなると通常の記憶動作を行うレジス
タ141〜143とから構成される。
について図2を用いて説明する。
たアドレスが、アドレスデコーダ131に予め定められ
たアドレスと一致すると、アドレスデコーダ131は選
択信号1011をアクティブとする。そして、選択信号
1011がアクティブとなったことにより、レジスタ1
41は通常の記憶動作を行うようになる。ここでは、ア
ドレスバス10の指定するアドレスと、アドレスデコー
ダ131に設定されたアドレスとが一致した場合につい
て説明したが、他のアドレスデコーダに設定されたアド
レスと一致した場合も同様である。
イミング検証方法を図3のフローチャートを用いて説明
する。
を規定するシステム仕様設計を行う(ステップ21)。
そして、RT(Register Transfer)
レベルでの回路設計を行う(ステップ22)。次に、ス
テップ22において作成されたRT回路図を基にHDL
(Hardware Description Lan
guage:ハードウェア記述言語)を用いて回路設計
を行う(ステップ23)。そして、ステップ23におい
て作成されたHDL回路の論理的な動作を検証する(ス
テップ24)。そして、ステップ23において作成され
たHDL回路をゲートレベルの回路に変換する(ステッ
プ25)。そして、ステップ25において作成されたゲ
ートレベルの回路が所定の動作タイミングを満足するか
どうかの検証を行う(ステップ26)。そして、ゲート
レベル回路の論理的な動作を検証する(ステップ2
7)。そして、ゲートレベル回路の故障検出率を算定し
(ステップ28)、ゲートレベル回路を実際のLSI上
に回路配置し配線を行う(ステップ29)。
する製品毎に異なるため、上記従来の半導体装置の回路
検証方法では、機能は変更されずアドレスのみが変更と
なる場合でもマクロブロック全体の論理や動作タイミン
グの検証が必要となる。そのため、ステップ21〜29
の処理を再度行なわなければならず、検証工数の増大、
開発に着手してからユーザに納入するまでの設計/開発
期間であるTAT(Turn Around Tim
e)の長期化を招いてしまう。
装置の回路検証方法では、機能ブロックを単位としてマ
クロブロックを構成していたため、アドレスのみが変更
になった場合でもマクロブロック全体の論理や動作タイ
ミングの検証が必要となり、検証工数の増大、TATの
長期化を招くという問題点があった。
もにTATを短くすることができる半導体装置の回路検
証方法を提供することである。
に、本発明の半導体装置の回路検証方法は、半導体装置
を設計する際に、論理的な動作が要求された仕様を満た
しているかどうかおよび所定の動作タイミングを満たし
ているかどうかを検証する半導体装置の回路検証方法に
おいて、検査対象となる回路の中で搭載される製品毎に
回路変更されてアドレスバスにより指定されたアドレス
が予め設定されたアドレスと一致すると選択信号を出力
するアドレスデコーダと、回路変更されずに製品搭載さ
れて前記選択信号によって選択されると所望の動作を行
う回路とを分けて各々マクロブロック化し、前記回路変
更されずに製品搭載されて前記選択信号によって選択さ
れると所望の動作を行う回路のみをライブラリに登録
し、前記アドレスデコーダが変更になった場合に当該ア
ドレスデコーダのマクロブロックのみを再設計し、前記
回路変更されずに製品搭載されて前記選択信号によって
選択されると所望の動作を行う回路のマクロブロックは
検証を行わずに用いることを特徴とする。
れる機能と回路変更されずに製品搭載される機能とを異
なるマクロブロックとして構成し、回路変更されずに製
品搭載される機能のみをライブラリに登録し、搭載され
る製品毎に回路変更される機能が変更になった場合にそ
のマクロブロックのみを再設計し、回路変更されずに製
品搭載される機能のマクロブロックは検証を行わずに用
いるようにしたものである。
を再度行った場合と比較すると、検証工数を削減すると
ともにTATを短くすることができる。
される機能が、アドレスバスにより指定されたアドレス
が予め設定されたアドレスと一致すると選択信号をアク
ティブとするアドレスデコーダである。
れる機能として独立したマクロブロックにより構成する
ようにしたものである。したがって、アドレスのみが変
更になった場合には、アドレスデコーダのみを再設計す
ればよく全ての機能を再設計して検証を再度行った場合
と比較すると、検証工数を削減するとともにTATを短
くすることができる。
図面を参照して詳細に説明する。
回路検証方法を示すためのブロック図である。図2中と
同番号は同じ構成要素を示す。
レスデコーダ131〜133をアドレスデコーダマクロブ
ロック11として独立して構成し、レジスタ141〜1
43を周辺機能マクロブロック12として構成するよう
にしたものである。
構成していたが、本実施形態では変更が多いと予想され
る機能と汎用的な機能とに分けてマクロブロックを構成
するようにしたものである。
3において示した論理検証および動作タイミング検証を
終えた後にライブラリに登録しておく。
であるが、アドレスを変更する必要が発生した場合に、
アドレスデコーダブロック11のみの再設計を行うだけ
ですむ。この場合、周辺機能マクロブロック12は検証
されたものがライブラリに既に登録されているためそれ
をそのまま使用することができ、再検証する必要が無
い。
ブロック32を再設計し検証を再度行った場合と比較す
ると、検証工数を削減するとともにTATを短くするこ
とができる。
機能としてアドレスデコーダを用い、汎用的な機能とし
てレジスタを用いたが、この組み合わせに限定されるも
のではなく他の機能を用いた場合にも同様に適用するこ
とができる。
数を削減するとともにTATを短くすることができると
いう効果を有する。
法を示すためのブロック図である。
ブロック図である。
証方法を示したフローチャートである。
Claims (1)
- 【請求項1】 半導体装置を設計する際に、論理的な動
作が要求された仕様を満たしているかどうかおよび所定
の動作タイミングを満たしているかどうかを検証する半
導体装置の回路検証方法において、検査対象となる回路
の中で搭載される製品毎に回路変更されてアドレスバス
により指定されたアドレスが予め設定されたアドレスと
一致すると選択信号を出力するアドレスデコーダと、回
路変更されずに製品搭載されて前記選択信号によって選
択されると所望の動作を行う回路とを分けて各々マクロ
ブロック化し、前記回路変更されずに製品搭載されて前
記選択信号によって選択されると所望の動作を行う回路
のみをライブラリに登録し、前記アドレスデコーダが変
更になった場合に当該アドレスデコーダのマクロブロッ
クのみを再設計して検証し、前記回路変更されずに製品
搭載されて前記選択信号によって選択されると所望の動
作を行う回路のマクロブロックは検証を行わずに用いる
ことを特徴とする半導体装置の回路検証方法。
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP9119766A JP3063676B2 (ja) | 1997-05-09 | 1997-05-09 | 半導体装置の回路検証方法 |
EP98107929A EP0877330A3 (en) | 1997-05-09 | 1998-04-30 | Circuit verification process for semiconductor devices |
CN98101460A CN1201908A (zh) | 1997-05-09 | 1998-05-05 | 半导体器件的电路校验方法 |
KR1019980016469A KR19980086876A (ko) | 1997-05-09 | 1998-05-08 | 반도체 장치 회로 검증 방법 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP9119766A JP3063676B2 (ja) | 1997-05-09 | 1997-05-09 | 半導体装置の回路検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JPH10307858A JPH10307858A (ja) | 1998-11-17 |
JP3063676B2 true JP3063676B2 (ja) | 2000-07-12 |
Family
ID=14769667
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP9119766A Expired - Fee Related JP3063676B2 (ja) | 1997-05-09 | 1997-05-09 | 半導体装置の回路検証方法 |
Country Status (4)
Country | Link |
---|---|
EP (1) | EP0877330A3 (ja) |
JP (1) | JP3063676B2 (ja) |
KR (1) | KR19980086876A (ja) |
CN (1) | CN1201908A (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7290192B2 (en) * | 2003-03-31 | 2007-10-30 | Advantest Corporation | Test apparatus and test method for testing plurality of devices in parallel |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5544067A (en) * | 1990-04-06 | 1996-08-06 | Lsi Logic Corporation | Method and system for creating, deriving and validating structural description of electronic system from higher level, behavior-oriented description, including interactive schematic design and simulation |
US5436849A (en) * | 1993-02-09 | 1995-07-25 | International Business Machines Corporation | Incremental logic synthesis system for efficient revision of logic circuit designs |
-
1997
- 1997-05-09 JP JP9119766A patent/JP3063676B2/ja not_active Expired - Fee Related
-
1998
- 1998-04-30 EP EP98107929A patent/EP0877330A3/en not_active Withdrawn
- 1998-05-05 CN CN98101460A patent/CN1201908A/zh active Pending
- 1998-05-08 KR KR1019980016469A patent/KR19980086876A/ko not_active Application Discontinuation
Also Published As
Publication number | Publication date |
---|---|
KR19980086876A (ko) | 1998-12-05 |
CN1201908A (zh) | 1998-12-16 |
EP0877330A2 (en) | 1998-11-11 |
JPH10307858A (ja) | 1998-11-17 |
EP0877330A3 (en) | 2002-12-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20020116555A1 (en) | Method and apparatus for efficiently moving portions of a memory block | |
KR20150046119A (ko) | 임베딩된 코드에 대한 보호 스킴 | |
JP4182740B2 (ja) | マイクロコンピュータ | |
JP3063676B2 (ja) | 半導体装置の回路検証方法 | |
JP2004334410A (ja) | 情報処理装置及びプロセッサ | |
US20060152088A1 (en) | Method for calculating delay time, program for calculating delay time and device for calculating delay time | |
US20230206368A1 (en) | Disabling selected ip | |
US7360129B2 (en) | Simultaneous switch test mode | |
JPH05181789A (ja) | ディジタル回路 | |
JP2985833B2 (ja) | クロック分配方式及び方法 | |
JP3017038B2 (ja) | 半導体集積回路の設計方式 | |
US20240104280A1 (en) | Functional Circuit Block Harvesting in Integrated Circuits | |
US20230421354A1 (en) | Pointer Authentication | |
JPH0115897B2 (ja) | ||
JP5234806B2 (ja) | 論理シミュレーション装置およびそのシミュレーション方法 | |
JPH05181934A (ja) | 半導体装置のレイアウトデータ検証方法 | |
JP2672408B2 (ja) | 半導体集積回路 | |
JP2003091569A (ja) | 半導体集積回路設計方法、半導体集積回路、電子機器 | |
JP2002141471A (ja) | 半導体集積回路設計方法と半導体集積回路 | |
JP2957436B2 (ja) | ゲートアレイ | |
JPH05242194A (ja) | 遅延解析システム | |
JP2001264394A (ja) | ディジタルノイズ発生回路とアナログセルの評価方法 | |
JPH06325118A (ja) | 論理回路の遅延時間計算装置 | |
JPH1050848A (ja) | 集積回路の配置配線設計方法 | |
JPH0511889A (ja) | データ処理装置の初期設定回路 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090512 Year of fee payment: 9 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090512 Year of fee payment: 9 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100512 Year of fee payment: 10 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100512 Year of fee payment: 10 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100512 Year of fee payment: 10 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100512 Year of fee payment: 10 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110512 Year of fee payment: 11 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120512 Year of fee payment: 12 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120512 Year of fee payment: 12 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130512 Year of fee payment: 13 |
|
LAPS | Cancellation because of no payment of annual fees |