JPH0512366A - 論理シミユレーシヨンにおける競合動作チエツク方式 - Google Patents

Abstract

(57)【要約】 【目的】 競合動作試験において、実際に競合動作が起
こっているか、あるいは、どのくらいの頻度で起こって
いるかの評価を実行可能とする論理シミュレ−ションに
おける競合動作チェック方式を提供すること。 【構成】 信号線群とその値により表わすことのできる
論理回路中の機能を任意個入力可能な機能入力手段を設
けて、該機能入力手段で入力された各機能中の２つの機
能が競合動作しているかどうかを解析することを特徴と
する論理シミュレ−ションにおける競合動作チェック方
式。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理シミュレーション
における競合動作チェック方式に関する。

【０００２】

【従来の技術】従来、論理シミュレーションでのテスト
の充分性を評価する方法としては、例えば、特開昭61-1
27042号 公報に開示されている如き、論理シミュレーシ
ョンの結果から信号線値の変化情報を得て、論理回路の
各信号線に対するその動作回数から行う方法がある。ま
た、別の例としては、特開昭63-30941号公報や特開平1-
140347号公報に開示されている如き、信号線群を入力す
る手段を持ち、該信号線群値の状態遷移により機能レベ
ルの評価をする方法がある。

【０００３】

【発明が解決しようとする課題】論理回路の検証におい
ては、各機能の競合動作を試験することが重要であり、
通常は、この試験は、各機能の競合動作を起こさせるテ
ストプログラムによる試験が行われている。しかし、競
合動作を起こさせるテストプログラムは、乱数的に競合
動作を起こさせるものが多く、実際に競合動作が起こっ
ているか、あるいは、競合動作がどのくらいの頻度で起
こっているか等の評価は困難である。本発明は上記事情
に鑑みてなされたもので、その目的とするところは、従
来の技術における上述の如き問題を解消し、論理シミュ
レーションにおける競合動作試験において上述の評価を
実行可能とする論理シミュレーションにおける競合動作
チェック方式を提供することにある。

【０００４】

【課題を解決するための手段】本発明の上記目的は、論
理シミュレーションの結果として得られる各サイクル毎
の信号線値を基に、論理シミュレーションにおける競合
動作のチェックを行う論理シミュレーションにおける競
合動作チェック方式において、信号線群とその値により
表わすことのできる論理回路中の機能を任意個入力可能
な機能入力手段を設けて、該機能入力手段で入力された
各機能中の２つの機能が競合動作しているかどうかを解
析することを特徴とした論理シミュレーションにおける
競合動作チェック方式によって達成される。

【０００５】

【作用】機能の競合は、同一サイクル、あるいは、ある
サイクル幅の間に複数の機能が発生した場合としてとら
えることができる。第一の、機能の競合が、同一サイク
ルの間にそれらの機能が発生した場合としてとらえるこ
とができる場合は、信号線群とその値により表わすこと
のできる論理回路中の任意個の機能を、機能入力手段に
より記憶装置に入力し、論理シミュレーションの結果と
して得られる各サイクルごとの信号値を基に、上述の記
憶装置内の２つの機能が競合動作をしているかどうかを
解析することにより、機能の競合をとらえることができ
る。また、第二の、機能の競合が、あるサイクル幅の間
にそれらの機能が発生した場合としてとらえることがで
きる場合は、上述の方式に加えて、２つの機能が競合し
たとみなされる機能の発生のサイクル幅(競合条件)を設
定し、論理シミュレーションの結果として得られる各サ
イクルごとの信号値と上述の競合条件とを基に、上記記
憶装置内の２つの機能が競合動作をしているかどうかを
解析することにより、機能の競合をとらえることができ
る。すなわち、本発明に係る論理シミュレーションにお
ける競合動作チェック方式においては、従来は、１信号
または１機能に着目して評価をしていたのに対し、２つ
の機能間の競合動作に着目して評価を行うものである。
前述の、機能入力手段により記憶装置に入力された情報
は、機能名とそれを表わす信号線群の値である。この情
報に基づいて、シミュレーション結果から個々の機能が
現サイクルで発生しているかどうかを知り、競合動作の
解析を行うことができる。

【０００６】

