JP3165809B2 - Judgment method of digital LSI simulation result - Google Patents

Judgment method of digital LSI simulation result

Info

Publication number
JP3165809B2
JP3165809B2 JP33589192A JP33589192A JP3165809B2 JP 3165809 B2 JP3165809 B2 JP 3165809B2 JP 33589192 A JP33589192 A JP 33589192A JP 33589192 A JP33589192 A JP 33589192A JP 3165809 B2 JP3165809 B2 JP 3165809B2
Authority
JP
Japan
Prior art keywords
pattern
lsi
output
simulation result
high frequency
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
JP33589192A
Other languages
Japanese (ja)
Other versions
JPH06186293A (en
Inventor
亮治 松本
Original Assignee
日本電気エンジニアリング株式会社
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 日本電気エンジニアリング株式会社 filed Critical 日本電気エンジニアリング株式会社
Priority to JP33589192A priority Critical patent/JP3165809B2/en
Publication of JPH06186293A publication Critical patent/JPH06186293A/en
Application granted granted Critical
Publication of JP3165809B2 publication Critical patent/JP3165809B2/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Landscapes

  • Tests Of Electronic Circuits (AREA)

Description

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

【0001】[0001]

【産業上の利用分野】本発明はディジタルLSIのシミ
ュレーション結果を判定するための方法に関し、特に、
高周波数動作におけるシミュレーション結果の正常動作
/誤動作の判定方法に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a method for determining a simulation result of a digital LSI, and
The present invention relates to a method of determining a normal operation / malfunction based on a simulation result in a high-frequency operation.

【0002】[0002]

【従来の技術】従来、ディジタルLSIのシミュレーシ
ョン結果を判定する際には図3に示す方法が用いられ
る。
2. Description of the Related Art Conventionally, a method shown in FIG. 3 is used to determine a simulation result of a digital LSI.

【0003】図3を参照して、ディジタルLSIの高周
波数動作におけるシミュレーション結果から正常動作/
誤動作を判定する際には、まず、論理確認用テストパタ
ーンを作成して(ステップs1)、低周波数シミュレー
ションで回路動作を確認する(ステップs2)。その
後、周波数を低周波数から実動作周波数までΔh(H
z)づつ順次あげてシミュレーションを実行する(ステ
ップs3)。そして、LSI内部のディジタルフリップ
フロップ(DF/F)のセットアップ時間(SetUp
Time)及びホールド時間(Hold Time)
を満足しているか否かをチェックする(ステップs
4)。
Referring to FIG. 3, a simulation result of a digital LSI at a high frequency operation indicates a normal operation /
When determining a malfunction, first, a test pattern for logic confirmation is created (step s1), and the circuit operation is confirmed by low-frequency simulation (step s2). Thereafter, the frequency is changed from a low frequency to an actual operating frequency by Δh (H
z) The simulation is sequentially performed one by one (step s3). The setup time (SetUp) of the digital flip-flop (DF / F) inside the LSI
Time) and hold time (Hold Time)
Check whether or not is satisfied (step s
4).

【0004】このチェック結果が満足されていると(ス
テップs5)、次に実動作周波数までチェックしたか否
かを調べて(ステップs6)、実動作周波数までチェッ
クされていると、正常動作であると判定する(ステップ
s7)。実動作周波数までチェックされていなければ、
ステップs3を再び実行する。
If this check result is satisfied (step s5), it is checked whether or not the actual operation frequency has been checked (step s6). If the actual operation frequency has been checked, the operation is normal. Is determined (step s7). If the actual operating frequency is not checked,
Step s3 is executed again.

【0005】ステップs5においてチェック結果が満足
されていないと、誤動作であると判定される(ステップ
s8)。
If the check result is not satisfied in step s5, it is determined that a malfunction has occurred (step s8).

【0006】[0006]

【発明が解決しようとする課題】上述のように、従来の
ディジタルLSIシミュレーション結果判定方法では、
低周波数シミュレーションで回路動作を確認した後、周
波数を低周波数から実動作周波数まで順次あげてシミュ
レーションを行い、DF/Fのセットアップ時間及びホ
ールド時間を満足しているか否かのチェックを行って、
正常動作/誤動作を判定しているので、シミュレーショ
ンを複数回実行する必要があり、シミュレーション結果
の判定が煩雑になるという問題点がある。
As described above, in the conventional digital LSI simulation result determination method,
After confirming the circuit operation by low frequency simulation, the frequency is sequentially increased from low frequency to actual operating frequency, simulation is performed, and it is checked whether the setup time and hold time of the DF / F are satisfied.
Since the normal operation / malfunction is determined, it is necessary to execute the simulation a plurality of times, and there is a problem that the determination of the simulation result becomes complicated.

