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
Application number
JP9119766A
Other languages
English (en)
Other versions
JPH10307858A (ja
Inventor
健彦 森
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP9119766A priority Critical patent/JP3063676B2/ja
Priority to EP98107929A priority patent/EP0877330A3/en
Priority to CN98101460A priority patent/CN1201908A/zh
Priority to KR1019980016469A priority patent/KR19980086876A/ko
Publication of JPH10307858A publication Critical patent/JPH10307858A/ja
Application granted granted Critical
Publication of JP3063676B2 publication Critical patent/JP3063676B2/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • G06F30/3308Design verification, e.g. functional simulation or model checking using simulation
    • GPHYSICS
    • G11INFORMATION STORAGE
    • G11CSTATIC STORES
    • G11C29/00Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design 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

【発明の詳細な説明】
【0001】
【発明の属する技術分野】本発明は、半導体装置を設計
する際に、論理的な動作が要求された仕様を満たしてい
るかどうかおよび所定の動作タイミングを満たしている
かどうかを検証する半導体装置の回路検証方法に関す
る。
【0002】
【従来の技術】従来の半導体装置の回路検証方法では、
機能ブロックを単位としてマクロブロックを構成してい
た。
【0003】図2は従来の半導体装置の回路検証方法を
示すためのブロック図である。
【0004】ここで、図2における周辺マクロブロック
32は、アドレスバス10により指定されたアドレスが
予め設定されたアドレスと一致すると選択信号1011
〜1013をそれぞれアクティブとするアドレスデコー
ダ131〜133と、対応した選択信号1011〜10
3がアクティブとなると通常の記憶動作を行うレジス
タ141〜143とから構成される。
【0005】この従来の周辺マクロブロック32の動作
について図2を用いて説明する。
【0006】例えば、アドレスバス10により指定され
たアドレスが、アドレスデコーダ131に予め定められ
たアドレスと一致すると、アドレスデコーダ131は選
択信号1011をアクティブとする。そして、選択信号
1011がアクティブとなったことにより、レジスタ1
1は通常の記憶動作を行うようになる。ここでは、ア
ドレスバス10の指定するアドレスと、アドレスデコー
ダ131に設定されたアドレスとが一致した場合につい
て説明したが、他のアドレスデコーダに設定されたアド
レスと一致した場合も同様である。
【0007】次に、半導体装置の論理検証および動作タ
イミング検証方法を図3のフローチャートを用いて説明
する。
【0008】まず、マクロブロックの機能、動作、性能
を規定するシステム仕様設計を行う(ステップ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)。
【0009】しかし、マクロブロックのアドレスは搭載
する製品毎に異なるため、上記従来の半導体装置の回路
検証方法では、機能は変更されずアドレスのみが変更と
なる場合でもマクロブロック全体の論理や動作タイミン
グの検証が必要となる。そのため、ステップ21〜29
の処理を再度行なわなければならず、検証工数の増大、
開発に着手してからユーザに納入するまでの設計/開発
期間であるTAT(Turn Around Tim
e)の長期化を招いてしまう。
【0010】
【発明が解決しようとする課題】上述した従来の半導体
装置の回路検証方法では、機能ブロックを単位としてマ
クロブロックを構成していたため、アドレスのみが変更
になった場合でもマクロブロック全体の論理や動作タイ
ミングの検証が必要となり、検証工数の増大、TATの
長期化を招くという問題点があった。
【0011】本発明の目的は、検証工数を削減するとと
もにTATを短くすることができる半導体装置の回路検
証方法を提供することである。
【0012】
【課題を解決するための手段】上記目的を達成するため
に、本発明の半導体装置の回路検証方法は、半導体装置
を設計する際に、論理的な動作が要求された仕様を満た
しているかどうかおよび所定の動作タイミングを満たし
ているかどうかを検証する半導体装置の回路検証方法に
おいて、検査対象となる回路の中で搭載される製品毎に
回路変更されてアドレスバスにより指定されたアドレス
が予め設定されたアドレスと一致すると選択信号を出力
するアドレスデコーダと、回路変更されずに製品搭載さ
て前記選択信号によって選択されると所望の動作を行
う回路とを分けて各々マクロブロック化し、前記回路変
更されずに製品搭載されて前記選択信号によって選択さ
れると所望の動作を行う回路のみをライブラリに登録
し、前記アドレスデコーダが変更になった場合に当該
ドレスデコーダのマクロブロックのみを再設計し、前記
回路変更されずに製品搭載されて前記選択信号によって
選択されると所望の動作を行う回路のマクロブロックは
検証を行わずに用いることを特徴とする。
【0013】本発明は、搭載される製品毎に回路変更さ
れる機能と回路変更されずに製品搭載される機能とを異
なるマクロブロックとして構成し、回路変更されずに製
品搭載される機能のみをライブラリに登録し、搭載され
る製品毎に回路変更される機能が変更になった場合にそ
のマクロブロックのみを再設計し、回路変更されずに製
品搭載される機能のマクロブロックは検証を行わずに用
いるようにしたものである。
【0014】したがって、全ての機能を再設計して検証
を再度行った場合と比較すると、検証工数を削減すると
ともにTATを短くすることができる。
【0015】本発明の実施態様によれば、前記回路変更
される機能が、アドレスバスにより指定されたアドレス
が予め設定されたアドレスと一致すると選択信号をアク
ティブとするアドレスデコーダである。
【0016】本発明は、アドレスデコーダを回路変更さ
れる機能として独立したマクロブロックにより構成する
ようにしたものである。したがって、アドレスのみが変
更になった場合には、アドレスデコーダのみを再設計す
ればよく全ての機能を再設計して検証を再度行った場合
と比較すると、検証工数を削減するとともにTATを短
くすることができる。
【0017】
【発明の実施の形態】次に、本発明の実施形態について
図面を参照して詳細に説明する。
【0018】図1は本発明の一実施形態の半導体装置の
回路検証方法を示すためのブロック図である。図2中と
同番号は同じ構成要素を示す。
【0019】本実施形態は、図2の従来例に対し、アド
レスデコーダ131〜133をアドレスデコーダマクロブ
ロック11として独立して構成し、レジスタ141〜1
3を周辺機能マクロブロック12として構成するよう
にしたものである。
【0020】従来例では、機能単位でマクロブロックを
構成していたが、本実施形態では変更が多いと予想され
る機能と汎用的な機能とに分けてマクロブロックを構成
するようにしたものである。
【0021】そして、周辺機能マクロブロック12は図
3において示した論理検証および動作タイミング検証を
終えた後にライブラリに登録しておく。
【0022】本実施形態の動作は、図2の従来例と同じ
であるが、アドレスを変更する必要が発生した場合に、
アドレスデコーダブロック11のみの再設計を行うだけ
ですむ。この場合、周辺機能マクロブロック12は検証
されたものがライブラリに既に登録されているためそれ
をそのまま使用することができ、再検証する必要が無
い。
【0023】そのため、 図2における周辺機能マクロ
ブロック32を再設計し検証を再度行った場合と比較す
ると、検証工数を削減するとともにTATを短くするこ
とができる。
【0024】本実施形態では、変更が多いと予想される
機能としてアドレスデコーダを用い、汎用的な機能とし
てレジスタを用いたが、この組み合わせに限定されるも
のではなく他の機能を用いた場合にも同様に適用するこ
とができる。
【0025】
【発明の効果】以上説明したように、本発明は、検証工
数を削減するとともにTATを短くすることができると
いう効果を有する。
【図面の簡単な説明】
【図1】本発明の一実施形態の半導体装置の回路検証方
法を示すためのブロック図である。
【図2】従来の半導体装置の回路検証方法を示すための
ブロック図である。
【図3】半導体装置の論理検証および動作タイミング検
証方法を示したフローチャートである。
【符号の説明】
10 アドレスバス 11 アドレスデコーダマクロブロック 12 周辺機能マクロブロック 131〜133 アドレスデコーダ 141〜143 レジスタ 21〜29 ステップ 32 周辺機能マクロブロック 1011〜1013 選択信号

Claims (1)

    (57)【特許請求の範囲】
  1. 【請求項1】 半導体装置を設計する際に、論理的な動
    作が要求された仕様を満たしているかどうかおよび所定
    の動作タイミングを満たしているかどうかを検証する半
    導体装置の回路検証方法において、検査対象となる回路
    の中で搭載される製品毎に回路変更されてアドレスバス
    により指定されたアドレスが予め設定されたアドレスと
    一致すると選択信号を出力するアドレスデコーダと、
    路変更されずに製品搭載されて前記選択信号によって選
    択されると所望の動作を行う回路とを分けて各々マクロ
    ブロック化し、前記回路変更されずに製品搭載されて前
    記選択信号によって選択されると所望の動作を行う回路
    のみをライブラリに登録し、前記アドレスデコーダが変
    更になった場合に当該アドレスデコーダのマクロブロッ
    クのみを再設計して検証し、前記回路変更されずに製品
    搭載されて前記選択信号によって選択されると所望の動
    作を行う回路のマクロブロックは検証を行わずに用いる
    ことを特徴とする半導体装置の回路検証方法。
JP9119766A 1997-05-09 1997-05-09 半導体装置の回路検証方法 Expired - Fee Related JP3063676B2 (ja)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

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