【実施例】以下、本発明の実施例を図面に基づいて詳細
に説明する。図２は、本発明の一実施例を示す構成図で
あり、点線で囲んだ部分が本実施例の特徴部分である。
機能項目入力処理１は、信号線群とその値により表わさ
れた評価対象機能９を機能項目ファイル５に格納する。
競合条件入力処理２は、評価対象機能の競合条件１０を
競合条件ファイル６に格納する。競合動作解析処理３
は、シミュレーション結果ファイル１４をトレースし、
機能項目ファイル５内の機能が競合条件ファイル６内の
条件を満たした競合動作をしているかどうかを解析し、
結果を競合動作情報ファイル７に記録する。競合動作情
報表示処理４は、競合動作情報ファイル７の内容を編集
して端末装置８に出力する。なお、論理シミュレーショ
ン１１は、ゲート論理ファイル１２とシミュレーション
データファイル１３からシミュレーション結果ファイル
１４を出力する処理である。図３は、本実施例の手順を
示す図である。本実施例においては、まず、機能項目入
力処理１を行い、次に、競合条件入力処理２，競合動作
解析処理３，競合動作情報表示処理４の順に、処理を行
う。図４は、上述の機能項目入力処理１を説明するため
の図である。評価対象機能９は、機能名３０１とその機
能が働くときの信号値３０２との対応から構成される。
機能項目入力処理１は、上述の評価対象機能９を、機能
項目ファイル５に入力する処理である。機能項目ファイ
ル５には、機能項目テーブル３０３があり、機能名３０
４と信号値３０５が表の形で格納されている。なお、信
号値３０５で「Ｄ」は、その信号値が０値でも１値でもよ
いこと(Ｄon't care)を表わす。図５は、競合条件入力
処理２を説明するための図である。競合条件１０は、評
価対象機能９のすべての２機能の組合せ４０１につい
て、その２機能が競合したとみなされるサイクル幅４０
２で表わされている。図５に示す例では、機能Ｆ１とＦ
２は、競合したとみなされるサイクル幅が「１」であるの
で、１サイクルの間に(すなわち、同一サイクルの間に)
２つの機能が発生すれば、競合したとみなされる。ま
た、機能Ｆ３とＦ４は、競合したとみなされるサイクル
幅が「２」であるので、２サイクルの間に２つの機能が発
生すれば、競合したとみなされる。競合条件入力処理２
は、この競合条件１０を、競合条件ファイル６に入力す
る処理である。競合条件ファイル６には、競合条件テー
ブル４０３があり、評価対象機能の２機能の組合せにつ
いて、その２機能が競合したとみなされるサイクル幅が
表の形で格納される。

【０００７】図６は、競合動作解析処理３を説明するた
めの図である。シミュレーション結果ファイル１４に
は、シミュレーション結果テーブル５０１があり、信号
名５０２のサイクル５０３に対する信号値が格納されて
いる。なお、競合動作解析処理３の詳細は、後に、図１
に基づいて説明する。図７は、競合動作情報表示処理４
を説明するための図である。競合動作情報表示処理４
は、後述する競合動作情報ファイル７の内容を編集し
て、端末装置８に出力する。出力結果としては、競合動
作回数一覧表６０１と未競合動作一覧表６０２が出力さ
れる。以下、上述の如く構成された本実施例の動作を、
上記各図および図１に示すフロー図に基づいて説明す
る。競合動作解析処理３は、まず、シミュレーション結
果ファイル１４を全サイクルトレースし(ステップ 70
1)、信号線ａ〜ｆの値に基づいて、機能項目ファイル５
内の機能Ｆ１〜Ｆ５が、各サイクルで発生しているかど
うかを解析する。ここでは、Ｆ１の機能が発生している
サイクルは、信号線ａが「１」であるときなので(機能項
目テーブル参照)、サイクル２,５,８,１１,１４,１７,
２０である。同様に、Ｆ２の機能が発生しているサイク
ルは、サイクル３,６,９,１１,１４,１６,１９、Ｆ３の
機能が発生しているサイクルは、サイクル３および１
４、Ｆ４の機能が発生しているサイクルは、サイクル
４,８,１０,１３,１８および２０、Ｆ５の機能が発生し
ているサイクルは、サイクル６,１１,１９である。以上
が、図７のステップ 702〜ステップ 709の処理である。
次に、競合動作解析処理３は、各機能が競合条件ファイ
ル６内の条件を満たした競合動作をしているかどうかを
解析する。Ｆ１とＦ２が競合したとみなされるサイクル
幅は、競合条件ファイル６によると「１」であるから、Ｆ
１とＦ２の競合発生回数は、サイクル１１と１４の２回
である。また、Ｆ３とＦ４が競合したとみなされるサイ
クル幅は競合条件ファイル６によると「２」であるから、
Ｆ３とＦ４の競合発生回数は、サイクル３〜４と同１３
〜１４の２回である。このようにして、評価対象機能の
すべての２機能の組合せについて、競合動作が発生して
いるかどうかを解析し、競合動作回数を競合動作情報フ
ァイル７に出力する。競合動作情報ファイル７には、競
合動作情報テーブル５０４があり、評価対象機能のすべ
ての２機能の組合せについて、その２機能が競合動作を
した回数が、表の形で格納される。以上が、図７のステ
ップ 710〜ステップ 715の処理である。

【０００８】上記実施例によれば、あるサイクル幅の間
にそれらの機能が発生した場合としてとらえることがで
きる機能の競合を、容易に定量的に検出することができ
るという効果が得られる。上記実施例は、機能の競合
が、あるサイクル幅の間に、その機能が発生した場合と
してとらえることができる場合(請求項３)に対応するも
のである。機能の競合が、同一サイクルの間に、その機
能が発生した場合としてとらえることができる場合(請
求項２)には、上述の実施例中の、競合条件入力処理
２，競合条件１０，競合条件ファイル６は不要であり、
競合動作解析処理３は、１サイクルの間(つまり、同一
サイクルの間)に２つの機能が発生すれば、競合したと
みなす処理を行えばよい。なお、上記実施例は本発明の
一例を示すものであり、本発明はこれに限定されるべき
ものではないことは言うまでもない。

【０００９】

【発明の効果】以上、詳細に説明した如く、本発明によ
れば、論理シミュレーションでの競合動作試験におい
て、実際に競合動作が起こっているか否か、また、どの
くらいの頻度で起こっているかの評価ができ、これによ
り、テストの不十分なケースが明確になり、そこを狙い
うちにしたテストプログラムを考えることができるとい
う顕著な効果を奏するものである。

【００１０】

【図面の簡単な説明】

【図１】本発明の一実施例を示す論理シミュレーション
の競合動作解析処理３の動作ＰＡＤ図である。

【図２】実施例の構成図である。

【図３】実施例の手順を示す図である。

【図４】機能項目入力処理１を説明するための図であ
る。

【図５】競合条件入力処理２を説明するための図であ
る。

【図６】競合動作解析処理３を説明するための図であ
る。

【図７】競合動作情報表示処理４を説明するための図で
ある。

【符号の説明】 １：機能項目入力処理、２：競合条件入力処理、３：競
合動作解析処理、４：競合動作情報表示処理、５：機能
項目ファイル、６：競合条件ファイル、７：競合動作情
報ファイル、８：端末装置、９：評価対象機能、１０：
競合条件、１１：論理シミュレーション、１２：ゲート
論理ファイル、１３：シミュレーションデータファイ
ル、１４：シミュレーション結果ファイル、３０１：機
能名、３０２：その機能が働く時の信号値、３０３：機
能項目テーブル、３０４：機能名、３０５：信号値、４
０１：２機能の組合せ、４０２：競合したとみなされる
サイクル幅、４０３：競合条件テーブル、５０１：シミ
ュレーション結果テーブル、５０２：信号名、５０３：
サイクル、５０４：競合動作情報テーブル、６０１：競
合動作回数一覧表、６０２：未競合動作一覧表。

Claims (3)

【特許請求の範囲】
1. 【請求項１】 論理シミュレーションの結果として得ら
   れる各サイクル毎の信号線値を基に、論理シミュレーシ
   ョンにおける競合動作のチェックを行う論理シミュレー
   ションにおける競合動作チェック方式において、信号線
   群とその値により表わすことのできる論理回路中の機能
   を任意個入力可能な機能入力手段を設けて、該機能入力
   手段で入力された各機能中の２つの機能が競合動作して
   いるかどうかを解析することを特徴とする論理シミュレ
   ーションにおける競合動作チェック方式。
2. 【請求項２】 前記競合動作の解析が、前記機能入力手
   段で入力された各機能中の２つの機能が同一サイクルで
   発生した時に、当該２つの機能が競合動作をしたと判断
   する方式であることを特徴とする請求項１記載の論理シ
   ミュレーションにおける競合動作チェック方式。
3. 【請求項３】 前記手段に加えて、２つの機能間の競合
   条件として、２つの機能が競合したとみなされる機能の
   発生のサイクル幅を入力可能な競合条件入力手段を設け
   て、前記競合動作の解析を、前記機能入力手段で入力さ
   れた各機能中の２つの機能が、前記競合条件入力手段に
   より入力されたサイクル幅より短い期間に発生したとき
   に、当該２つの機能が競合動作をしたと判断する方式と
   したことを特徴とする請求項１記載の論理シミュレーシ
   ョンにおける競合動作チェック方式。