JPH06243190A - 論理シミュレータ - Google Patents
論理シミュレータInfo
- Publication number
- JPH06243190A JPH06243190A JP5026614A JP2661493A JPH06243190A JP H06243190 A JPH06243190 A JP H06243190A JP 5026614 A JP5026614 A JP 5026614A JP 2661493 A JP2661493 A JP 2661493A JP H06243190 A JPH06243190 A JP H06243190A
- Authority
- JP
- Japan
- Prior art keywords
- logic
- signal
- value
- test pattern
- netlist
- 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.)
- Granted
Links
Landscapes
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】
【目的】 論理回路の設計検証を行う論理シミュレーシ
ョンにおいて、大規模回路に対して高速なシミュレーシ
ョンの実行を可能にする。 【構成】 テストパターンＤ1 から全シミュレーション
時間において、値が論理値「０」、「１」又は「Ｘ（不
定）」に固定されて変化しない信号データＤ2を抽出す
る第１の抽出手段１と、そのテストパターンの信号の影
響により、値が論理値で「０」、「１」又は「Ｘ（不
定）」に固定される信号線と、この信号線の論理値によ
りゲーティングされる素子にのみ収斂する全ての素子、
即ち回路部分とを抽出し、そのデータＤ4 を出力する第
２の抽出手段と、ネットリストＤ3から前記データＤ4
を削除し、削除後のネットリストＤ6 を出力する削除手
段３と、削除後のネットリストＤ6 及びテストパターン
Ｄ5 に基づき論理シミュレーションを実行する手段５と
を備える。
ョンにおいて、大規模回路に対して高速なシミュレーシ
ョンの実行を可能にする。 【構成】 テストパターンＤ1 から全シミュレーション
時間において、値が論理値「０」、「１」又は「Ｘ（不
定）」に固定されて変化しない信号データＤ2を抽出す
る第１の抽出手段１と、そのテストパターンの信号の影
響により、値が論理値で「０」、「１」又は「Ｘ（不
定）」に固定される信号線と、この信号線の論理値によ
りゲーティングされる素子にのみ収斂する全ての素子、
即ち回路部分とを抽出し、そのデータＤ4 を出力する第
２の抽出手段と、ネットリストＤ3から前記データＤ4
を削除し、削除後のネットリストＤ6 を出力する削除手
段３と、削除後のネットリストＤ6 及びテストパターン
Ｄ5 に基づき論理シミュレーションを実行する手段５と
を備える。
Description
【０００１】
【産業上の利用分野】本発明は設計した論理回路の動作
をコンピュータで模擬し、期待している動作が実現され
るか否かを知る論理検証のための論理シミュレータに関
する。
をコンピュータで模擬し、期待している動作が実現され
るか否かを知る論理検証のための論理シミュレータに関
する。
【０００２】
【従来の技術】従来の論理シミュレータにおいては論理
検証対象である論理回路を構成する素子間の接続情報，
所謂ネットリストと、論理回路に入力するテストパター
ンを、その検証対象領域の広，狭の如何にかかわらず変
更することなく論理シミュレーションを行っている。
検証対象である論理回路を構成する素子間の接続情報，
所謂ネットリストと、論理回路に入力するテストパター
ンを、その検証対象領域の広，狭の如何にかかわらず変
更することなく論理シミュレーションを行っている。
【０００３】図９は従来の論理シミュレーションの処理
手順を示すフローチャートである。先ず、論理検証対象
である論理回路のネットリストと、この論理回路に入力
するテストパターンを設定し（ステップS20)、これらに
基づいて論理シミュレーションを開始する。そしてこの
論理シミュレーションの過程で各信号線に信号値の変化
(以下イベントという）があるか否かを判断し (ステッ
プS21)、いずれの信号線にもイベントが存在しない場合
には論理シミュレーションを終了する。
手順を示すフローチャートである。先ず、論理検証対象
である論理回路のネットリストと、この論理回路に入力
するテストパターンを設定し（ステップS20)、これらに
基づいて論理シミュレーションを開始する。そしてこの
論理シミュレーションの過程で各信号線に信号値の変化
(以下イベントという）があるか否かを判断し (ステッ
プS21)、いずれの信号線にもイベントが存在しない場合
には論理シミュレーションを終了する。
【０００４】いずれかの信号線にイベントが存在する場
合には、その信号線に接続されている素子を特定し (ス
テップS22)、当該素子の出力値を計算する (ステップS2
3)。計算された出力値が変化するか否かを判断し (ステ
ップS24)、変化する場合にはその素子の出力信号にイベ
ントを発生させる (ステップS25)。そしてイベントがな
くなったと判断された場合には論理シミュレーションを
終了する。
合には、その信号線に接続されている素子を特定し (ス
テップS22)、当該素子の出力値を計算する (ステップS2
3)。計算された出力値が変化するか否かを判断し (ステ
ップS24)、変化する場合にはその素子の出力信号にイベ
ントを発生させる (ステップS25)。そしてイベントがな
くなったと判断された場合には論理シミュレーションを
終了する。
【０００５】
【発明が解決しようとする課題】ところで上述した如き
従来の論理検証にあっては、大規模論理回路の論理検証
において、論理回路の一部分しか動作しないテストパタ
ーンを入力する場合においても、検証対象回路に関して
の全てのネットリストを用いて行うために論理シミュレ
ーションに長い時間を要するという問題があった。
従来の論理検証にあっては、大規模論理回路の論理検証
において、論理回路の一部分しか動作しないテストパタ
ーンを入力する場合においても、検証対象回路に関して
の全てのネットリストを用いて行うために論理シミュレ
ーションに長い時間を要するという問題があった。
【０００６】本発明の目的は、大規模回路のうちの一部
分しか動作しないテストパターンを用いてシミュレーシ
ョンを行う場合、また全回路が動作するテストパターン
を用いる場合であっても、不必要な信号線，回路部分を
特定し、これをネットリストから削除することで高速な
論理シミュレーションを可能とした論理シミュレータを
提供することにある。
分しか動作しないテストパターンを用いてシミュレーシ
ョンを行う場合、また全回路が動作するテストパターン
を用いる場合であっても、不必要な信号線，回路部分を
特定し、これをネットリストから削除することで高速な
論理シミュレーションを可能とした論理シミュレータを
提供することにある。
【０００７】
【課題を解決するための手段】第１の発明に係る論理シ
ミュレータは、テストパターンから全シミュレーション
時間において、論理値が変化しない信号を抽出する第１
の抽出手段と、抽出されたこの変化しない信号に基づき
論理値が固定になる信号線及びこの信号線の値によりゲ
ーティングされる素子にのみ収斂する回路部分をネット
リストから抽出する第２の抽出手段と、この信号線及び
素子をネットリストから削除する手段とを備える。
ミュレータは、テストパターンから全シミュレーション
時間において、論理値が変化しない信号を抽出する第１
の抽出手段と、抽出されたこの変化しない信号に基づき
論理値が固定になる信号線及びこの信号線の値によりゲ
ーティングされる素子にのみ収斂する回路部分をネット
リストから抽出する第２の抽出手段と、この信号線及び
素子をネットリストから削除する手段とを備える。
【０００８】第２の発明に係る論理シミュレータは、テ
ストパターンから全シミュレーション時間に対する所定
の割合の時間において、論理値が固定されている間を１
つの動作モードとして決定する手段と、各動作モード毎
に固定となるテストパターンの信号により、論理値が固
定になる信号線及びこの信号線の論理値によりゲーティ
ングされる素子にのみ収斂する回路部分をネットリスト
から抽出する第２の抽出手段と、抽出した信号線，回路
部分をネットリストから削除する手段とを備える。
ストパターンから全シミュレーション時間に対する所定
の割合の時間において、論理値が固定されている間を１
つの動作モードとして決定する手段と、各動作モード毎
に固定となるテストパターンの信号により、論理値が固
定になる信号線及びこの信号線の論理値によりゲーティ
ングされる素子にのみ収斂する回路部分をネットリスト
から抽出する第２の抽出手段と、抽出した信号線，回路
部分をネットリストから削除する手段とを備える。
【０００９】
【作用】第１の発明にあっては第１の抽出手段により全
シミュレーション時間において、論理値が変化しない信
号をテストパターンから抽出し、更に第２の抽出手段で
前記論理値が変化しない信号に基づき、論理値が固定に
なる信号線及び出力端子に影響を与えない回路部分をネ
ットリストから抽出し、これら信号線及び回路部分をネ
ットリストから削除することにより、論理シミュレーシ
ョン対象である論理回路規模が縮小され、高速な論理シ
ミュレーションが可能となる。
シミュレーション時間において、論理値が変化しない信
号をテストパターンから抽出し、更に第２の抽出手段で
前記論理値が変化しない信号に基づき、論理値が固定に
なる信号線及び出力端子に影響を与えない回路部分をネ
ットリストから抽出し、これら信号線及び回路部分をネ
ットリストから削除することにより、論理シミュレーシ
ョン対象である論理回路規模が縮小され、高速な論理シ
ミュレーションが可能となる。
【００１０】第２の発明にあっては第１の抽出手段によ
り全シミュレーション時間に対する所定の割合の時間に
わたって論理値が変化しない信号をテストパターンから
抽出し、更に動作モード決定手段にてこの変化しない信
号により値が所定時間にわたって論理値が固定されてい
る間を１つの動作モードとして特定し、夫々の動作モー
ド毎に論理値が固定となる信号により、論理値が固定さ
れる信号線を決定し、この信号線及びこの論理値により
出力端に影響を与えない回路部分を抽出し、これを削除
手段により前記ネットリストから削除することにより、
ネットリストが縮減され、高速な論理シミュレーション
が行える。
り全シミュレーション時間に対する所定の割合の時間に
わたって論理値が変化しない信号をテストパターンから
抽出し、更に動作モード決定手段にてこの変化しない信
号により値が所定時間にわたって論理値が固定されてい
る間を１つの動作モードとして特定し、夫々の動作モー
ド毎に論理値が固定となる信号により、論理値が固定さ
れる信号線を決定し、この信号線及びこの論理値により
出力端に影響を与えない回路部分を抽出し、これを削除
手段により前記ネットリストから削除することにより、
ネットリストが縮減され、高速な論理シミュレーション
が行える。
【００１１】
【実施例】以下、本発明をその実施例を示す図面に基づ
き具体的に説明する。 （実施例１）図１は本発明に係る論理シミュレータを構
成する各手段及びその入，出力データを示すブロック図
である。図中１は第１の抽出手段、２は同じく第２の抽
出手段、３は第１の削除手段、４は第２の削除手段、５
はシミュレーション手段を示している。前記第１の抽出
手段１は論理シミュレーション実行に先立って、論理検
証対象である論理回路に入力すべきテストパターンＤ1
に基づき全シミュレーション時間にわたって論理値が変
化しない信号を抽出し、これを論理値が変化しない信号
データＤ2 として出力する。
き具体的に説明する。 （実施例１）図１は本発明に係る論理シミュレータを構
成する各手段及びその入，出力データを示すブロック図
である。図中１は第１の抽出手段、２は同じく第２の抽
出手段、３は第１の削除手段、４は第２の削除手段、５
はシミュレーション手段を示している。前記第１の抽出
手段１は論理シミュレーション実行に先立って、論理検
証対象である論理回路に入力すべきテストパターンＤ1
に基づき全シミュレーション時間にわたって論理値が変
化しない信号を抽出し、これを論理値が変化しない信号
データＤ2 として出力する。
【００１２】第２の抽出手段２は前記第１の抽出手段１
から抽出された変化しない信号データＤ2 と論理回路の
各素子の論理的機能及び素子間の接続情報であるネット
リストＤ3 とに基づき、全シミュレーション時間にわた
って論理値が固定される全信号線、及びこの論理値が固
定される全信号線により検証対象論理回路の出力端子の
出力値に影響を与えない回路部分をネットリストＤ3 か
ら抽出し、これをデータＤ4 として出力する。
から抽出された変化しない信号データＤ2 と論理回路の
各素子の論理的機能及び素子間の接続情報であるネット
リストＤ3 とに基づき、全シミュレーション時間にわた
って論理値が固定される全信号線、及びこの論理値が固
定される全信号線により検証対象論理回路の出力端子の
出力値に影響を与えない回路部分をネットリストＤ3 か
ら抽出し、これをデータＤ4 として出力する。
【００１３】第１の削除手段３は最初のテストパターン
Ｄ1 から第１の抽出手段１にて抽出された論理値が変化
しない信号データＤ2 を削除し、削除後のテストパター
ンＤ5 をシミュレーション手段５へ与える。また第２の
削除手段４は抽出された論理値が固定された全信号線及
び出力端子の出力値に影響を与えない回路部分のデータ
Ｄ4 を前記ネットリストＤ3 中から削除し、削除後のネ
ットリストＤ6 を出力する。５は論理シミュレーション
手段であり、前記削除後のテストパターンＤ5 及び削除
後のネットリストＤ6 に基づき論理シミュレーションを
実行する。
Ｄ1 から第１の抽出手段１にて抽出された論理値が変化
しない信号データＤ2 を削除し、削除後のテストパター
ンＤ5 をシミュレーション手段５へ与える。また第２の
削除手段４は抽出された論理値が固定された全信号線及
び出力端子の出力値に影響を与えない回路部分のデータ
Ｄ4 を前記ネットリストＤ3 中から削除し、削除後のネ
ットリストＤ6 を出力する。５は論理シミュレーション
手段であり、前記削除後のテストパターンＤ5 及び削除
後のネットリストＤ6 に基づき論理シミュレーションを
実行する。
【００１４】次に実施例１の動作を、図２に示すフロー
チャートに従って説明する。まず検証対象論理回路の素
子とその素子間の配線情報であるネットリストＤ3と、
検証対象論理回路へ与えるテストパターンＤ1 とを設定
する（ステップS1）。テストパターンＤ1 に基づいて全
シミュレーション時間にわたって信号のレベル値が論理
値でみて「０」，「１」又は「Ｘ（不定）」のいずれか
で変化しない信号（入力信号）を検索する（ステップS
2) 。
チャートに従って説明する。まず検証対象論理回路の素
子とその素子間の配線情報であるネットリストＤ3と、
検証対象論理回路へ与えるテストパターンＤ1 とを設定
する（ステップS1）。テストパターンＤ1 に基づいて全
シミュレーション時間にわたって信号のレベル値が論理
値でみて「０」，「１」又は「Ｘ（不定）」のいずれか
で変化しない信号（入力信号）を検索する（ステップS
2) 。
【００１５】例えば図３に示す如き論理回路を図４に示
す如きテストパターンを用いて論理検証を行う場合につ
いて具体的に説明する。図３において11,13 はAND ゲー
ト、12,16 はORゲート、14,15 は反転素子、Ｌ1 〜Ｌ10
はいずれも信号線を示している。図４においてＡ，Ｂ，
Ｃ，Ｄはいずれも図３に示す信号線Ｌ1 ，Ｌ2 ，Ｌ3，
Ｌ7 に対する各入力信号である。図４(a) に示す入力信
号Ａは全シミュレーション時間にわたって「Ｌ」レベ
ル，即ち論理値「０」のままで変化しないから、入力信
号Ａを全シミュレーション時間にわたって変化しない信
号と決定する。
す如きテストパターンを用いて論理検証を行う場合につ
いて具体的に説明する。図３において11,13 はAND ゲー
ト、12,16 はORゲート、14,15 は反転素子、Ｌ1 〜Ｌ10
はいずれも信号線を示している。図４においてＡ，Ｂ，
Ｃ，Ｄはいずれも図３に示す信号線Ｌ1 ，Ｌ2 ，Ｌ3，
Ｌ7 に対する各入力信号である。図４(a) に示す入力信
号Ａは全シミュレーション時間にわたって「Ｌ」レベ
ル，即ち論理値「０」のままで変化しないから、入力信
号Ａを全シミュレーション時間にわたって変化しない信
号と決定する。
【００１６】次にステップS2で決定した信号Ａの影響に
より信号のレベル値が論理値で「０」，「１」又は「Ｘ
（不定）」のいずれかに固定される信号線を決定する
（ステップS3) 。例えば図３の論理回路においては入力
信号Ａの影響により信号線Ｌ1 ，Ｌ5 ，Ｌ6 が論理値
「０」に固定されるから、信号線Ｌ1 ，Ｌ5 ，Ｌ6 を論
理値が固定された信号線と決定する。
より信号のレベル値が論理値で「０」，「１」又は「Ｘ
（不定）」のいずれかに固定される信号線を決定する
（ステップS3) 。例えば図３の論理回路においては入力
信号Ａの影響により信号線Ｌ1 ，Ｌ5 ，Ｌ6 が論理値
「０」に固定されるから、信号線Ｌ1 ，Ｌ5 ，Ｌ6 を論
理値が固定された信号線と決定する。
【００１７】決定した信号線及びこれら信号線の論理値
によりゲーティングされる素子にのみ収斂するすべての
素子（回路部分）と信号線とをネットリストから削除す
ると共に、ステップS1で設定したテストパターンからス
テップS2で検索した入力信号を削除する（ステップS4)
。例えば図３に示す論理回路の場合、ステップS3で既
に信号線Ｌ1 ，Ｌ5 ，Ｌ6 が論理値「０」に固定と決定
されているが、その「０」固定のためにAND ゲート11,1
3 が信号線Ｌ4 ，Ｌ8 の値を夫々ゲーティングすること
になる。
によりゲーティングされる素子にのみ収斂するすべての
素子（回路部分）と信号線とをネットリストから削除す
ると共に、ステップS1で設定したテストパターンからス
テップS2で検索した入力信号を削除する（ステップS4)
。例えば図３に示す論理回路の場合、ステップS3で既
に信号線Ｌ1 ，Ｌ5 ，Ｌ6 が論理値「０」に固定と決定
されているが、その「０」固定のためにAND ゲート11,1
3 が信号線Ｌ4 ，Ｌ8 の値を夫々ゲーティングすること
になる。
【００１８】そこで信号線Ｌ4 からネットリストを遡る
ことにより信号線Ｌ4 にのみ収斂するORゲート12と信号
線Ｌ2 ，Ｌ3 ，Ｌ4 をネットリストＤ3 から削除する。
更にゲーティングするAND ゲート11とゲーティングされ
る信号線Ｌ4 もネットリストＤ3 から削除する。同様に
信号線Ｌ8 からネットリストＤ3 を遡ることにより信号
線Ｌ8 にのみ収斂する素子及び信号線もネットリストＤ
3 から削除することになるが、信号線Ｌ8 は反転素子15
への入力にもなっているためネットリストＤ3を遡るこ
とを終了し、ゲーティングするAND ゲート13をネットリ
ストＤ3 から削除し、その出力信号線Ｌ6 に全シミュレ
ーション時間にわたって論理値「０」を出力する素子を
接続し、ステップS4の処理を終了する。ステップS4の処
理を終了した時点で図３に示す論理回路のネットリスト
Ｄ3 は、等価的に図５に示す論理回路のネットリストと
同じになる。
ことにより信号線Ｌ4 にのみ収斂するORゲート12と信号
線Ｌ2 ，Ｌ3 ，Ｌ4 をネットリストＤ3 から削除する。
更にゲーティングするAND ゲート11とゲーティングされ
る信号線Ｌ4 もネットリストＤ3 から削除する。同様に
信号線Ｌ8 からネットリストＤ3 を遡ることにより信号
線Ｌ8 にのみ収斂する素子及び信号線もネットリストＤ
3 から削除することになるが、信号線Ｌ8 は反転素子15
への入力にもなっているためネットリストＤ3を遡るこ
とを終了し、ゲーティングするAND ゲート13をネットリ
ストＤ3 から削除し、その出力信号線Ｌ6 に全シミュレ
ーション時間にわたって論理値「０」を出力する素子を
接続し、ステップS4の処理を終了する。ステップS4の処
理を終了した時点で図３に示す論理回路のネットリスト
Ｄ3 は、等価的に図５に示す論理回路のネットリストと
同じになる。
【００１９】ステップS4で削除されたテストパターンと
同じく削除されたネットリストＤ6とに基づいて論理シ
ミュレーションを開始する。この論理シミュレーション
の過程で各信号線Ｌ6 ，Ｌ7 ，Ｌ8 ，Ｌ9 ，Ｌ10にイベ
ントがあるか否かを判断し (ステップS5) 、いずれの信
号線にもイベントが存在しないとき論理シミュレーショ
ンを終了する。またイベントがある場合には従来と同様
にイベントのある信号に接続される素子を取出し (ステ
ップS6) 、その素子の出力値を計算し (ステップS7) 、
出力値の変化があるか否かを判断し (ステップS8) 、無
い場合はステップS5に戻り、また有る場合はイベントを
発生させ、信号線上に変化の情報を付加する (ステップ
S9) 。このような実施例１にあってはテストパターン、
特にネットリストＤ3 が大幅に簡略化され、論理シミュ
レーションに要する時間ガ短縮されることとなる。
同じく削除されたネットリストＤ6とに基づいて論理シ
ミュレーションを開始する。この論理シミュレーション
の過程で各信号線Ｌ6 ，Ｌ7 ，Ｌ8 ，Ｌ9 ，Ｌ10にイベ
ントがあるか否かを判断し (ステップS5) 、いずれの信
号線にもイベントが存在しないとき論理シミュレーショ
ンを終了する。またイベントがある場合には従来と同様
にイベントのある信号に接続される素子を取出し (ステ
ップS6) 、その素子の出力値を計算し (ステップS7) 、
出力値の変化があるか否かを判断し (ステップS8) 、無
い場合はステップS5に戻り、また有る場合はイベントを
発生させ、信号線上に変化の情報を付加する (ステップ
S9) 。このような実施例１にあってはテストパターン、
特にネットリストＤ3 が大幅に簡略化され、論理シミュ
レーションに要する時間ガ短縮されることとなる。
【００２０】(実施例２）図６は本発明の実施例２を構
成する各手段及びその入，出力データを示すブロック図
である。この実施例２にあっては第１の抽出手段１にて
テストパターンＤ1 から全シミュレーション時間に対す
る所定割合の時間の間、論理値が変化しない入力信号デ
ータＤ2 を抽出し、この抽出した入力信号データＤ2 を
動作モード決定手段６及び第１の削除手段３へ与える。
動作モード決定手段６は入力信号の値が固定されている
間を、１つの動作モードとして識別し、例えば動作モー
ド「１」として特定し、動作モードデータＤ7 として第
２の抽出手段２へ与える。
成する各手段及びその入，出力データを示すブロック図
である。この実施例２にあっては第１の抽出手段１にて
テストパターンＤ1 から全シミュレーション時間に対す
る所定割合の時間の間、論理値が変化しない入力信号デ
ータＤ2 を抽出し、この抽出した入力信号データＤ2 を
動作モード決定手段６及び第１の削除手段３へ与える。
動作モード決定手段６は入力信号の値が固定されている
間を、１つの動作モードとして識別し、例えば動作モー
ド「１」として特定し、動作モードデータＤ7 として第
２の抽出手段２へ与える。
【００２１】第２の抽出手段２は動作モードデータ
Ｄ7 ，ネットリストＤ3 に基づき動作モード毎に、その
各動作モード夫々の全時間にわたって論理値が固定され
る全信号線と、論理値が固定される前記各信号線により
検証対象論理回路の出力端子の出力値に影響を与えない
回路部分とを抽出し、これをデータＤ4 として第２の削
除手段４へ与える。第１の削除手段３は最初のテストパ
ターンＤ1 から第１の抽出手段１にて抽出された、値が
変化しない信号データＤ2 を削除し、削除後のテストパ
ターンＤ5をシミュレーション手段５へ与える。第２の
削除手段４は抽出した全信号線及び回路部分のデータＤ
4 をネットリストＤ3 から削除し、削除後のネットリス
トＤ6 をシミュレーション手段５に与える。シミュレー
ション手段５は前記削除後のネットリストＤ6 及びテス
トパターンＤ5 に基づき論理検証を行う。
Ｄ7 ，ネットリストＤ3 に基づき動作モード毎に、その
各動作モード夫々の全時間にわたって論理値が固定され
る全信号線と、論理値が固定される前記各信号線により
検証対象論理回路の出力端子の出力値に影響を与えない
回路部分とを抽出し、これをデータＤ4 として第２の削
除手段４へ与える。第１の削除手段３は最初のテストパ
ターンＤ1 から第１の抽出手段１にて抽出された、値が
変化しない信号データＤ2 を削除し、削除後のテストパ
ターンＤ5をシミュレーション手段５へ与える。第２の
削除手段４は抽出した全信号線及び回路部分のデータＤ
4 をネットリストＤ3 から削除し、削除後のネットリス
トＤ6 をシミュレーション手段５に与える。シミュレー
ション手段５は前記削除後のネットリストＤ6 及びテス
トパターンＤ5 に基づき論理検証を行う。
【００２２】次に実施例２の動作を図７に示すフローチ
ャートに従って説明する。実施例１では、テストパター
ンから、全シミュレーション時間にわたって、論理値が
「０」，「１」又は「Ｘ（不定）」に固定、即ち変化し
ない信号を抽出したが、実施例２では全シミュレーショ
ン時間に対する所定の割合の時間だけ、論理値が
「０」，「１」又は「Ｘ（不定）」に固定される場合に
おいて、その固定されている間を１つの動作モードとし
て特定する（ステップS11)。
ャートに従って説明する。実施例１では、テストパター
ンから、全シミュレーション時間にわたって、論理値が
「０」，「１」又は「Ｘ（不定）」に固定、即ち変化し
ない信号を抽出したが、実施例２では全シミュレーショ
ン時間に対する所定の割合の時間だけ、論理値が
「０」，「１」又は「Ｘ（不定）」に固定される場合に
おいて、その固定されている間を１つの動作モードとし
て特定する（ステップS11)。
【００２３】例えば図８に示すテストパターンを用いて
図３に示す論理回路を論理検証する場合についてみる
と、図８に示すテストパターンでは、全シミュレーショ
ン時間の例えば50％以上にわたって信号の値が変らない
信号を検索する。検索した信号をテストパターンＤ1 か
ら削除し、削除後のテストパターンＤ5 としてこれをシ
ミュレーション手段５へ与える。図８(a) に示す入力信
号Ａは全シミュレーション時間に対する50％以上の間に
わたって値が論理値「０」に固定されるため、この入力
信号Ａが論理値「０」である期間を動作モード「１」と
決定する。なお全シミュレーション時間に対する割合は
特に50％以上に限るものではなく、これ以下であっても
よい。
図３に示す論理回路を論理検証する場合についてみる
と、図８に示すテストパターンでは、全シミュレーショ
ン時間の例えば50％以上にわたって信号の値が変らない
信号を検索する。検索した信号をテストパターンＤ1 か
ら削除し、削除後のテストパターンＤ5 としてこれをシ
ミュレーション手段５へ与える。図８(a) に示す入力信
号Ａは全シミュレーション時間に対する50％以上の間に
わたって値が論理値「０」に固定されるため、この入力
信号Ａが論理値「０」である期間を動作モード「１」と
決定する。なお全シミュレーション時間に対する割合は
特に50％以上に限るものではなく、これ以下であっても
よい。
【００２４】このようにして動作モードを決定した後
は、その動作モード毎に、換言すればテストパターンを
時間で分割して各分割した区分毎に実施例１と同様にそ
の動作モード「１」において論理値が変化しない入力信
号を決定し（ステップS12)、更に決定した信号の影響に
より、値が論理値「０」，「１」又は「Ｘ（不定）」に
固定される信号線を決定し（ステップS13)、その信号線
の論理値によりゲーティングされる素子にのみ収斂する
全ての素子、即ち回路部分と、前記信号線とをネットリ
ストから削除し (ステップS14)、削除した後のネットリ
ストＤ6 をシミュレーション手段５へ与える。その後は
実施例１と同様に論理シミュレーション手段５にて論理
検証を実行する。
は、その動作モード毎に、換言すればテストパターンを
時間で分割して各分割した区分毎に実施例１と同様にそ
の動作モード「１」において論理値が変化しない入力信
号を決定し（ステップS12)、更に決定した信号の影響に
より、値が論理値「０」，「１」又は「Ｘ（不定）」に
固定される信号線を決定し（ステップS13)、その信号線
の論理値によりゲーティングされる素子にのみ収斂する
全ての素子、即ち回路部分と、前記信号線とをネットリ
ストから削除し (ステップS14)、削除した後のネットリ
ストＤ6 をシミュレーション手段５へ与える。その後は
実施例１と同様に論理シミュレーション手段５にて論理
検証を実行する。
【００２５】
【発明の効果】以上のように第１の発明によれば、テス
トパターンから全シミュレーション時間にわたって論理
値が変化しない信号を抽出し、抽出したこの信号の影響
により論理値が固定される信号線を決定し、その信号線
の論理値によりゲーティングされる回路部分と前記信号
線とをネットリストから削除することにより、大規模論
理回路を実質的に縮減した状態とすることで高速にシミ
ュレーションすることができる。
トパターンから全シミュレーション時間にわたって論理
値が変化しない信号を抽出し、抽出したこの信号の影響
により論理値が固定される信号線を決定し、その信号線
の論理値によりゲーティングされる回路部分と前記信号
線とをネットリストから削除することにより、大規模論
理回路を実質的に縮減した状態とすることで高速にシミ
ュレーションすることができる。
【００２６】第２の発明によれば、テストパターンから
全シミュレーション時間に対して、所定の割合の時間、
論理値が変化しない信号を抽出し、抽出したこの信号の
論理値が固定されている間を１つの動作モードとして決
定し、夫々の動作モード毎に論理値が固定となる信号の
影響により、論理値が固定される信号線を決定し、その
信号線の論理値によりゲーティングされる回路部分と前
記信号線とをネットリストから削除することにより、大
規模論理回路を実質的に縮減した状態とすることで高速
にシミュレーションすることができる。
全シミュレーション時間に対して、所定の割合の時間、
論理値が変化しない信号を抽出し、抽出したこの信号の
論理値が固定されている間を１つの動作モードとして決
定し、夫々の動作モード毎に論理値が固定となる信号の
影響により、論理値が固定される信号線を決定し、その
信号線の論理値によりゲーティングされる回路部分と前
記信号線とをネットリストから削除することにより、大
規模論理回路を実質的に縮減した状態とすることで高速
にシミュレーションすることができる。
【図１】本発明の実施例１の構成を示すブロック図であ
る。
る。
【図２】本発明の実施例１の処理手順を示すフローチャ
ートである。
ートである。
【図３】論理検証対象である論理回路の回路図である。
【図４】論理検証対象である論理回路に入力するテスト
パターンを示すタイミングチャートである。
パターンを示すタイミングチャートである。
【図５】図３に示す検証対象論理回路に実施例１による
処理を施した後の等価回路の回路図である。
処理を施した後の等価回路の回路図である。
【図６】本発明の実施例２の構成を示すブロック図であ
る。
る。
【図７】本発明の実施例２の処理手順を示すフローチャ
ートである。
ートである。
【図８】図３に示す検証対象論理回路に入力する他のテ
ストパターンを示すタイミングチャートである。
ストパターンを示すタイミングチャートである。
【図９】従来の論理シミュレータによる論理検証の処理
手順を示すフローチャートである。
手順を示すフローチャートである。
１ 第１の抽出手段 ２ 第２の抽出手段 ３ 第１の削除手段 ４ 第２の削除手段 ５ シミュレーション手段 ６ 動作モード決定手段
Claims (2)
- 【請求項１】 検証対象論理回路のネットリスト及びテ
ストパターンに基づき論理シミュレーションを行う論理
シミュレータにおいて、前記テストパターンから、全シ
ミュレーション時間にわたって論理値が変化しない信号
を抽出して出力する第１の抽出手段と、前記抽出された
信号に基づき全シミュレーション時間にわたって論理値
が固定される全信号線と、前記検証対象論理回路の出力
端子の出力レベルに影響を与えない回路部分とを前記ネ
ットリストから抽出する第２の抽出手段と、抽出した信
号線及び回路部分のデータを前記ネットリストから削除
する手段とを備えたことを特徴とする論理シミュレー
タ。 - 【請求項２】 検証対象論理回路のネットリスト及びテ
ストパターンに基づき論理シミュレーションを行う論理
シミュレータにおいて、前記テストパターンから、全シ
ミュレーション時間に対して所定の割合の時間にわたっ
て論理値が変化しない信号を抽出して出力する第１の抽
出手段と、前記抽出された信号の値が固定されている間
を１つの動作モードとして決定する手段と、前記動作モ
ード毎に夫々の動作モードの間、論理値が固定される全
信号線，前記論理値が固定される信号線により前記検証
対象論理回路の出力端子の出力値に影響を与えない回路
部分を前記ネットリストから抽出する第２の抽出手段
と、前記信号線及び回路部分のデータを前記ネットリス
トから削除する手段とを備えたことを特徴とする論理シ
ミュレータ。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP02661493A JP3265384B2 (ja) | 1993-02-16 | 1993-02-16 | 論理シミュレーション方法及びこれに用いる論理シミュレーション装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP02661493A JP3265384B2 (ja) | 1993-02-16 | 1993-02-16 | 論理シミュレーション方法及びこれに用いる論理シミュレーション装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH06243190A true JPH06243190A (ja) | 1994-09-02 |
| JP3265384B2 JP3265384B2 (ja) | 2002-03-11 |
Family
ID=12198370
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP02661493A Expired - Fee Related JP3265384B2 (ja) | 1993-02-16 | 1993-02-16 | 論理シミュレーション方法及びこれに用いる論理シミュレーション装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3265384B2 (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6965853B2 (en) | 2000-07-27 | 2005-11-15 | Renesas Technology Corp. | Back annotation apparatus for carrying out a simulation based on the extraction result in regard to parasitic elements |
| US6978429B2 (en) | 2002-12-02 | 2005-12-20 | Renesas Technology Corp. | Logic simulation apparatus for performing logic simulation in high speed |
-
1993
- 1993-02-16 JP JP02661493A patent/JP3265384B2/ja not_active Expired - Fee Related
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6965853B2 (en) | 2000-07-27 | 2005-11-15 | Renesas Technology Corp. | Back annotation apparatus for carrying out a simulation based on the extraction result in regard to parasitic elements |
| US6978429B2 (en) | 2002-12-02 | 2005-12-20 | Renesas Technology Corp. | Logic simulation apparatus for performing logic simulation in high speed |
Also Published As
| Publication number | Publication date |
|---|---|
| JP3265384B2 (ja) | 2002-03-11 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6557150B1 (en) | Method of extracting timing characteristics of transistor circuits, storage medium storing timing characteristic library, LSI designing method, and gate extraction method | |
| US6964027B2 (en) | System and method for optimizing exceptions | |
| TW202219810A (zh) | 積體電路模擬及設計方法與系統 | |
| JPH10283394A (ja) | 故障シミュレーション方法 | |
| US6141631A (en) | Pulse rejection circuit model program and technique in VHDL | |
| JP2000277617A (ja) | Ａｓｉｃ設計方法およびａｓｉｃ設計装置 | |
| US6871329B2 (en) | Design system of integrated circuit and its design method and program | |
| Chen et al. | A new framework for static timing analysis, incremental timing refinement, and timing simulation | |
| US20030188272A1 (en) | Synchronous assert module for hardware description language library | |
| US20220327269A1 (en) | Computing device and method for detecting clock domain crossing violation in design of memory device | |
| JPH06243190A (ja) | 論理シミュレータ | |
| US7051301B2 (en) | System and method for building a test case including a summary of instructions | |
| US6041168A (en) | High-speed delay verification apparatus and method therefor | |
| JP4907788B2 (ja) | 故障伝搬経路推定システム | |
| JP2752923B2 (ja) | 論理シミュレーション装置および論理回路情報作成方法 | |
| JP3080037B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
| JP2872216B1 (ja) | マクロの設計方法 | |
| JP2853649B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
| JP2809631B2 (ja) | 回路ネット抽出方法 | |
| JP3191183B2 (ja) | スキャンテスト制御ゲート挿入方式 | |
| JP2996153B2 (ja) | Ａｓｉｃ検証方法 | |
| JP3652220B2 (ja) | 論理回路検証装置及び論理回路検証方法及び論理回路検証プログラムを格納した記録媒体 | |
| JP2797955B2 (ja) | 期待値照合装置および方法 | |
| JPH07239868A (ja) | シミュレーション装置 | |
| JP2990813B2 (ja) | 故障シミュレーション方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
| R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080111 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090111 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090111 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100111 Year of fee payment: 8 |
|
| LAPS | Cancellation because of no payment of annual fees |