JP2000206209A - Test system - Google Patents

Test system

Info

Publication number
JP2000206209A
JP2000206209A JP11008917A JP891799A JP2000206209A JP 2000206209 A JP2000206209 A JP 2000206209A JP 11008917 A JP11008917 A JP 11008917A JP 891799 A JP891799 A JP 891799A JP 2000206209 A JP2000206209 A JP 2000206209A
Authority
JP
Japan
Prior art keywords
module
lsi
test
test pattern
verification
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.)
Pending
Application number
JP11008917A
Other languages
Japanese (ja)
Inventor
Kei Yokoyama
圭 横山
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.)
PFU Ltd
Original Assignee
PFU Ltd
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 PFU Ltd filed Critical PFU Ltd
Priority to JP11008917A priority Critical patent/JP2000206209A/en
Publication of JP2000206209A publication Critical patent/JP2000206209A/en
Pending legal-status Critical Current

Links

Landscapes

  • Tests Of Electronic Circuits (AREA)

Abstract

(57)【要約】 【課題】 ゲート規模が大きいLSI設計は、機能的に
まとまっているモジュールに分割し、モジュール単位で
行っている。この場合、モジュール毎およびLSI全体
が正しく動作するかを検証する複数のテストパターンを
作成しなければならず、テストパターンの作成に多くの
工数を要するという問題点があった。 【解決手段】 LSI全体を検証するテストシステムに
おいて、LSIにシリアル形式に変換されたテストパタ
ーンをモジュールに印可する機構を設け、テストベンチ
に、LSIのモジュール検証に使用されたパラレル形式
のテストパターンをシリアル形式に変換し、それをモジ
ュールに入力し、シミュレーションした結果をパラレル
形式に変換し、モジュール検証のシミュレーション結果
とLSIのシミュレーション結果とを比較する機構を設
け、モジュール検証に使用したテストパターンをLSI
全体の検証に流用する。
(57) [Summary] [PROBLEMS] An LSI design with a large gate scale is divided into functionally integrated modules, and is performed in module units. In this case, it is necessary to create a plurality of test patterns for verifying whether each module and the entire LSI operate correctly, and there is a problem in that creating the test patterns requires a lot of man-hours. In a test system for verifying an entire LSI, a mechanism for applying a test pattern converted to a serial format to a module is provided in the LSI, and a parallel-type test pattern used for module verification of the LSI is provided on a test bench. A mechanism for converting the simulation pattern into a serial form, inputting the result to a module, converting the simulated result into a parallel form, and comparing the simulation result of the module verification with the simulation result of the LSI is provided.
Divert to the whole verification.

Description

【発明の詳細な説明】DETAILED DESCRIPTION OF THE INVENTION

【0001】[0001]

【発明の属する技術分野】この発明は、LSI全体を検
証するテストシステムに関するものであり、特に、LS
Iを構成するモジュールの検証に使用したテストパター
ンをLSI全体の検証に流用し、テストパターンの作成
工数を削減する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a test system for verifying an entire LSI, and more particularly, to an LSI test system.
The test pattern used for verifying the modules constituting I is diverted to the verification of the entire LSI, thereby reducing the number of test pattern creation steps.

【0002】[0002]

【従来の技術】LSI設計は、ゲート規模が増大するに
つれて、LSI全体をひとまとめにして行うのではな
く、機能的にまとまったブロック(以下、モジュールと
記す)毎に分割し、モジュール単位で行うようになって
きている。このようにLSI全体をモジュールに分割
し、モジュール単位で設計する場合、モジュールが論理
的に正しく動作するかを検証するテストパターンと、L
SI全体が正しく動作するかを検証するテストパターン
の両方を作成している。
2. Description of the Related Art As a gate size increases, an LSI design is not performed collectively for the entire LSI, but is divided into functionally integrated blocks (hereinafter, referred to as modules) and performed in module units. It is becoming. When the entire LSI is divided into modules and designed in module units, a test pattern for verifying whether the modules operate logically correctly and an L
Both test patterns are created to verify that the entire SI operates correctly.

