JP3165809B2 - Judgment method of digital LSI simulation result - Google Patents
Judgment method of digital LSI simulation resultInfo
- 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
Links
Landscapes
- Tests Of Electronic Circuits (AREA)
Description
【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.
s1〜s8 ステップ s11〜s17 ステップ s1 to s8 step s11 to s17 step
Claims (2)
該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の
ステップでは、前記テストパターンの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).
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) |
-
1992
- 1992-12-16 JP JP33589192A patent/JP3165809B2/en not_active Expired - Fee Related
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 |