【0007】加えて、従来のディジタルLSIシミュレ
ーション結果判定方法では、周波数をP1(Hz)から
P2(Hz)に上げる際、(1/P1)−(1/P2)
>(セットアップ時間+ホールド時間)が満たされる
と、回路が誤動作している場合であっても、シミュレー
ションにおけるセットアップ時間、ホールド時間を満足
しているか否かチェックではエラーが出力されず、誤動
作と判定されないという問題点がある。
In addition, in the conventional digital LSI simulation result determination method, when the frequency is increased from P1 (Hz) to P2 (Hz), (1 / P1)-(1 / P2)
If> (setup time + hold time) is satisfied, even if the circuit malfunctions, no error is output in the check whether the setup time and hold time in the simulation are satisfied, and the malfunction is determined. There is a problem that is not done.

【0008】同様に、高周波動作においてゲートにおけ
るTpdr 及びTpdf の時間差によってクロックが消滅し
た際にも、実際上は回路が誤動作しているにもかかわら
ず、セットアップ時間及びホールド時間を満足している
か否かのチェックではエラーが出力されず、正常動作と
判定されてしまうという問題点がある。
Similarly, when the clock disappears due to the time difference between T pdr and T pdf at the gate in the high frequency operation, the setup time and the hold time are satisfied even though the circuit is actually malfunctioning. There is a problem that no error is output in the check as to whether or not the operation is normal, and the operation is determined to be normal.

【0009】本発明の目的は簡単にしかも正確にLSI
の正常動作/誤動作を判定できる判定方法を提供するこ
とにある。
An object of the present invention is to provide a simple and accurate LSI.
It is an object of the present invention to provide a method for judging the normal operation / malfunction of the device.

【0010】[0010]

【課題を解決するための手段】本発明によれば、LSI
のシミュレーション結果によって該LSIが正常動作で
あるか誤動作であるかを判定する際に用いられ、テスト
パターンを用いて低周波数シミュレーションによって前
記LSIの全出力ピンの変化時刻を求める第1のステッ
プと、該変化時刻に基づいて高周波数用の出力期待値パ
ターンを求める第2のステップと、該高周波数による前
記LSIのシミュレーション結果による前記全出力ピン
の出力パターンを得る第3のステップと、前記出力期待
値パターンと前記出力パターンとを比較して前記LSI
が正常であるか否かを判定する第4のステップとを有す
ることを特徴とするディジタルLSIシミュレーション
結果の判定方法が得られる。
According to the present invention, an LSI is provided.
A first step of determining whether or not the LSI is operating properly or malfunctioning based on the simulation result of the above, and obtaining change times of all output pins of the LSI by low-frequency simulation using a test pattern; A second step of obtaining an output expected value pattern for a high frequency based on the change time, a third step of obtaining an output pattern of all the output pins based on a simulation result of the LSI at the high frequency, The value pattern and the output pattern are compared and the LSI
And a fourth step of judging whether or not is normal. A method of judging a digital LSI simulation result is obtained.

【0011】[0011]

【実施例】以下本発明について実施例によって説明す
る。
DESCRIPTION OF THE PREFERRED EMBODIMENTS The present invention will be described below with reference to embodiments.

【0012】図1を参照して、論理確認用テストパター
ンを作成した(ステップs11)後、低周波シミュレー
ションを実行してLSI全出力ピンの全ての変化時刻を
求める(ステップs12)。この変化時刻を用いて1ク
ロック幅2W1 (ns)の高周波数用の出力期待値パタ
ーンを計算する(ステップs13)。この出力期待値パ
ターンと1クロック幅2W1 (ns)の高周波数シミュ
レーション結果による出力パターンとを比較する(ステ
ップs14)。この比較結果が誤りなしであると(ステ
ップs15)、正常動作であると判定する(ステップs
16)。一方、比較結果が誤りであると、誤動作である
と判定する(ステップs17)。
Referring to FIG. 1, after creating a logic confirmation test pattern (step s11), a low-frequency simulation is performed to obtain all change times of all output pins of the LSI (step s12). Using this change time, an output expected value pattern for a high frequency having one clock width of 2W 1 (ns) is calculated (step s13). The output expected value pattern is compared with the output pattern obtained by the high frequency simulation result of one clock width 2W 1 (ns) (step s14). If the comparison result is correct (step s15), it is determined that the operation is normal (step s15).
16). On the other hand, if the comparison result is incorrect, it is determined that a malfunction has occurred (step s17).