【0003】図3に、従来のLSI論理検証の説明図を
示す。例えば、図3(a)のように論理検証を行うLS
Iの構成が、モジュールAとモジュールBとを備えてい
るとする。
FIG. 3 is an explanatory diagram of a conventional LSI logic verification. For example, as shown in FIG.
It is assumed that the configuration of I includes a module A and a module B.

【0004】この場合、まず図3(b)のようにモジュ
ールAの論理検証を、モジュールAとモジュールAのテ
ストパターンとでシミュレーションを実行し、モジュー
ルAのシミュレーション結果を確認することにより行
う。
In this case, first, as shown in FIG. 3B, the logic verification of the module A is performed by executing a simulation using the module A and the test pattern of the module A, and confirming the simulation result of the module A.

【0005】次に、図3(c)のようにモジュールBの
論理検証を、モジュールBとモジュールBのテストパタ
ーンとでシミュレーションを実行し、モジュールBのシ
ミュレーション結果を確認することにより行う。
Next, as shown in FIG. 3C, a logic verification of the module B is performed by executing a simulation using the module B and a test pattern of the module B, and confirming a simulation result of the module B.

【0006】そして、最後に図3(d)のようにLSI
全体の論理検証を、LSIとLSIのテストパターンと
でシミュレーションを実行し、LSIのシミュレーショ
ン結果を確認することにより行っている。
[0006] Finally, as shown in FIG.
The whole logic verification is performed by executing a simulation using the LSI and the LSI test pattern and confirming the simulation result of the LSI.

【0007】[0007]

【発明が解決しようとする課題】このように図3に示す
従来技術では、LSI全体をモジュールに分割し、モジ
ュール単位で設計する場合、モジュール検証用およびL
SI全体検証用の2つのテストパターンを作成しなけれ
ばならず、テストパターンの作成に多くの工数を要する
という問題点があった。
As described above, according to the prior art shown in FIG. 3, when the entire LSI is divided into modules and the module is designed in units of modules, the module verification and the L
There is a problem in that two test patterns for verifying the entire SI must be created, and the creation of the test patterns requires many man-hours.

【0008】[0008]

【課題を解決するための手段】この発明は上記のような
問題点を考慮してなされたもので、LSI全体を検証す
るテストシステムにおいて、LSIにシリアル形式に変
換されたテストパターンをモジュールに印加する機構を
設け、テストベンチに、LSIのモジュール検証に使用
されたパラレル形式のテストパターンをシリアル形式に
変換し、それをモジュールに入力し、シミュレーション
した結果をパラレル形式に変換し、モジュール検証のシ
ミュレーション結果とLSIのシミュレーション結果と
を比較する機構を設け、モジュール検証に使用したテス
トパターンをLSI全体の検証に流用し、テストパター
ンの作成工数を削減する。
SUMMARY OF THE INVENTION The present invention has been made in consideration of the above-described problems, and in a test system for verifying an entire LSI, a test pattern converted into a serial format is applied to a module to an LSI. The test bench converts the parallel test pattern used for the LSI module verification into a serial format, inputs it to the module, converts the simulated result into the parallel format, converts the simulation result into the parallel format, and simulates the module verification. A mechanism for comparing the result with the simulation result of the LSI is provided, and the test pattern used for module verification is diverted to the verification of the entire LSI, thereby reducing the number of test pattern creation steps.

【0009】[0009]

