JP2936862B2 - 論理検証装置 - Google Patents
論理検証装置Info
- Publication number
- JP2936862B2 JP2936862B2 JP4003731A JP373192A JP2936862B2 JP 2936862 B2 JP2936862 B2 JP 2936862B2 JP 4003731 A JP4003731 A JP 4003731A JP 373192 A JP373192 A JP 373192A JP 2936862 B2 JP2936862 B2 JP 2936862B2
- Authority
- JP
- Japan
- Prior art keywords
- signal line
- event
- value
- information
- change
- 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 - Lifetime
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Description
【0001】
【産業上の利用分野】この発明は、設計した論理回路の
動作をコンピュータで模擬し、期待している動作が実現
されるか否かを確認するために用いられる論理検証装置
に関する。
動作をコンピュータで模擬し、期待している動作が実現
されるか否かを確認するために用いられる論理検証装置
に関する。
【0002】
【従来の技術】このような論理検証は、検証対象となる
論理回路に対し特別に用意したテストパターンを入力す
るという形で行われるが、その際用いられるテストパタ
ーンの品質を評価するものとして故障検出率を把握する
必要がある。その方法として従来は、論理シミュレーシ
ョン実行中における全信号の変化を観察し、その変化し
た信号の全信号に対する割合を故障検出率の予測値とす
る方法や、論理シミュレーション実行中に全素子のピン
の信号の変化した回数を累積しておき、その値から統計
的処理によって故障検出率を予測する方法などが用いら
れている。
論理回路に対し特別に用意したテストパターンを入力す
るという形で行われるが、その際用いられるテストパタ
ーンの品質を評価するものとして故障検出率を把握する
必要がある。その方法として従来は、論理シミュレーシ
ョン実行中における全信号の変化を観察し、その変化し
た信号の全信号に対する割合を故障検出率の予測値とす
る方法や、論理シミュレーション実行中に全素子のピン
の信号の変化した回数を累積しておき、その値から統計
的処理によって故障検出率を予測する方法などが用いら
れている。
【0003】図6はそのような論理検証時に故障検出率
予測を行う方法の一例を示すフローチャートである。ま
ず、論理検証対象回路の素子とその素子間の配線情報
と、論理検証対象回路に入力するテストパターンを設定
する(ステップS22)。ここでテストパターンに基づ
いて論理シミュレーションを開始する。そしてこの論理
シミュレーションの過程で各信号線にイベント、つまり
信号値の変化の情報があるかを判断し(ステップS2
3)、いずれの信号線にもイベントが存在しないとき論
理シミュレーションを終了し、故障検出率の予測値を報
告する(ステップS28)。
予測を行う方法の一例を示すフローチャートである。ま
ず、論理検証対象回路の素子とその素子間の配線情報
と、論理検証対象回路に入力するテストパターンを設定
する(ステップS22)。ここでテストパターンに基づ
いて論理シミュレーションを開始する。そしてこの論理
シミュレーションの過程で各信号線にイベント、つまり
信号値の変化の情報があるかを判断し(ステップS2
3)、いずれの信号線にもイベントが存在しないとき論
理シミュレーションを終了し、故障検出率の予測値を報
告する(ステップS28)。
【0004】いずれかの信号線にイベントが存在する場
合、その信号に接続されている素子を取り出し(ステッ
プS24)その素子の出力値を計算する(ステップS2
5)。計算された出力値が変化したと判断されれば(ス
テップS26)、出力信号にイベントを発生し、その信
号線に変化した情報を付加しておく(ステップS2
7)。そしてイベントがなくなったと判断されたとき
(ステップS23)、ステップS27において信号線に
付加した情報により、故障検出率の予測値を算出して報
告する(ステップS28)。
合、その信号に接続されている素子を取り出し(ステッ
プS24)その素子の出力値を計算する(ステップS2
5)。計算された出力値が変化したと判断されれば(ス
テップS26)、出力信号にイベントを発生し、その信
号線に変化した情報を付加しておく(ステップS2
7)。そしてイベントがなくなったと判断されたとき
(ステップS23)、ステップS27において信号線に
付加した情報により、故障検出率の予測値を算出して報
告する(ステップS28)。
【0005】一方、論理シミュレーション中に不定値が
観測された場合には、その発生箇所を特定する必要があ
るが、この作業は従来人手により行われている。具体的
には、論理シミュレーション中に不定値がいずれかの信
号で検出された場合、その信号を出力している素子を検
索し、その素子の入力信号に不定値が入力されていない
かを調べ、入力されていないならその素子が不定値の発
生源である。もし入力されているなら、さらに遡ってそ
の不定値を出力している素子を調べるという操作を、不
定値を発生している素子が発見できるまで繰り返す。
観測された場合には、その発生箇所を特定する必要があ
るが、この作業は従来人手により行われている。具体的
には、論理シミュレーション中に不定値がいずれかの信
号で検出された場合、その信号を出力している素子を検
索し、その素子の入力信号に不定値が入力されていない
かを調べ、入力されていないならその素子が不定値の発
生源である。もし入力されているなら、さらに遡ってそ
の不定値を出力している素子を調べるという操作を、不
定値を発生している素子が発見できるまで繰り返す。
【0006】
【発明が解決しようとする課題】従来の論理検証は以上
のように行われていたため、故障検出率予測値に含まれ
る誤差が大きいという問題があった。また不定値の発生
箇所の特定には人手による追跡しか方法がなく、時間が
かかるという問題があった。
のように行われていたため、故障検出率予測値に含まれ
る誤差が大きいという問題があった。また不定値の発生
箇所の特定には人手による追跡しか方法がなく、時間が
かかるという問題があった。
【0007】この発明の目的は、高速でしかも誤差の少
ない故障検出率予測機能を備えた論理検証装置および論
理シミュレーション中の不定値の発生箇所を高速かつ自
動的に特定できる機能を備えた論理検証装置を提供する
ことにある。
ない故障検出率予測機能を備えた論理検証装置および論
理シミュレーション中の不定値の発生箇所を高速かつ自
動的に特定できる機能を備えた論理検証装置を提供する
ことにある。
【0008】
【課題を解決するための手段】この発明に係る第1の論
理検証装置は、イベントにその信号線の名称および信号
値の変化の情報を付加する手段に加え、ある素子の入力
信号線に発生したイベントが当該素子の出力信号線にイ
ベントを発生させる原因となったときに、その新たに発
生したイベントに対し、原因となったイベントが持つ上
記信号線の名称および信号値の変化の情報を付加する手
段と、イベントが発生しても、当該イベントが発生した
信号線を入力信号線とする素子において出力値が変化し
なかったときは、その出力信号線のイベントから、上記
イベントが発生した入力信号線に無関係な情報を消去す
る手段と、予め指定されたストローブ時刻が到来したと
き、論理検証対象回路の外部出力信号線に伝搬している
イベントの持つ情報を基に、検出可能な故障を決定する
手段と、シミュレーション終了後に論理検証対象回路の
外部出力信号線に伝搬されたイベントの持つ情報より、
故障検出率の予測値を算出する手段とを備えたものであ
る。
理検証装置は、イベントにその信号線の名称および信号
値の変化の情報を付加する手段に加え、ある素子の入力
信号線に発生したイベントが当該素子の出力信号線にイ
ベントを発生させる原因となったときに、その新たに発
生したイベントに対し、原因となったイベントが持つ上
記信号線の名称および信号値の変化の情報を付加する手
段と、イベントが発生しても、当該イベントが発生した
信号線を入力信号線とする素子において出力値が変化し
なかったときは、その出力信号線のイベントから、上記
イベントが発生した入力信号線に無関係な情報を消去す
る手段と、予め指定されたストローブ時刻が到来したと
き、論理検証対象回路の外部出力信号線に伝搬している
イベントの持つ情報を基に、検出可能な故障を決定する
手段と、シミュレーション終了後に論理検証対象回路の
外部出力信号線に伝搬されたイベントの持つ情報より、
故障検出率の予測値を算出する手段とを備えたものであ
る。
【0009】この発明に係る第2の論理検証装置は、イ
ベントに上述したと同様の情報を付加する手段を備える
とともに、特定の信号線に伝搬されたイベントの持つ情
報より、当該信号線に不定値を伝搬する原因となった不
定値の発生箇所を求める手段を備えたものである。
ベントに上述したと同様の情報を付加する手段を備える
とともに、特定の信号線に伝搬されたイベントの持つ情
報より、当該信号線に不定値を伝搬する原因となった不
定値の発生箇所を求める手段を備えたものである。
【0010】
【作用】第1の論理検証装置においては、イベントの処
理時、その処理したイベントが新たにイベントを発生さ
せた場合、処理したイベントに付加されていた信号値が
伝搬してきた信号線の名称と信号値の変化の情報と、そ
の処理したイベントの信号線の名称と信号線の変化の情
報とが、新たに発生したイベントに伝搬される。イベン
トが次々に新たなイベントの発生原因となる限り、その
信号値がそこに至るまでにたどった信号線の名称と信号
値の変化の情報のリストが伝搬されて行くが、処理した
イベントが新たなイベントを発生させなかった場合に
は、その時点で伝搬されているイベントから処理したイ
ベントに無関係に情報は消去される。
理時、その処理したイベントが新たにイベントを発生さ
せた場合、処理したイベントに付加されていた信号値が
伝搬してきた信号線の名称と信号値の変化の情報と、そ
の処理したイベントの信号線の名称と信号線の変化の情
報とが、新たに発生したイベントに伝搬される。イベン
トが次々に新たなイベントの発生原因となる限り、その
信号値がそこに至るまでにたどった信号線の名称と信号
値の変化の情報のリストが伝搬されて行くが、処理した
イベントが新たなイベントを発生させなかった場合に
は、その時点で伝搬されているイベントから処理したイ
ベントに無関係に情報は消去される。
【0011】このようにして、最終的に論理検証対象回
路の外部出力信号線まで伝搬されたイベントが持つ伝搬
回路と信号値の変化の情報を用いることにより、高速で
しかも誤差の少ない故障検出率予測が行える。
路の外部出力信号線まで伝搬されたイベントが持つ伝搬
回路と信号値の変化の情報を用いることにより、高速で
しかも誤差の少ない故障検出率予測が行える。
【0012】また第2の論理検証装置においては、上述
したと同様にその信号値がそこに至るまでの経路と変化
の情報のリストが伝搬されて行くため、指定された任意
の信号線について、そこに伝搬されている上記リストを
観測することにより、不定値がどこで発生したか直ちに
特定される。
したと同様にその信号値がそこに至るまでの経路と変化
の情報のリストが伝搬されて行くため、指定された任意
の信号線について、そこに伝搬されている上記リストを
観測することにより、不定値がどこで発生したか直ちに
特定される。
【0013】
【実施例】以下、図1ないし図3を用いてこの発明の一
実施例を説明する。図1は本実施例の論理検証装置によ
り故障検出率の予測を行う場合の動作を示すフローチャ
ートである。このフローチャートに従って、図2に示す
論理回路に対し図3に示すテストパターンを入力した場
合を例にその動作を説明する。
実施例を説明する。図1は本実施例の論理検証装置によ
り故障検出率の予測を行う場合の動作を示すフローチャ
ートである。このフローチャートに従って、図2に示す
論理回路に対し図3に示すテストパターンを入力した場
合を例にその動作を説明する。
【0014】まず検証対象論理回路の素子11〜14と
その素子間の配線情報の読み込みおよび、その検証対象
論理回路に与えるテストパターンの設定を行う(ステッ
プS1)。なお、素子11,14は具体的にはANDゲ
ート、同じく12はNOTゲート、13はD型フリップ
フロップである。ここで、テストパターンに基づいて論
理シミュレーションを開始する。そしてこの論理シミュ
レーションの過程で各信号線1〜10にイベントがある
か判断し(ステップS2)、いずれの信号線にもイベン
トが存在しないとき論理シミュレーションを終了し、故
障検出率の予測値を報告する(ステップS11)。
その素子間の配線情報の読み込みおよび、その検証対象
論理回路に与えるテストパターンの設定を行う(ステッ
プS1)。なお、素子11,14は具体的にはANDゲ
ート、同じく12はNOTゲート、13はD型フリップ
フロップである。ここで、テストパターンに基づいて論
理シミュレーションを開始する。そしてこの論理シミュ
レーションの過程で各信号線1〜10にイベントがある
か判断し(ステップS2)、いずれの信号線にもイベン
トが存在しないとき論理シミュレーションを終了し、故
障検出率の予測値を報告する(ステップS11)。
【0015】いずれかの信号線にイベントが存在すると
きは、その信号に接続されている素子を取り出し(ステ
ップS3)、その素子の出力値を計算する(ステップS
4)。例えば、時刻100においては信号線2に論理値
1から0に変化するイベントが存在する。信号線2には
素子11が接続されており、そこで素子11の出力値を
計算する。素子11の入力信号の値は論理値0と1であ
るので出力値は論理値0となる。
きは、その信号に接続されている素子を取り出し(ステ
ップS3)、その素子の出力値を計算する(ステップS
4)。例えば、時刻100においては信号線2に論理値
1から0に変化するイベントが存在する。信号線2には
素子11が接続されており、そこで素子11の出力値を
計算する。素子11の入力信号の値は論理値0と1であ
るので出力値は論理値0となる。
【0016】さらにその素子がフリップフロップ等の記
憶素子であるか、そうでないかを判断し(ステップS
5)、またステップS4で求めた素子の出力値に変化が
あるかどうかを判断する(ステップS6a,6b)。そ
の素子が記憶素子でなく、出力値が変化したときは出力
信号のイベントを発生し、その出力値が変化する原因と
なった入力信号のイベントに付加されている情報を発生
したイベントに付加する(ステップS7)。例えば、時
刻100において処理した素子11は記憶素子ではな
く、またその出力値は、時刻100において論理値1か
ら0へと変化するので、新たに信号線4のイベントを発
生し、そのイベントに対して信号線2が論理値1から0
へと変化した情報を付加する。
憶素子であるか、そうでないかを判断し(ステップS
5)、またステップS4で求めた素子の出力値に変化が
あるかどうかを判断する(ステップS6a,6b)。そ
の素子が記憶素子でなく、出力値が変化したときは出力
信号のイベントを発生し、その出力値が変化する原因と
なった入力信号のイベントに付加されている情報を発生
したイベントに付加する(ステップS7)。例えば、時
刻100において処理した素子11は記憶素子ではな
く、またその出力値は、時刻100において論理値1か
ら0へと変化するので、新たに信号線4のイベントを発
生し、そのイベントに対して信号線2が論理値1から0
へと変化した情報を付加する。
【0017】ステップS5において判断したときにこの
素子が記憶素子であった場合も、ステップS4で求めた
その素子の出力値に変化があったかどうかを判断する
(ステップS6a)。その素子が記憶素子であって出力
値が変化した場合は、出力信号のイベントを発生し、か
つその出力値が変化する原因となった入力信号ばかりで
なく制御信号以外のすべてのデータ入力信号のイベント
の情報を付加する(ステップS8)。例えば、時刻20
0において処理する素子13は記憶素子であり、出力値
は論理値1から0に変化するので、信号線8のイベント
を発生し、そのイベントに対して信号線4のイベントが
持っている情報(信号線2が論理値1から0に変化し
た、信号線4が論理値1から0に変化した)と、信号線
6が持っている情報(信号線5が論理値1から0に変化
した、信号線6が論理値0から1に変化した)を付加す
る。
素子が記憶素子であった場合も、ステップS4で求めた
その素子の出力値に変化があったかどうかを判断する
(ステップS6a)。その素子が記憶素子であって出力
値が変化した場合は、出力信号のイベントを発生し、か
つその出力値が変化する原因となった入力信号ばかりで
なく制御信号以外のすべてのデータ入力信号のイベント
の情報を付加する(ステップS8)。例えば、時刻20
0において処理する素子13は記憶素子であり、出力値
は論理値1から0に変化するので、信号線8のイベント
を発生し、そのイベントに対して信号線4のイベントが
持っている情報(信号線2が論理値1から0に変化し
た、信号線4が論理値1から0に変化した)と、信号線
6が持っている情報(信号線5が論理値1から0に変化
した、信号線6が論理値0から1に変化した)を付加す
る。
【0018】ステップS5において判断したときにこの
素子が記憶素子ではなく、かつステップS6bで判断し
たときにその出力値に変化がみられなかった場合には、
出力信号線に既に伝搬しているイベントに付加されてい
る情報が、現在処理しているイベントの信号線からの情
報かどうかを判断し(ステップS9)、現在処理してい
るイベントの信号線からの情報でない場合は、出力信号
線に既に伝搬しているイベントに付加されている情報を
消去する(ステップS10)。例えば、時刻300にお
いて素子14を処理したとき、素子14は記憶素子では
なく、かつその出力信号は論理値0のままで変化しな
い。そして出力信号線に既に伝搬しているイベントに付
加されている情報(信号線2が論理値1から0に変化し
た、信号線4が論理値1から0に変化した、信号線5が
論理値1から0に変化した、信号線6が論理値0から1
に変化した、信号線8が論理値1から0に変化した)
は、現在処理しているイベントの信号線1からの情報で
はないから、出力信号線に既に伝搬しているイベントに
付加されている当該情報を消去する。
素子が記憶素子ではなく、かつステップS6bで判断し
たときにその出力値に変化がみられなかった場合には、
出力信号線に既に伝搬しているイベントに付加されてい
る情報が、現在処理しているイベントの信号線からの情
報かどうかを判断し(ステップS9)、現在処理してい
るイベントの信号線からの情報でない場合は、出力信号
線に既に伝搬しているイベントに付加されている情報を
消去する(ステップS10)。例えば、時刻300にお
いて素子14を処理したとき、素子14は記憶素子では
なく、かつその出力信号は論理値0のままで変化しな
い。そして出力信号線に既に伝搬しているイベントに付
加されている情報(信号線2が論理値1から0に変化し
た、信号線4が論理値1から0に変化した、信号線5が
論理値1から0に変化した、信号線6が論理値0から1
に変化した、信号線8が論理値1から0に変化した)
は、現在処理しているイベントの信号線1からの情報で
はないから、出力信号線に既に伝搬しているイベントに
付加されている当該情報を消去する。
【0019】このような過程を繰り返す中で、予め指定
しているストローブ時刻が到来したときは、論理検証対
象回路の外部出力信号に伝搬しているイベントに付加さ
れている情報を基に、検出可能な故障を決定する(ステ
ップS12)。ステップS2の判断でイベントがなくな
るまで以上の過程を繰り返し、最後に故障検出率の予測
値と未検出故障のリストを表示して論理検証を終了す
る。
しているストローブ時刻が到来したときは、論理検証対
象回路の外部出力信号に伝搬しているイベントに付加さ
れている情報を基に、検出可能な故障を決定する(ステ
ップS12)。ステップS2の判断でイベントがなくな
るまで以上の過程を繰り返し、最後に故障検出率の予測
値と未検出故障のリストを表示して論理検証を終了す
る。
【0020】次にこの発明の他の実施例を説明する。本
実施例は、論理検証実行時に不定値の発生箇所を自動的
に特定できるようにした例で、図4がその動作を示すフ
ローチャートである。以下、このフローチャートに従っ
て、図2に示した論理回路に対し図5に示すテストパタ
ーンを入力した場合を例にその動作を説明する。
実施例は、論理検証実行時に不定値の発生箇所を自動的
に特定できるようにした例で、図4がその動作を示すフ
ローチャートである。以下、このフローチャートに従っ
て、図2に示した論理回路に対し図5に示すテストパタ
ーンを入力した場合を例にその動作を説明する。
【0021】まず検証対象論理回路の素子と配線情報の
読み込みおよびその検証対象論理回路に与えるテストパ
ターンの設定を行う(ステップS13)。ここでテスト
パターンに基づいて論理シミュレーションを開始する。
そしてこの論理シミュレーションの過程で各信号線1〜
10の信号線にイベントがあるか判断し(ステップS1
4)、いずれの信号線にもイベントが存在しないとき論
理シミュレーションを終了し、指定された信号に伝搬さ
れた不定信号の発生箇所を報告する(ステップS2
1)。
読み込みおよびその検証対象論理回路に与えるテストパ
ターンの設定を行う(ステップS13)。ここでテスト
パターンに基づいて論理シミュレーションを開始する。
そしてこの論理シミュレーションの過程で各信号線1〜
10の信号線にイベントがあるか判断し(ステップS1
4)、いずれの信号線にもイベントが存在しないとき論
理シミュレーションを終了し、指定された信号に伝搬さ
れた不定信号の発生箇所を報告する(ステップS2
1)。
【0022】信号線にイベントが存在するときは、その
信号に接続されている素子を取り出し(ステップS1
5)、その素子の出力値を計算する(ステップS1
6)。例えば、時刻200において信号線5に論理値0
から1に変化するイベントが存在し、時刻201におい
て信号線5に論理値1から0に変化するイベントが存在
する。ここで、素子12が不定値を出力するものと仮定
する。
信号に接続されている素子を取り出し(ステップS1
5)、その素子の出力値を計算する(ステップS1
6)。例えば、時刻200において信号線5に論理値0
から1に変化するイベントが存在し、時刻201におい
て信号線5に論理値1から0に変化するイベントが存在
する。ここで、素子12が不定値を出力するものと仮定
する。
【0023】次にこの出力値に変化があるかどうかを判
断し(ステップS17)、変化があるときは入力信号に
不定値があったかどうかを判断し(ステップ18)、入
力信号に不定値があった場合には、出力信号にイベント
を発生し、入力信号の不定値の情報をそのイベントに付
加する(ステップS19)。もし入力信号に不定値がな
ければ、単にイベントを発生する(ステップS20)。
例えば、時刻201において素子12の信号値を計算し
たとき、出力値の変化はあるが、入力信号に不定値はな
いのでステップS20において信号線6のイベントを発
生するだけである。
断し(ステップS17)、変化があるときは入力信号に
不定値があったかどうかを判断し(ステップ18)、入
力信号に不定値があった場合には、出力信号にイベント
を発生し、入力信号の不定値の情報をそのイベントに付
加する(ステップS19)。もし入力信号に不定値がな
ければ、単にイベントを発生する(ステップS20)。
例えば、時刻201において素子12の信号値を計算し
たとき、出力値の変化はあるが、入力信号に不定値はな
いのでステップS20において信号線6のイベントを発
生するだけである。
【0024】次に時刻201において、信号線6に論理
値が1から不定値に変化するイベントがあるため、ステ
ップS15において素子13を取り出し、ステップS1
6においてその出力値を計算する。信号線4の入力信号
は論理値0であり、信号線7の入力信号は論理値1、そ
して信号線6の入力信号は不定値であるため、出力値は
不定値となる。ステップS17で出力値の変化があるか
を判断し、さらにステップ18で入力信号に不定値があ
るかを判断したとき、出力値は論理値1から不定値に変
化し、信号線6には不定値が存在する。そのためステッ
プ19において出力信号8のイベントを発生し、かつ信
号線6に不定値が存在したという情報をそのイベントに
付加する。
値が1から不定値に変化するイベントがあるため、ステ
ップS15において素子13を取り出し、ステップS1
6においてその出力値を計算する。信号線4の入力信号
は論理値0であり、信号線7の入力信号は論理値1、そ
して信号線6の入力信号は不定値であるため、出力値は
不定値となる。ステップS17で出力値の変化があるか
を判断し、さらにステップ18で入力信号に不定値があ
るかを判断したとき、出力値は論理値1から不定値に変
化し、信号線6には不定値が存在する。そのためステッ
プ19において出力信号8のイベントを発生し、かつ信
号線6に不定値が存在したという情報をそのイベントに
付加する。
【0025】ステップS14の判断でイベントがなくな
るまで以上の過程を繰り返し、論理シミュレーションを
終了あるいは中断する。その後、不定値を観測した信号
線を指定することにより、その不定値を発生した箇所を
伝搬されたイベントの情報を基に表示して(ステップS
21)、論理検証を終了する。
るまで以上の過程を繰り返し、論理シミュレーションを
終了あるいは中断する。その後、不定値を観測した信号
線を指定することにより、その不定値を発生した箇所を
伝搬されたイベントの情報を基に表示して(ステップS
21)、論理検証を終了する。
【0026】
【発明の効果】以上のように第1の発明によれば、論理
シミュレーションにおいてイベントの処理後、その処理
したイベントが新たにイベントを発生した場合、処理し
たイベントに付加されていた信号値が伝搬してきた信号
線の名称と信号値の変化の情報を、処理したイベントの
信号線の名所と信号線の変化の情報に加えて新たに発生
したイベントに伝搬することにより、論理検証対象回路
の外部出力信号線にまで伝搬されたイベントを観測する
ことで、そのイベントが伝搬されてきた経路とその信号
変化より高速かつ誤差の少ない故障検出率の予測を行う
ことができる。
シミュレーションにおいてイベントの処理後、その処理
したイベントが新たにイベントを発生した場合、処理し
たイベントに付加されていた信号値が伝搬してきた信号
線の名称と信号値の変化の情報を、処理したイベントの
信号線の名所と信号線の変化の情報に加えて新たに発生
したイベントに伝搬することにより、論理検証対象回路
の外部出力信号線にまで伝搬されたイベントを観測する
ことで、そのイベントが伝搬されてきた経路とその信号
変化より高速かつ誤差の少ない故障検出率の予測を行う
ことができる。
【0027】また第2の発明によれば、上述したように
信号線の名称と信号値の変化のリストを伝搬することに
より、不定値が観測された信号線においてそこに伝搬さ
れたリストを観測することで、不定値の発生箇所を高速
かつ自動的に特定できる。
信号線の名称と信号値の変化のリストを伝搬することに
より、不定値が観測された信号線においてそこに伝搬さ
れたリストを観測することで、不定値の発生箇所を高速
かつ自動的に特定できる。
【図1】この発明の一実施例の動作を示すフローチャー
トである。
トである。
【図2】検証対象論理回路の一例を示す回路図である。
【図3】テストパターンの一例を示すタイミングチャー
トである。
トである。
【図4】他の実施例の動作を示すフローチャートであ
る。
る。
【図5】テストパターンの一例を示すタイミングチャー
トである。
トである。
【図6】従来例を示すフローチャートである。
1〜10 信号線 11〜14 素子
Claims (2)
- 【請求項1】 テストパターンを用いたコンピュータシ
ミュレーションにより論理回路の設計検証を行う論理検
証装置において、 シミュレーション実行時、各信号線に対する信号値の変
化の情報であるイベントにその信号線の名称およびその
信号値の変化の情報を付加する手段と、 イベント発生時に、このイベントが発生した信号線を入
力信号線とする素子の出力信号値に変化が生じた場合
に、その出力信号線について新たに発生したイベントに
対し、当該素子の入力信号線のイベントの持つ信号線の
名称およびその信号値の変化の情報を付加する手段と、 イベント発生時に、このイベントが発生した信号線を入
力信号線とする素子の出力信号値に変化が生じなかった
場合に、その出力信号線のイベントから、上記入力信号
線に無関係な情報を消去する手段と、予め指定されたストローブ時刻が到来したとき、論理検
証対象回路の外部出力信号線に伝搬しているイベントの
持つ情報を基に、検出可能な故障を決定する手段と、 シミュレーション終了後に、論理検証対象回路の外部出
力信号線に伝搬されたイベントの持つ情報より、このテ
ストパターンによる故障検出率の予測値を算出する手段
とを備えたことを特徴とする論理検証装置。 - 【請求項2】 テストパターンを用いたコンピュータシ
ミュレーションにより論理回路の設計検証を行う論理検
証装置において、 シミュレーション実行時、各信号線に対するイベントに
その信号線の名称およびその信号値の変化の情報を付加
する手段と、 イベント発生時に、このイベントが発生した信号線を入
力信号線とする素子の出力信号値に変化が生じた場合
に、その出力信号線について新たに発生したイベントに
対し、当該素子の入力信号線のイベントの持つ信号線の
名称およびその信号値の変化の情報を付加する手段と、 特定の信号線に伝搬されたイベントの持つ情報より、こ
の信号線に不定値を伝搬する原因となった不定値の発生
箇所を求める手段とを備えたことを特徴とする論理検証
装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP4003731A JP2936862B2 (ja) | 1992-01-13 | 1992-01-13 | 論理検証装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP4003731A JP2936862B2 (ja) | 1992-01-13 | 1992-01-13 | 論理検証装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JPH05189514A JPH05189514A (ja) | 1993-07-30 |
JP2936862B2 true JP2936862B2 (ja) | 1999-08-23 |
Family
ID=11565405
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP4003731A Expired - Lifetime JP2936862B2 (ja) | 1992-01-13 | 1992-01-13 | 論理検証装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2936862B2 (ja) |
-
1992
- 1992-01-13 JP JP4003731A patent/JP2936862B2/ja not_active Expired - Lifetime
Also Published As
Publication number | Publication date |
---|---|
JPH05189514A (ja) | 1993-07-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8140986B2 (en) | Generating test scenarios using reusable triggers indicating graphical user interface (GUI) elements and actions | |
JP3137056B2 (ja) | 故障伝搬経路抽出システム及びその方法並びにその制御プログラムを記録した記録媒体 | |
CN111104319A (zh) | 一种代码覆盖率测试方法、装置、电子设备及存储介质 | |
US6934656B2 (en) | Auto-linking of function logic state with testcase regression list | |
JP2936862B2 (ja) | 論理検証装置 | |
US11176299B1 (en) | Analysis of signal transitions in feedback circuits | |
WO2004068347A1 (en) | Method and apparatus for categorising test scripts | |
JP2001021618A (ja) | 故障伝搬経路推定方法、故障伝搬経路推定装置及び記録媒体 | |
US11200125B2 (en) | Feedback from higher-level verification to improve unit verification effectiveness | |
EP3553681A1 (en) | Method and apparatus for error test coverage determination for a circuit by simulation | |
JP3145199B2 (ja) | 回路故障擬似試験装置及び回路故障擬似試験方法 | |
Cheng | Test generation for delay faults in non-scan and partial scan sequential circuits | |
JPH0773218A (ja) | 論理回路の故障検出率予測装置 | |
Pramanick | Delay testing and design for testability for delay faults in combinational logic circuits | |
JP2668382B2 (ja) | マイクロプログラムの試験のための擬似障害発生方法 | |
US6941496B2 (en) | Error detecting circuit for detecting the location of error | |
JP2872076B2 (ja) | 論理検証装置およびその方法 | |
JP2000215225A (ja) | テスト容易化検証システム | |
JP2996293B2 (ja) | 故障シミュレーション方法 | |
JP2861861B2 (ja) | 故障診断システム | |
JPH0611543A (ja) | 検査系列生成方法および検査系列生成装置 | |
JPH0798365A (ja) | テストパターンの故障検出率算出方法および装置 | |
JP2001188807A (ja) | 時間故障シミュレーション方法 | |
CN112765928A (zh) | 测试图样产生方法以及失效模型产生方法 | |
JPS63200250A (ja) | キヤツシユ記憶装置の擬似障害発生方式 |