【0013】ここで、図2も参照して、図2にはLSI
を1クロック幅2W0 (ns)の周波数でシミュレーシ
ョンした際の入出力波形と1クロック幅2W1 (ns)
の高周波数でシミュレーションした際の入出力波形とが
示されている。
Here, referring also to FIG. 2, FIG.
Is simulated at a frequency of 1 clock width 2W 0 (ns) and the input / output waveform and 1 clock width 2W 1 (ns)
2 shows input / output waveforms when a simulation is performed at a high frequency.

【0014】いま、Xパターン目(Xは任意の自然数)
において、LSIに入力された信号に対する出力ピンA
BCの変化時刻をTpdn とすると、このTpdn が出力ピ
ンABCにおけるXパターン目の出力遅延時間となる。
出力遅延時間は周波数にかかわらず一定であるので、1
クロック幅2W1 (ns)の高周波でシミュレーション
した際の出力ピンABCの変化パターンをYパターン目
とすると、YはY=X+整数Int(Tpdn /W1 )で
表わされることになる。
Now, the X-th pattern (X is an arbitrary natural number)
At the output pin A for the signal input to the LSI.
Assuming that the BC change time is T pdn , this T pdn is the output delay time of the X-th pattern at the output pin ABC.
Since the output delay time is constant regardless of the frequency, 1
Assuming that the change pattern of the output pin ABC at the time of simulation at a high frequency of the clock width 2W 1 (ns) is the Y-th pattern, Y is represented by Y = X + integer Int (T pdn / W 1 ).

【0015】このようにして、LSIの全出力ピンの全
変化点に対して1クロック幅2W1(ns)の高周波数
シミュレーション時の出力期待値パターンを作成するこ
とができる。
In this manner, an expected output value pattern at the time of high frequency simulation with one clock width of 2W 1 (ns) can be created for all change points of all output pins of the LSI.

【0016】[0016]

【発明の効果】以上説明したように、本発明では出力期
待値パターンとシミュレーション結果による出力パター
ンとを比較するようにしたから、簡単にしかも正確にL
SIの正常動作/誤動作を判定できるという効果があ
る。
As described above, in the present invention, the output expected value pattern and the output pattern based on the simulation result are compared with each other.
There is an effect that the normal operation / malfunction of the SI can be determined.

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

【図1】本発明による判定方法を説明するための流れ図
である。
FIG. 1 is a flowchart illustrating a determination method according to the present invention.

【図2】出力期待値パターンの算出を説明するための波
形図である。
FIG. 2 is a waveform chart for explaining calculation of an output expected value pattern;

【図3】従来の判定方法を説明するための流れ図であ
る。
FIG. 3 is a flowchart for explaining a conventional determination method.

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

s1〜s8 ステップ s11〜s17 ステップ s1 to s8 step s11 to s17 step

Claims (2)