【発明の実施の形態】LSI全体を検証するテストシス
テムにおいて、LSIに、シリアル形式に変換されたテ
ストパターンをモジュールに印加するテスト回路部を設
け、テストベンチを、モジュールの検証に使用したパラ
レル形式のテストパターンをシリアル形式に変換するテ
ストパターン形式変換部と、テストパターンをテスト回
路部に入力し、モジュールの出力をLSIから出力する
テストパターン入出力制御部と、モジュールからの出力
をパラレル形式に変換する出力形式変換部と、モジュー
ルの検証によって出力されたシミュレーション結果とL
SIからの出力とが一致することを確認する比較部とで
構成し、モジュールの検証に使用したテストパターンと
モジュールの検証で出力されるシミュレーション結果と
をLSI全体の検証に流用することにより、LSI全体
を検証するテストパターンの作成工数を大幅に削減する
ことが可能となる。
DESCRIPTION OF THE PREFERRED EMBODIMENTS In a test system for verifying an entire LSI, a test circuit for applying a test pattern converted into a serial format to a module is provided in the LSI, and a test bench is used in a parallel format used for module verification. A test pattern format conversion unit for converting the test pattern into a serial format, a test pattern input / output control unit for inputting the test pattern to the test circuit unit and outputting the output of the module from the LSI, and a parallel format for the output from the module. An output format conversion unit to be converted, and a simulation result and L
A comparison unit for confirming that the output from the SI matches the test pattern used in the module verification and the simulation result output in the module verification are applied to the verification of the entire LSI. The man-hour for creating a test pattern for verifying the whole can be greatly reduced.

【0010】[0010]

【実施例】図1に、本発明の一実施例の構成ブロック図
を示す。図中、1はLSI、2はテストベンチ、3はL
SI1とテストベンチ2を読み込み、LSI1が論理的
に正しく動作することを検証するシミュレータ、4はL
SI1を構成するモジュールの検証に使用されたテスト
パターン、5はLSI1を構成するモジュールの検証に
より出力されたシミュレーション結果である。
FIG. 1 is a block diagram showing the configuration of an embodiment of the present invention. In the figure, 1 is an LSI, 2 is a test bench, 3 is L
A simulator that reads SI1 and test bench 2 and verifies that LSI1 operates logically correctly.
Test patterns 5 used for verifying the modules constituting the SI1 are simulation results output by the verification of the modules constituting the LSI1.

【0011】なお、LSI1にはシリアル形式に変換さ
れたテストパターンをモジュールA、Bに印加するテス
ト回路部11が設けられている。
The LSI 1 is provided with a test circuit section 11 for applying a test pattern converted into a serial format to the modules A and B.

【0012】また、テストベンチ2はモジュールの検証
に使用されたパラレル形式のテストパターンをシリアル
形式に変換するテストパターン形式変換部21と、テス
トパターンをテスト回路部11に入力し、モジュールの
出力をLSIから出力するテストパターン入出力制御部
22と、モジュールからの出力をパラレル形式に変換す
る出力形式変換部23と、モジュールの検証によって出
力されたシミュレーション結果とLSIからの出力とが
一致することを確認する比較部24とで構成されてい
る。
The test bench 2 converts a parallel test pattern used for module verification into a serial test pattern format conversion unit 21, inputs the test pattern to the test circuit unit 11, and outputs the output of the module. A test pattern input / output control unit 22 that outputs from the LSI, an output format conversion unit 23 that converts the output from the module to a parallel format, and a check that the simulation result output from the module verification matches the output from the LSI. And a comparing unit 24 for checking.

【0013】図2に、本発明の一実施例の処理フローチ
ャートを示す。以下、このフローにしたがって動作を説
明する。なお、この処理はLSIとテストベンチがシミ
ュレータに読み込まれた後の処理を示している。
FIG. 2 shows a processing flowchart of an embodiment of the present invention. Hereinafter, the operation will be described according to this flow. This process is a process after the LSI and the test bench are read into the simulator.

【0014】ステップS201:テストパターンをテス
トベンチに入力する。
Step S201: A test pattern is input to a test bench.

【0015】ステップS202:入力したテストパター
ンをパラレル形式からシリアル形式に変換する。
Step S202: The input test pattern is converted from a parallel format to a serial format.

【0016】ステップS203:テストクロック(TC
K信号)を発生し、モジュールの出力ピンの値をテスト
回路部に出力する。
Step S203: Test clock (TC
K signal), and outputs the value of the output pin of the module to the test circuit section.

【0017】ステップS204:シリアル形式に変換し
たテストパターンをテストクロック(TCK信号)に同
期させてテスト回路部に入力する。なお、テストパター
ンは、IN端子より入力される。同時に、テスト回路部
に出力されたモジュールの出力ピンの値をシミュレーシ
ョン結果としてOUT端子より出力する。
Step S204: The test pattern converted into the serial format is input to the test circuit section in synchronization with the test clock (TCK signal). Note that the test pattern is input from the IN terminal. At the same time, the value of the output pin of the module output to the test circuit section is output from the OUT terminal as a simulation result.

