JP2972499B2 - Logic circuit delay simulator - Google Patents
Logic circuit delay simulatorInfo
- Publication number
- JP2972499B2 JP2972499B2 JP5220754A JP22075493A JP2972499B2 JP 2972499 B2 JP2972499 B2 JP 2972499B2 JP 5220754 A JP5220754 A JP 5220754A JP 22075493 A JP22075493 A JP 22075493A JP 2972499 B2 JP2972499 B2 JP 2972499B2
- Authority
- JP
- Japan
- Prior art keywords
- pattern
- simulation
- output
- input
- clock
- 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
Description
【0001】[0001]
【産業上の利用分野】本発明は論理回路遅延シミュレー
タに関し、特に論理CADシステムに組み込むことが可
能な論理回路遅延シミュレータに関するものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a logic circuit delay simulator, and more particularly to a logic circuit delay simulator that can be incorporated in a logic CAD system.
【0002】[0002]
【従来の技術】一般に、大規模LSIにおけるシミュレ
ーションの設計は、仕様設計,回路設計,機能シミュレ
ーション,遅延シミュレーションの順序で行われてい
る。2. Description of the Related Art Generally, simulation design in a large-scale LSI is performed in the order of specification design, circuit design, function simulation, and delay simulation.
【0003】この論理回路設計における遅延シミュレー
ションとは、実際の素子の遅延をも考慮した最終的なシ
ミュレーションである。The delay simulation in the logic circuit design is a final simulation taking into account the actual delay of the elements.
【0004】図6(a)は従来の論理回路遅延シミュレ
ータの一例の回路図、図6(b)は同図(a)における
各クロックと各出力とのタイミング図である。FIG. 6A is a circuit diagram of an example of a conventional logic circuit delay simulator, and FIG. 6B is a timing diagram of each clock and each output in FIG.
【0005】図6(a)を参照すると、組合わせ回路5
1および52はそれぞれ入力データD1a,D2aおよ
びD1n,D2nが入力されており、組合わせ回路5
1,52の出力はそれぞれフリップフロップ(FF)5
3,54のD入力端子に入力されている。Referring to FIG. 6A, a combination circuit 5
Input data D1a, D2a and D1n, D2n are input to the combination circuits 5 and 1, respectively.
The outputs of 1 and 52 are flip-flops (FF) 5
3, 54 D input terminals.
【0006】また、FF53のクロック端子Cにはクロ
ックCLK1が入力され、FF54のクロック端子Cに
はクロックCLK1の整数倍の周期のクロックCLK2
が入力され、各FF53,54のQ出力端子から出力デ
ータOUTDa,OUTDnを出力する。A clock CLK1 is input to a clock terminal C of the FF 53, and a clock CLK2 having an integral multiple cycle of the clock CLK1 is input to a clock terminal C of the FF54.
And outputs output data OUTDa and OUTDn from the Q output terminals of the FFs 53 and 54, respectively.
【0007】図6(b)を参照すると、従来の実際の論
理回路遅延シミュレータでは、FF53の入力データI
ND1aに対してのクロックCLK1の変化により出力
データOUTDaが得られ、FF54の入力データIN
D1nに対してのクロックCLK2の変化により出力デ
ータOUTDnが得られる。Referring to FIG. 6B, in a conventional actual logic circuit delay simulator, the input data I
Output data OUTDa is obtained by a change in clock CLK1 with respect to ND1a, and input data IN of FF 54 is output.
Output data OUTDn is obtained by a change in clock CLK2 with respect to D1n.
【0008】そして、あらかじめ用意された期待値パタ
ーンと出力値とをパターン内のある観測点の時刻、この
例では、mパターン目の観測点tmの時刻で一致,不一
致を検証することによりシミュレーションを行ってい
る。Then, the simulation is performed by verifying whether the expected value pattern and the output value prepared in advance match or not match at the time of a certain observation point in the pattern, in this example, the time of the observation point tm of the m-th pattern. Is going.
【0009】[0009]
【発明が解決しようとする課題】ところで、この従来の
論理回路遅延シミュレータでは、観測点を1パターン内
で1点しか指定できないので、図6(b)に示すよう
に、FF54の出力OUTDnに対する観測点は偶数番
目の観測点t2,t4,…,t2nだけで検証を行えば
十分であるにもかかわらず、奇数パターン目の観測点t
1,t3,…,t(2n−1)についても検証を行わな
ければならなかった。In the conventional logic circuit delay simulator, only one observation point can be designated in one pattern. Therefore, as shown in FIG. Although the points need only be verified at even-numbered observation points t2, t4,.
1, t3,..., T (2n-1) had to be verified.
【0010】これでは、OUTDnにエラーが起こった
とき、エラー発生パターンの位置により、本当のエラー
(偶数パターンで起こっている場合)なのか、または擬
似的なエラー(奇数パターンで起こっている場合)なの
かを切り分けなければならず、全体として技術者の手間
が掛かり、シミュレーションに多くの時間を要するとい
う問題点があった。In this case, when an error occurs in OUTDn, depending on the position of the error occurrence pattern, it is either a true error (when it occurs in an even pattern) or a pseudo error (when it occurs in an odd pattern). There is a problem in that it is necessary to divide the data, which requires a lot of time for the engineer, and that much time is required for the simulation.
【0011】[0011]
【課題を解決するための手段】本発明によれば、クロッ
ク同期の関係は最も速いクロックに対し,そのn倍(n
は正の整数)の周期のクロックに同期して動作している
被試験対象の論理回路の情報を記憶する記憶手段と、こ
の記憶手段に入力される入力パターンデータの出力期待
値は前記最も速いクロックに対する出力期待値を除くす
べての出力期待値がその前記n倍に当たるパターンを除
くすべてのパターンを不定パターンに置き換える入力パ
ターン変更手段と、その変更された前記入力パターンデ
ータに基づいて前記被試験対象に対するシミュレーショ
ンを行いその出力結果と前記出力期待値とが所望の関係
にあるか否かを判定するシミュレーション実行手段とを
備えることを特徴とする論理回路遅延シミュレータ装置
が得られる。According to the present invention, the relationship of clock synchronization is n times (n
Storage means for storing information on the logic circuit under test operating in synchronization with a clock having a period of a period of a positive integer), and the expected output value of input pattern data input to this storage means is the fastest. Input pattern changing means for replacing all patterns except for a pattern whose output expected value with respect to a clock is n times as large as the expected value with an indefinite pattern, and the test object based on the changed input pattern data to simulate its output and the output expectation value is a logic circuit delay simulator device <br/> is obtained, characterized in that it comprises a determining simulation execution means whether the desired relationship.
【0012】 また、前記入力パターン変更手段は、変
数等の初期設定を行って前記入力パターンデータの指定
を行う第1のステップと、前記不定パターンに置き換え
る出力信号の指定を行う第2のステップと、この第2の
ステップにおける出力信号が前記入力パターンデータの
中にあるか否かを判断する第3のステップと、この第3
ステップにおいて肯定判定のときはその出力信号が前記
最も速いクロックの周期の前記n倍の周期で動作してい
たならばこのnを指定する第4のステップと、前記nが
正の整数なのかどうかの判断を行う第5のステップと、
この第5のステップにおいて肯定判定のときは前記入力
パターンデータのパターン数の設定を行う第6のステッ
プと、パターン番号を「1」にする第7のステップと、
このパターン番号が前記n倍数であるか否かを判定する
第8のステップと、この第8のステップにおいて否定判
定のときはそのパターン番号の対象となる出力信号のパ
ターンを前記不定パターンに置き換える第9のステップ
と、前記パターン番号を+1する第10のステップと、
この第10のステップのパターン番号が前記パターン数
+1と等しいか否かを判定する第11のステップとの処
理を行い、前記シミュレーション実行手段は、前記第1
1のステップで否定判定のときは前記第8のステップに
戻って前記第10のステップまでの一連の処理をパター
ン番号が前記パターン数+1に等しくなるまで繰り返し
この一連の処理の後新しく作成された入力パターンデー
タに対して前記最も速いクロックに合わせて観測点の設
定を行う第12のステップと、前記シミュレーションを
実行する第13のステップと、このシミュレーション出
力結果と出力期待値とが等しいか否かを判定する第14
のステップと、この第14のステップで肯定判定のとき
は前記シミュレーションの結果を正常とする第15のス
テップとの処理を行うことを特徴とする論理回路遅延シ
ミュレータ装置が得られる。The input pattern changing means may include a first step of performing initial setting of variables and the like to specify the input pattern data, and a second step of specifying an output signal to be replaced with the undefined pattern. A third step of judging whether or not the output signal in the second step is in the input pattern data;
Affirmative determination in the step, a fourth step of designating the output signal if the output signal is operating at the n-times cycle of the fastest clock cycle; and whether the n is a positive integer A fifth step of determining
When a positive determination is made in the fifth step, a sixth step of setting the number of patterns of the input pattern data, a seventh step of setting the pattern number to “1”,
An eighth step of determining whether or not the pattern number is the multiple of n; and, if a negative determination is made in the eighth step, replacing the pattern of the output signal targeted for the pattern number with the indefinite pattern. A ninth step, a tenth step of incrementing the pattern number by 1,
Perform the processing of the eleventh step of judging whether or not the pattern number of the tenth step is equal to the number of patterns + 1, and
If a negative determination is made in step 1, the process returns to the eighth step and repeats a series of processing up to the tenth step until the pattern number becomes equal to the number of patterns +1 . A twelfth step of setting an observation point for the input pattern data in accordance with the fastest clock, a thirteenth step of executing the simulation, and whether the simulation output result is equal to the expected output value 14th to determine
And a fifteenth step of making the result of the simulation normal if the determination in step 14 is affirmative, thereby obtaining a logic circuit delay simulator apparatus .
【0013】[0013]
【実施例】次に、本発明について図面を参照して説明す
る。Next, the present invention will be described with reference to the drawings.
【0014】図1は本発明の論理回路遅延シミュレータ
の原理を説明するためのブロック図、図2は本発明の一
実施例の構成を示すブロック図である。FIG. 1 is a block diagram for explaining the principle of the logic circuit delay simulator of the present invention, and FIG. 2 is a block diagram showing the configuration of an embodiment of the present invention.
【0015】図1を参照すると、本発明の論理回路遅延
シミュレータ装置は、最も速いクロックとそのn倍(n
は正の整数)の周期のクロックとの多相クロックに同期
して動作する被試験対象の論理回路の情報を記憶する記
憶手段11と、この記憶手段11に入力される入力パタ
ーンデータ13の出力期待値は最も速いクロックに対す
る出力期待値を除くすべての出力期待値がそのn倍に当
たるパターンを除くすべてが不定パターンに置き換えら
れる入力パターン変更手段12と、入力パターン変更手
段12により変更された入力パターンに基づいて上記被
試験対象に対するシミュレーションを行いその出力結果
15と出力期待値とが所望の関係にあるか否かを判定す
るシミュレーション実行手段14とを備えている。Referring to FIG. 1, the logic circuit delay simulator apparatus of the present invention, the fastest clock that is n times (n
Is a positive integer) and a storage means 11 for storing information of a logic circuit under test operating in synchronization with a polyphase clock having a clock having a period of, and an output of input pattern data 13 inputted to the storage means 11 The expected value is an input pattern changing unit 12 in which all except for a pattern whose output expected value is n times as large as the output expected value for the fastest clock are replaced with an indefinite pattern, and an input pattern changed by the input pattern changing unit 12. And a simulation executing means 14 for simulating the object under test based on the above, and determining whether or not the output result 15 and the expected output value are in a desired relationship.
【0016】図2に示す実施例の構成と図1における構
成との対応は次のとおりである。すなわち、記憶手段1
1に記憶されている被試験対象の論理回路の情報は回路
図情報22に対応し、入力パターンデータ13は入力パ
ターンデータ23に対応し、入力パターン変更手段12
およびシミュレーション実行手段14は期待値変更シミ
ュレーションプログラム21に対応する。The correspondence between the configuration of the embodiment shown in FIG. 2 and the configuration in FIG. 1 is as follows. That is, the storage unit 1
Information of a logic circuit under test which is stored in the 1 corresponds to the circuit diagram information 22, the input pattern data 13 corresponds to the input pattern data 23, the input pattern changing unit 12
The simulation executing means 14 corresponds to the expected value changing simulation program 21.
【0017】図2を参照すると、本実施例の論理回路遅
延シミュレータ装置は、入力パターンデータ23に含ま
れているある特定出力信号の期待値の特定パターンを不
定パターンに置き換えたのちシミュレーションを実際に
実行する期待値変更シミュレーションプログラム21
と、被試験対象の論理回路の構成を表す回路図情報22
と、論理素子の入力データとその期待値とで構成される
入力パターンデータ23とを備えている。Referring to FIG. 2, the logic circuit delay simulator apparatus of this embodiment, after the simulation actually a specific pattern of the expected value of a particular output signal being included in the input pattern data 23 is replaced with undefined pattern Expectation value change simulation program 21 to be executed
And circuit diagram information 22 representing the configuration of the logic circuit under test
And input pattern data 23 composed of input data of a logic element and its expected value.
【0018】次に、本実施例における動作について説明
する。Next, the operation of this embodiment will be described.
【0019】図2において、入力パターンデータ23は
期待値変更シミュレーションプログラム21によってあ
る特定出力信号の期待値の特定パターンを不定パターン
に置き換え、新しくできた入力パターンデータについ
て、1パターンずつ回路図情報22に基づき、期待値変
更シミュレーションプログラム21によりシミュレーシ
ョンを行い、このシミュレーションで得られた出力デー
タと上記入力パターンデータに含まれている期待値とが
一致しているか否かの検証を行う。In FIG. 2, the input pattern data 23 is replaced by an expected value change simulation program 21 in which a specific pattern of an expected value of a specific output signal is replaced with an indefinite pattern. A simulation is performed by the expected value change simulation program 21 based on the above, and it is verified whether or not the output data obtained by the simulation matches the expected value included in the input pattern data.
【0020】次に、図3,図4および図5を参照して図
2における期待値変更シミュレーションプログラムの処
理手順について説明する。Next, referring to FIG. 3, FIG. 4 and FIG.
The processing procedure of the expected value change simulation program in 2 will be described.
【0021】図3,図4は本実施例における期待値変更
シミュレーションプログラムの処理の流れを示すフロー
チャートであり、図5は図3,図4において使用する入
力パターンデータのデータ構成の一例を示す図である。FIGS. 3 and 4 are flowcharts showing the flow of the processing of the expected value change simulation program in the present embodiment. FIG. 5 is a diagram showing an example of the data structure of the input pattern data used in FIGS. It is.
【0022】なお、図3および図4において同じ連結記
号,,,を連結して一つのフローチャートとな
る。In FIG. 3 and FIG. 4, the same connection symbols are connected to form one flowchart.
【0023】まず、変数等の初期設定を行い、入力パタ
ーンデータの指定を行う(ステップ301)。そして、
不定パターンに置き換える出力信号の指定を行う(ステ
ップ302)。First, initial setting of variables and the like is performed, and input pattern data is specified (step 301). And
An output signal to be replaced with an undefined pattern is designated (step 302).
【0024】次に、ステップ302における出力信号が
入力パターンデータの中にあるか否かを判断する(ステ
ップ303)。Next, it is determined whether or not the output signal in step 302 is present in the input pattern data (step 303).
【0025】ステップ303で否定判定(NO)のとき
は、ステップ302に戻って出力信号を再設定する。ま
た肯定判定(YES)のときは、その出力信号が最も速
く動作するクロックの周期のn倍の周期で動作していた
ならばこのnを指定する(ステップ304)。If a negative determination (NO) is made in step 303, the process returns to step 302 to reset the output signal. When the determination is affirmative (YES), if the output signal is operating at a cycle n times the cycle of the clock that operates fastest, this n is designated (step 304).
【0026】次いで、上記nが正の整数なのか否かの判
断を行う(ステップ305)。Next, it is determined whether n is a positive integer (step 305).
【0027】ステップ305で否定判定(NO)のとき
は、ステップ304に戻ってnを指定し直す。また肯定
判定のときは、入力パターンデータのパターン数の設定
を行う(ステップ306)。If the determination in step 305 is negative (NO), the flow returns to step 304 to re-specify n. When the determination is affirmative, the number of patterns of the input pattern data is set (step 306).
【0028】次に、パターン番号を「1」にし(ステッ
プ307)、パターン番号がnの倍数であるか否かを判
定する(ステップ308)。Next, the pattern number is set to "1" (step 307), and it is determined whether or not the pattern number is a multiple of n (step 308).
【0029】ステップ308で否定判定(NO)のとき
は、そのパターン番号の対象となる出力信号のパターン
を不定パターンに置き換える処理を行ったのち(ステッ
プ309)、パターン番号を+1するインクリメントを
行う(ステップ401)。またステップ308で肯定判
定(YES)、つまりパターン番号がnの倍数のとき
は、そのままステップ401に進む。If a negative determination (NO) is made in step 308, a process of replacing the pattern of the output signal which is the object of the pattern number with an undefined pattern is performed (step 309), and then the pattern number is incremented by +1 (step 309). Step 401). If the result of the determination in step 308 is affirmative (YES), that is, if the pattern number is a multiple of n, the process proceeds directly to step 401.
【0030】次に、ステップ401でパターン番号が
「パターン数+1」の値と等しいか否かを判定する(ス
テップ402)。Next, at step 401, the pattern number is
It is determined whether the value is equal to the value of “the number of patterns + 1” (step 402).
【0031】ステップ402で否定判定(NO)のとき
は、ステップ308に戻ってステップ401までの一連
の処理を行う。そしてこの処理をパターン番号がパター
ン数+1になるまで繰り返す。If a negative determination (NO) is made in step 402, the flow returns to step 308 to perform a series of processing up to step 401. This process is repeated until the pattern number becomes the number of patterns + 1 .
【0032】この一連の処理ののち新しく作成された入
力パターンデータに対して最も速いクロックに合わせて
観測点の設定を行う(ステップ403)。After this series of processing, an observation point is set for the newly created input pattern data in accordance with the fastest clock (step 403).
【0033】そして、シミュレーションを実行し(ステ
ップ404)、シミュレーション出力結果と出力期待値
とが等しいかどうかを判断する(ステップ405)。Then, a simulation is executed (step 404), and it is determined whether the simulation output result is equal to the expected output value (step 405).
【0034】ここで、肯定判定(YES)のときは、シ
ミュレーション結果が正常として(ステップ407)終
了する。また否定判定(NO)のときは、入力パターン
データの変更を行い(ステップ406)、ステップ30
1に戻ってステップ405までの処理を再び行う。If the determination is affirmative (YES), the simulation result is determined to be normal (step 407), and the process ends. If the determination is negative (NO), the input pattern data is changed (step 406), and step 30 is executed.
Returning to step 1, the processing up to step 405 is performed again.
【0035】なお、図5において、PN=10はパター
ン数が10であることを表し、第1パターン目のデータ
00000;第2パターン目のデータ01010;第3
パターン目のデータ10101;……,第10パターン
目のデータ01010が示されている。In FIG. 5, PN = 10 indicates that the number of patterns is 10, and data 0000 of the first pattern; data 01010 of the second pattern;
Pattern data 10101;..., The tenth pattern data 01010 are shown.
【0036】例えば第10パターン目のデータは、入力
データIN−JACK AA,BB,CCに対する入力
パターンがそれぞれ(左から)0,1,0であり、出力
データOUT−JACK DD,EEに対する出力期待
値がそれぞれ1,0であることを表している。For example, in the data of the tenth pattern, input patterns for input data IN-JACK AA, BB, and CC are 0, 1, and 0 (from the left), respectively, and output expectation for output data OUT-JACK DD, EE. The values are 1 and 0, respectively.
【0037】[0037]
【発明の効果】以上説明したように本発明は、多相クロ
ックに基づいて動作する論理回路に入力される出力期待
値を、最も速いクロックに対する出力期待値を除くすべ
ての出力期待値がそのn倍数に当たるパターンを除くす
べてのパターンを不定パターンに置き換えて被試験対象
のシミュレーションを行うことにより、技術者の手間を
削減するとともに、シミュレーション時間を低減するこ
とができるという効果を有する。The present invention described above, according to the present invention, the output expectation value is input to the logic circuit operating on the basis of a multi-phase clock, all of the output expected values except the output expectation value against the fastest clock effect all patterns except a pattern which corresponds to the n-times speed by performing a simulation of the tested <br/> replaced with undefined pattern, while reducing the labor of technicians, that it is possible to reduce the simulation time Having.
【図1】本発明の論理回路遅延シミュレータの原理を説
明するためのブロック図である。FIG. 1 is a block diagram for explaining the principle of a logic circuit delay simulator according to the present invention.
【図2】本発明の一実施例の構成を示すブロック図であ
る。FIG. 2 is a block diagram showing a configuration of one embodiment of the present invention.
【図3】本実施例における期待値変更シミュレーション
プログラムの処理の流れを示す部分フローチャートであ
る。FIG. 3 is a partial flowchart showing a flow of processing of an expected value change simulation program in the embodiment.
【図4】本実施例における期待値変更シミュレーション
プログラムの処理の流れを示す部分フローチャートであ
る。FIG. 4 is a partial flowchart showing a flow of processing of an expected value change simulation program in the embodiment.
【図5】図3,図4において使用する入力パターンデー
タのデータ構成の一例を示す図である。FIG. 5 is a diagram showing an example of a data configuration of input pattern data used in FIGS. 3 and 4;
【図6】(a)は従来の論理回路遅延シミュレータの一
例の回路図、図6(b)は同図(a)における各クロッ
クと各出力とのタイミング図である。FIG. 6A is a circuit diagram of an example of a conventional logic circuit delay simulator, and FIG. 6B is a timing diagram of each clock and each output in FIG.
11 記憶手段 12 入力パターン変更手段 13,23 入力パターンデータ 14 シミュレーション実行手段 15 出力結果 21 期待値変更シミュレーションプログラム 22 回路図情報 51,52 組合わせ回路 53,54 フリップフロップ(FF)11 storage means 12 input pattern change means 13, 23 input pattern data 14 simulation execution means 15 output result 21 expected value change simulation program 22 circuit diagram information 51, 52 combination circuit 53, 54 flip-flop (FF)
フロントページの続き (58)調査した分野(Int.Cl.6,DB名) G06F 17/50 G01R 31/28 Continuation of the front page (58) Field surveyed (Int.Cl. 6 , DB name) G06F 17/50 G01R 31/28
Claims (2)
に対し,そのn倍(nは正の整数)の周期のクロックに
同期して動作している被試験対象の論理回路の情報を記
憶する記憶手段と、この記憶手段に入力される入力パタ
ーンデータの出力期待値は前記最も速いクロックに対す
る出力期待値を除くすべての出力期待値がその前記n倍
に当たるパターンを除くすべてのパターンを不定パター
ンに置き換える入力パターン変更手段と、その変更され
た前記入力パターンデータに基づいて前記被試験対象に
対するシミュレーションを行いその出力結果と前記出力
期待値とが所望の関係にあるか否かを判定するシミュレ
ーション実行手段とを備えることを特徴とする論理回路
遅延シミュレータ装置。1. A memory for storing information on a logic circuit under test operating in synchronization with a clock having a cycle of n times (n is a positive integer) the fastest clock in relation to clock synchronization. Means and the expected output value of the input pattern data input to the storage means are all patterns except for the pattern whose output expected value is n times as large as the expected output value except the output expected value for the fastest clock. Input pattern changing means, and simulation executing means for performing a simulation on the device under test based on the changed input pattern data and determining whether an output result and the output expected value have a desired relationship. A logic circuit delay simulator device comprising:
初期設定を行って前記入力パターンデータの指定を行う
第1のステップと、前記不定パターンに置き換える出力
信号の指定を行う第2のステップと、この第2のステッ
プにおける出力信号が前記入力パターンデータの中にあ
るか否かを判断する第3のステップと、この第3ステッ
プにおいて肯定判定のときはその出力信号が前記最も速
いクロックの周期の前記n倍の周期で動作していたなら
ばこのnを指定する第4のステップと、前記nが正の整
数なのかどうかの判断を行う第5のステップと、この第
5のステップにおいて肯定判定のときは前記入力パター
ンデータのパターン数の設定を行う第6のステップと、
パターン番号を「1」にする第7のステップと、このパ
ターン番号が前記n倍数であるか否かを判定する第8の
ステップと、この第8のステップにおいて否定判定のと
きはそのパターン番号の対象となる出力信号のパターン
を前記不定パターンに置き換える第9のステップと、前
記パターン番号を+1する第10のステップと、この第
10のステップのパターン番号が前記パターン数+1と
等しいか否かを判定する第11のステップとの処理を行
い、前記シミュレーション実行手段は、前記第11のス
テップで否定判定のときは前記第8のステップに戻って
前記第10のステップまでの一連の処理をパターン番号
が前記パターン数+1と等しくなるまで繰り返しこの一
連の処理の後新しく作成された入力パターンデータに対
して前記最も速いクロックに合わせて観測点の設定を行
う第12のステップと、前記シミュレーションを実行す
る第13のステップと、このシミュレーション出力結果
と出力期待値とが等しいか否かを判定する第14のステ
ップと、この第14のステップで肯定判定のときは前記
シミュレーションの結果を正常とする第15のステップ
との処理を行うことを特徴とする請求項1記載の論理回
路遅延シミュレータ装置。2. A first step of performing initial setting of variables and the like to specify the input pattern data, and a second step of specifying an output signal to be replaced with the indefinite pattern. A third step of judging whether or not the output signal in the second step is in the input pattern data, and if the output signal is affirmative in the third step, the output signal is the cycle of the fastest clock. If the operation has been performed at the cycle of n times the above, a fourth step of designating the n, a fifth step of determining whether the n is a positive integer, and an affirmative in the fifth step A sixth step of setting the number of patterns of the input pattern data when determining;
A seventh step of setting the pattern number to "1"; an eighth step of determining whether the pattern number is the multiple of n; and a negative determination of the pattern number if a negative determination is made in the eighth step. A ninth step of replacing the pattern of the target output signal with the indefinite pattern, a tenth step of incrementing the pattern number by 1, and a pattern number of the tenth step being the pattern number + 1.
The simulation executing means performs processing of an eleventh step of determining whether or not they are equal to each other. When a negative determination is made in the eleventh step, the simulation execution means returns to the eighth step and performs a series of steps up to the tenth step. A twelfth step of repeating the above processing until the pattern number becomes equal to the number of patterns + 1, and setting an observation point in accordance with the fastest clock for newly created input pattern data after this series of processing; A thirteenth step of executing the simulation, a fourteenth step of determining whether or not the simulation output result is equal to the expected output value, and a positive result of the simulation in the fourteenth step. 2. The logic circuit delay simulation according to claim 1, wherein the processing is performed with the fifteenth step of normalizing. Apparatus.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP5220754A JP2972499B2 (en) | 1993-09-06 | 1993-09-06 | Logic circuit delay simulator |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP5220754A JP2972499B2 (en) | 1993-09-06 | 1993-09-06 | Logic circuit delay simulator |
Publications (2)
Publication Number | Publication Date |
---|---|
JPH0773220A JPH0773220A (en) | 1995-03-17 |
JP2972499B2 true JP2972499B2 (en) | 1999-11-08 |
Family
ID=16756022
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP5220754A Expired - Fee Related JP2972499B2 (en) | 1993-09-06 | 1993-09-06 | Logic circuit delay simulator |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2972499B2 (en) |
-
1993
- 1993-09-06 JP JP5220754A patent/JP2972499B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JPH0773220A (en) | 1995-03-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6061283A (en) | Semiconductor integrated circuit evaluation system | |
US4635218A (en) | Method for simulating system operation of static and dynamic circuit devices | |
US8468475B2 (en) | Conversion of circuit description to an abstract model of the circuit | |
JP4058252B2 (en) | IC design verification method | |
US6370675B1 (en) | Semiconductor integrated circuit design and evaluation system using cycle base timing | |
JPS6063644A (en) | Method and apparatus for modeling operation of digital device | |
US5960182A (en) | Hardware-software co-simulation system, hardware-software co-simulation method, and computer-readable memory containing a hardware-software co-simulation program | |
JP4251964B2 (en) | Verification device, verification method, and program | |
JP2002535684A (en) | System for real version test and simulated version test of integrated circuits | |
JP2009522652A (en) | System and method for generating multiple models at different levels of abstraction from a single master model | |
US5323401A (en) | Optimization of test stimulus verification | |
US6249891B1 (en) | High speed test pattern evaluation apparatus | |
CN117094269B (en) | Verification method, verification device, electronic equipment and readable storage medium | |
JP2972499B2 (en) | Logic circuit delay simulator | |
US20030018462A1 (en) | Multi-clock system simulation | |
JP3953250B2 (en) | Asynchronous circuit verification method | |
JP2004145712A (en) | Equivalence verification method of motion description in semiconductor design | |
JPH1173440A (en) | Emulation device | |
JP3186535B2 (en) | Simulation equipment | |
JP2010257003A (en) | Logic equivalence verification system, logic equivalence verification method, method for manufacturing semiconductor integrated circuit, control program and readable storage medium | |
JP2001235522A (en) | Test vector forming device | |
JP3150032B2 (en) | Delay fault test pattern generation method | |
US6586959B1 (en) | Method and apparatus for testing circuitry | |
JPH05324754A (en) | Method for generating gate logic circuit for logic simulation | |
JP2003256493A (en) | Tester simulation apparatus and tester simulation method |
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: 19990810 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20070827 Year of fee payment: 8 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080827 Year of fee payment: 9 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080827 Year of fee payment: 9 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090827 Year of fee payment: 10 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090827 Year of fee payment: 10 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100827 Year of fee payment: 11 |
|
LAPS | Cancellation because of no payment of annual fees |