(57)【特許請求の範囲】(57) [Claims] 【請求項1】 LSIのシミュレーション結果によって
該LSIが正常動作であるか誤動作であるかを判定する
際に用いられ、テストパターンを用いて低周波数シミュ
レーションによって前記LSIの全出力ピンの変化時刻
を求める第1のステップと、該変化時刻に基づいて高周
波数用の出力期待値パターンを求める第2のステップ
と、該高周波数による前記LSIのシミュレーション結
果による前記全出力ピンの出力パターンを得る第3のス
テップと、前記出力期待値パターンと前記出力パターン
とを比較して前記LSIが正常であるか否かを判定する
第4のステップとを有することを特徴とするディジタル
LSIシミュレーション結果の判定方法。
1. A method for determining whether a normal operation or a malfunction of an LSI based on a simulation result of the LSI, and obtaining change times of all output pins of the LSI by low-frequency simulation using a test pattern. A first step, a second step of obtaining an output expected value pattern for a high frequency based on the change time, and a third step of obtaining an output pattern of all the output pins based on a simulation result of the LSI at the high frequency. And a fourth step of comparing the expected output value pattern with the output pattern to determine whether the LSI is normal or not.
【請求項2】 請求項1に記載されたディジタルLSI
シミュレーション結果の判定方法において、前記第2の
ステップでは、前記テストパターンのX(Xは所定の自
然数)パターン目で前記LSIに与えられた信号に対す
る所定の出力ピンの前記変化時刻をTpdn として、1ク
ロック幅2W(ns)の高周波数においてXパターン目
に入力された信号に対する前記所定の出力ピンの変化パ
ターンをYパターンとした際、前記LSIの全出力ピン
の全変化点に対して高周波数動作時における出力期待値
パターンをY=X+整数Int(Tpdn /W)で求め
て、前記第3のステップでは前記1クロック幅2W(n
s)の高周波数で前記出力パターンを得るようにしたこ
とを特徴とするディジタルLSIシミュレーション結果
の判定方法。
2. The digital LSI according to claim 1,
In the method of determining a simulation result, in the second step, the change time of a predetermined output pin for a signal given to the LSI at the X-th (X is a predetermined natural number) pattern of the test pattern is defined as T pdn , When the change pattern of the predetermined output pin with respect to the signal input to the X-th pattern at a high frequency of 1 clock width 2W (ns) is a Y pattern, a high frequency is applied to all change points of all output pins of the LSI. An expected output value pattern during operation is obtained by Y = X + integer Int (T pdn / W), and in the third step, the one clock width 2W (n
a method for determining a digital LSI simulation result, wherein the output pattern is obtained at a high frequency of s).
JP33589192A 1992-12-16 1992-12-16 Judgment method of digital LSI simulation result Expired - Fee Related JP3165809B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP33589192A JP3165809B2 (en) 1992-12-16 1992-12-16 Judgment method of digital LSI simulation result

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP33589192A JP3165809B2 (en) 1992-12-16 1992-12-16 Judgment method of digital LSI simulation result

Publications (2)

Publication Number Publication Date
JPH06186293A JPH06186293A (en) 1994-07-08
JP3165809B2 true JP3165809B2 (en) 2001-05-14

Family

ID=18293532

Family Applications (1)

Application Number Title Priority Date Filing Date
JP33589192A Expired - Fee Related JP3165809B2 (en) 1992-12-16 1992-12-16 Judgment method of digital LSI simulation result

Country Status (1)

Country Link
JP (1) JP3165809B2 (en)

Also Published As

Publication number Publication date
JPH06186293A (en) 1994-07-08

Similar Documents

Publication Publication Date Title
US6611948B1 (en) Modeling circuit environmental sensitivity of a minimal level sensitive timing abstraction model
JP2607029B2 (en) Signal transition propagation detection method
US6609233B1 (en) Load sensitivity modeling in a minimal level sensitive timing abstraction model
KR20050121716A (en) Event based test method for debugging timing related failures in integrated circuits
JP2004185374A (en) Crosstalk check method
JP3165809B2 (en) Judgment method of digital LSI simulation result
EP0510993A2 (en) Characterization of sequential circuits
US7072821B1 (en) Device and method for synchronizing an asynchronous signal in synthesis and simulation of a clocked circuit
JP2937139B2 (en) Logic circuit delay verification method
JP3123982B2 (en) Logic simulation method
JP2863779B2 (en) Timing verification method, verification device, and test pattern generation method
JPH117461A (en) Logic simulation method and test pattern generator
JP2853619B2 (en) Logic delay simulation method
JP3061972B2 (en) Timing verification model
JP3088416B1 (en) Test method for semiconductor device
JP2606654B2 (en) Logic simulation method
JP3260662B2 (en) Logic simulation method
JPH08314994A (en) Logical simulation method and logical library
JP2624135B2 (en) Timing analysis method
JPH06251096A (en) Timing verification circuit
JP2972499B2 (en) Logic circuit delay simulator
JPH11304890A (en) Method and device for generating test pattern of lsi tester
JPH0915305A (en) Test pattern generation system for logical circuit
JPH05266118A (en) Method for generating circuit test pattern
JPH04313162A (en) Logical simulation device

Legal Events

Date Code Title Description
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20001114

LAPS Cancellation because of no payment of annual fees