【0018】ステップS205:テストクロック(TC
K信号)を発生し、テスト回路部の値をモジュールの入
力ピンへ出力する。
Step S205: Test clock (TC
K signal) and outputs the value of the test circuit section to the input pin of the module.

【0019】ステップS206:1サイクルだけシミュ
レーションする。
Step S206: Simulation is performed only for one cycle.

【0020】ステップS207:全てのテストパターン
をシミュレーションしたかを判定する。全てシミュレー
ションしたならばステップS208に進み、全てシミュ
レーションしていないならばステップS203に戻る。
Step S207: It is determined whether all test patterns have been simulated. If all the simulations have been performed, the process proceeds to step S208. If all the simulations have not been performed, the process returns to step S203.

【0021】ステップS208:テストクロック(TC
K信号)を発生し、モジュールの出力ピンの値をテスト
回路部に出力する。
Step S208: Test clock (TC
K signal), and outputs the value of the output pin of the module to the test circuit section.

【0022】ステップS209:テスト回路部に出力さ
れたモジュールの出力ピンの値をシミュレーション結果
として、OUT端子より出力する。なお、IN端子から
の入力は任意である。
Step S209: The value of the output pin of the module output to the test circuit is output from the OUT terminal as a simulation result. The input from the IN terminal is optional.

【0023】ステップS210:シミュレーション結果
をシリアル形式からパラレル形式に変換する。
Step S210: The simulation result is converted from a serial format to a parallel format.

【0024】ステップS211:モジュール検証で出力
されたシミュレーション結果を期待値パターンとしてテ
ストベンチに入力する。
Step S211: The simulation result output in the module verification is input to the test bench as an expected value pattern.

【0025】ステップS212:ステップS210で処
理したシミュレーション結果と期待値パターンとを比較
する。
Step S212: The simulation result processed in step S210 is compared with the expected value pattern.

【0026】これにより、LSIを構成するモジュール
の検証に使用したテストパターンをLSI全体の検証に
流用することができる。
As a result, the test pattern used for verifying the modules constituting the LSI can be used for verifying the entire LSI.

【0027】[0027]

【発明の効果】この発明は、上記に説明したような形態
で実施され、以下の効果がある。
The present invention is embodied in the form described above, and has the following effects.

【0028】モジュールの検証に使用したテストパター
ンをLSI全体の検証に流用できることにより、テスト
パターンの作成工数を大幅に削減することが可能とな
る。
Since the test pattern used for verifying the module can be used for verifying the entire LSI, the number of test pattern creation steps can be greatly reduced.

【図面の簡単な説明】[Brief description of the drawings]

【図1】 本発明の一実施例の構成ブロック図である。FIG. 1 is a configuration block diagram of an embodiment of the present invention.

【図2】 本発明の一実施例の処理フローチャートであ
る。
FIG. 2 is a processing flowchart of an embodiment of the present invention.

【図3】 従来のLSI論理検証の説明図である。FIG. 3 is an explanatory diagram of a conventional LSI logic verification.

【符号の説明】[Explanation of symbols]

1 LSI 2 テストベンチ 3 シミュレータ 4 テストパターン 5 シミュレーション結果 11 テスト回路部 21 テストパターン形式変換部 22 テストパターン入出力制御部 23 出力形式変換部 24 比較部 Reference Signs List 1 LSI 2 Test bench 3 Simulator 4 Test pattern 5 Simulation result 11 Test circuit section 21 Test pattern format conversion section 22 Test pattern input / output control section 23 Output format conversion section 24 Comparison section

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】 LSI全体を検証するテストシステムに
おいて、 LSI(1)に、シリアル形式に変換されたテストパタ
ーンをモジュールに印加するテスト回路部(11)を設
け、 テストベンチ(2)を、モジュールの検証に使用したパ
ラレル形式のテストパターンをシリアル形式に変換する
テストパターン形式変換部(21)と、テストパターン
をテスト回路部(11)に入力し、モジュールの出力を
LSIから出力するテストパターン入出力制御部(2
2)と、モジュールからの出力をパラレル形式に変換す
る出力形式変換部(23)と、モジュールの検証によっ
て出力されたシミュレーション結果とLSIからの出力
とが一致することを確認する比較部(24)とで構成
し、 モジュールの検証に使用したテストパターンとモジュー
ルの検証で出力されるシミュレーション結果とをLSI
全体の検証に流用することを特徴とするテストシステ
ム。
In a test system for verifying an entire LSI, an LSI (1) is provided with a test circuit section (11) for applying a test pattern converted into a serial format to a module, and a test bench (2) is provided on the module. A test pattern format conversion unit (21) for converting a parallel format test pattern used for the verification into a serial format, a test pattern input to the test circuit unit (11), and a test pattern input to output a module output from the LSI. Output control unit (2
2), an output format conversion unit (23) for converting the output from the module into a parallel format, and a comparison unit (24) for confirming that the simulation result output from the module verification matches the output from the LSI. The test pattern used for module verification and the simulation result output during module verification are
A test system characterized by being used for overall verification.
JP11008917A 1999-01-18 1999-01-18 Test system Pending JP2000206209A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP11008917A JP2000206209A (en) 1999-01-18 1999-01-18 Test system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP11008917A JP2000206209A (en) 1999-01-18 1999-01-18 Test system

Publications (1)

Publication Number Publication Date
JP2000206209A true JP2000206209A (en) 2000-07-28

Family

ID=11706021

Family Applications (1)

Application Number Title Priority Date Filing Date
JP11008917A Pending JP2000206209A (en) 1999-01-18 1999-01-18 Test system

Country Status (1)

Country Link
JP (1) JP2000206209A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003044539A (en) * 2001-08-02 2003-02-14 Nec Eng Ltd Method and apparatus for verification of hardware function
US11906584B2 (en) 2021-09-29 2024-02-20 Samsung Electronics Co., Ltd. Simulation method and system of verifying operation of semiconductor memory device of memory module at design level

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003044539A (en) * 2001-08-02 2003-02-14 Nec Eng Ltd Method and apparatus for verification of hardware function
US11906584B2 (en) 2021-09-29 2024-02-20 Samsung Electronics Co., Ltd. Simulation method and system of verifying operation of semiconductor memory device of memory module at design level

Similar Documents

Publication Publication Date Title
CN104346272B (en) Chip automatic simulation verifies system
JP2000082094A (en) Semiconductor integrated circuit design verification system
JPH04101274A (en) Logic design processing device and timing adjustment method
JP4099974B2 (en) Method, apparatus, and program for verifying equivalence between behavior level description and register transfer level description
JP5056511B2 (en) Verification support program, recording medium storing the program, verification support apparatus, and verification support method
JP2000075005A (en) High speed test pattern-verifying apparatus
JPH1131162A (en) Logic circuit simulation apparatus and logic verification method
US6253354B1 (en) Method and apparatus for analyzing variations in source voltage of semiconductor device
US7047173B1 (en) Analog signal verification using digital signatures
CN115935865A (en) A verification method and platform for a reconfigurable chip
JP2001318959A (en) Logic circuit verification device
JPH1173440A (en) Emulation device
JP4039347B2 (en) Equivalence verification system and program for delay optimization circuit by latch conversion
JP2845154B2 (en) How to create a logic simulation model
US6581194B1 (en) Method for reducing simulation overhead for external models
JP2003076739A (en) Logic verification device and method and program
JPH11259555A (en) Macro design method
JPH1078975A (en) Logic verification device
CN121435876A (en) A Multi-Module Parallel DFT Verification Method and System for Programmable Chips
JP2001067383A (en) False path detection method and false path inspection method in static timing analysis method
JP2676812B2 (en) Logical verification system for artwork data
JPH10326301A (en) Lsi test system
JPH0736957A (en) Cell library verification method
JP2006319162A (en) Clock tree creation method and clock tree creation program
JP2004055901A (en) Layout method of semiconductor integrated circuit device and layout device used therefor