JPH1145292A - 期待値検証シミュレーション装置および期待値検証シミュレーション方法 - Google Patents

Abstract

(57)【要約】 【課題】 期待値の検証における自由度を高め、かつ検
証時間を短縮できるようにすることを課題とする。 【解決手段】 期待値入力部４により１又は複数の信号
の動作手順を示す期待値データを入力し、シミュレーシ
ョン部２において回路図入力部１により入力された回路
図データに対し入力パターンを与えることでシミュレー
ションを実施し、イベント比較部５により、そのシミュ
レーションによる実動作でイベントが発生する度に、そ
のイベントと入力された期待値データに基づく信号の変
化とを比較して、比較結果出力部６によりその比較結果
を出力する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】この発明は、期待値検証シミ
ュレーション装置に関し、詳細には、ゲートレベル，レ
ジスタトランスファレベル（ＲＴＬ）等で記述された回
路図についてシミュレーションを行った際の期待値を検
証する期待値検証シミュレーション装置および期待値検
証シミュレーション方法に関する。

【０００２】

【従来の技術】図３１は例えば特開平７−４９８８７号
公報による従来の期待値検証シミュレーション装置を示
すシステム構成図であり、同図において、３１は指定回
路動作、３２は信号変化関係抽出部、３３は信号変化関
係データ、３４は期待値（入力テストパターン，シミュ
レーション結果データでもよい）、３５は対応関係抽出
比較部、３６は比較結果をそれぞれ示している。ここ
で、指定回路動作３１は、設計者により与えられる動作
検証項目に対応した信号間の依存関係を示している。信
号変化関係データ３３は、信号変化関係抽出部３２で抽
出された信号変化関係を表す内部表現データである。期
待値３４は、各信号の変化時刻と変化値とを有してい
る。

【０００３】つぎに、動作について説明する。図３１に
示した期待値検証シミュレーション装置では、信号変化
関係抽出部３２は、指定回路動作３１から信号変化関係
を抽出する。対応関係抽出比較部３５は、信号変化関係
抽出部３２で抽出した信号変化関係データ３３と入力さ
れた期待値３４とにより、信号変化関係データ３３で示
された入力信号の信号変化関係が期待値３４の中に存在
するか否か調べる。この対応関係抽出比較部３５は、上
述の調べにより存在を確認した場合には、信号変化関係
データ３３で示された入力信号，内部信号および出力信
号間の信号変化関係と期待値３４の信号変化関係とを比
較して、両者が一致するか否かを調べる。そして、対応
関係抽出比較部３５で比較された存在の有無および一致
／不一致の結果はこの比較結果３６として出力される。

【０００４】

【発明が解決しようとする課題】上記公報のように従来
例では、各信号の変化時刻と変化値とを持たせた期待値
３４を用いて検証を行うようにしたので、その期待値３
４を入力する際に、まだ回路構成について試行錯誤して
いる段階であっても、信号の変化を時間毎にこと細かく
入力する必要があった。それゆえ、期待値の作成および
検証における自由度が低下することはもちろん、その検
証に多大な時間を要してしまうという問題があった。

【０００５】この発明は、上述した従来例による問題を
解消するため、期待値の作成および検証における自由度
を高め、かつ検証時間を短縮することが可能な期待値検
証シミュレーション装置および期待値検証シミュレーシ
ョン方法を得ることを目的とする。

【０００６】

【課題を解決するための手段】上述した課題を解決し、
目的を達成するため、請求項１の発明に係る期待値検証
シミュレーション装置は、回路図のシミュレーションに
よる実動作について１又は複数の期待値を用いて検証す
る期待値検証シミュレーション装置において、１又は複
数の信号の動作手順を示す期待値データを入力する期待
値入力手段と、あらかじめ用意された回路図のシミュレ
ーションによる実動作で信号の変化が発生する度に、そ
の信号の変化と前記期待値入力手段により入力された期
待値データに基づく信号の変化とを比較する比較手段
と、前記比較手段の比較結果を出力する比較結果出力手
段と、を備えたことを特徴とする。

【０００７】この請求項１の発明によれば、１又は複数
の信号の動作手順を示す期待値データを入力し、あらか
じめ用意された回路図のシミュレーションによる実動作
で信号の変化が発生する度に、その信号の変化と入力さ
れた期待値データに基づく信号の変化とを比較して、そ
の比較結果を出力するようにしたので、信号の変化を基
準に検証すればよいことから、期待値を入力する際に信
号の変化を時間毎に細かく入力する必要はなく、これに
よって、期待値の検証における自由度を高め、かつ検証
時間を短縮することが可能である。

【０００８】また、請求項２の発明に係る期待値検証シ
ミュレーション装置は、請求項１の発明において、前記
比較手段は、前記シミュレーション時に与えられる特定
信号の変化に従って比較動作を実行することを特徴とす
る。

【０００９】この請求項２の発明によれば、シミュレー
ション時に与えられる特定信号の変化に従って比較動作
を実行するようにしたので、回路図上、特定信号の変化
をトリガとしても検証を実現することが可能である。

【００１０】また、請求項３の発明に係る期待値検証シ
ミュレーション装置は、請求項１又は２の発明におい
て、前記比較手段は、前記シミュレーションによる信号
の変化と前記期待値入力手段により入力された期待値デ
ータに基づく信号の変化とを比較する場合、少なくとも
信号の変化，動作周期および信号の変化の幅について比
較することを特徴とする。

【００１１】この請求項３の発明によれば、シミュレー
ションによる信号の変化と入力された期待値データに基
づく信号の変化とを比較する場合には、少なくとも信号
の変化，動作周期および信号の変化の幅について比較す
るようにしたので、シミュレーション結果と期待値とが
パターン化して扱われ、これによって、単純に比較対照
することが可能である。

【００１２】また、請求項４の発明に係る期待値検証シ
ミュレーション装置は、請求項１，２，３のいずれか一
つの発明において、前記期待値入力手段は、信号の動作
手順を波形グラフィック，テキスト，テストベンチ，プ
ログラムの記述，文章の記述，フローチャートの記述，
状態遷移図，真理値表などで表現した期待値データを入
力することを特徴とする。

【００１３】この請求項４の発明によれば、信号の動作
手順を波形グラフィック，テキスト，テストベンチ，プ
ログラムの記述，文章の記述，フローチャートの記述，
状態遷移図，真理値表などで表現した期待値データを入
力するようにしたので、期待値の表現形式にバリエーシ
ョンが得られ、これによって、ユーザが期待値を作成し
やすくなることから、期待値の作成について自由度を高
めることが可能である。

【００１４】また、請求項５の発明に係る期待値検証シ
ミュレーション装置は、請求項１又は４の発明におい
て、前記期待値入力手段は、自然音声をデジタル化して
前記期待値データを入力することを特徴とする。

【００１５】この請求項５の発明によれば、自然音声を
デジタル化して期待値データを入力するようにしたの
で、期待値の入力形式にバリエーションが得られ、これ
によって、期待値の入力形式について自由度を高めるこ
とが可能である。

【００１６】また、請求項６の発明に係る期待値検証シ
ミュレーション装置は、請求項１，２，３のいずれか一
つの発明おいて、前記比較結果出力手段は、前記比較結
果を波形グラフィック，テキスト，文章の記述，フロー
チャートの記述，状態遷移図，真理値表などで表現して
出力することを特徴とする。

【００１７】この請求項６の発明によれば、比較結果を
波形グラフィック，テキスト，文章の記述，フローチャ
ートの記述，状態遷移図，真理値表などで表現して出力
するようにしたので、比較結果の表現形式にバリエーシ
ョンが得られ、これによって、ユーザが希望する表現形
式で比較結果を得ることができることから、比較結果の
出力形式について自由度を高めることが可能である。

【００１８】また、請求項７の発明に係る期待値検証シ
ミュレーション装置は、請求項１，２，３又は６の発明
において、前記比較結果出力手段は、前記比較結果を自
然音声に変換して出力することを特徴とする。

【００１９】この請求項７の発明によれば、比較結果を
自然音声に変換して出力するようにしたので、期待値の
出力形式にバリエーションが得られ、これによって、比
較結果の出力形式について自由度を高めることが可能で
ある。

【００２０】また、請求項８の発明に係る期待値検証シ
ミュレーション装置は、請求項１，２，３のいずれか一
つの発明において、前記比較結果出力手段は、前記シミ
ュレーションによる実動作に並行させたタイミング、前
記シミュレーションによる実動作がすべて終了したとき
のタイミング、および前記シミュレーションによる実動
作が一定時間を経過したときのタイミングのいずれか一
つのタイミングを選択して前記比較結果を出力すること
を特徴とする。

【００２１】この請求項８の発明によれば、シミュレー
ションによる実動作に並行させたタイミング、シミュレ
ーションによる実動作がすべて終了したときのタイミン
グ、およびシミュレーションによる実動作が一定時間を
経過したときのタイミングのいずれか一つのタイミング
を選択して比較結果を出力するようにしたので、比較結
果の出力タイミングにバリエーションが得られ、これに
よって、比較結果の出力タイミングについて自由度を高
めることが可能である。

【００２２】また、請求項９の発明に係る期待値検証シ
ミュレーション装置は、請求項１，２，３のいずれか一
つの発明において、前記比較手段は、前記シミュレーシ
ョンによる信号の変化と前記期待値入力手段により入力
された期待値データに基づく信号の変化との間で時間軸
上の誤差部分を検出する誤差検出手段と、前記誤差検出
手段により誤差部分が検出された場合、前記検出された
誤差部分があらかじめ決められた許容時間幅内であれば
前記検出された誤差部分は一致部分であるという判定を
下し、一方、前記検出された誤差部分が前記あらかじめ
決められた許容時間幅外であれば前記検出された誤差部
分は不一致部分であるという判定を下す一致／不一致判
定手段とを有することを特徴とする。

【００２３】この請求項９の発明によれば、シミュレー
ションによる信号の変化と入力された期待値データに基
づく信号の変化との間で時間軸上の誤差部分が検出され
た場合、その誤差部分があらかじめ決められた許容時間
幅内であればその誤差部分は一致部分であるという判定
を下し、一方、その誤差部分があらかじめ決められた許
容時間幅外であればその誤差部分は不一致部分であると
いう判定を下すようにしたので、時間軸上でシミュレー
ションによる信号の変化に多少の誤差があってもその誤
差を無視することができ、これによって、時間的誤差の
面で検証精度が緩和されることから、回路図の実動作が
全体的に把握できればよい程度の検証を実現することが
可能である。

【００２４】また、請求項１０の発明に係る期待値検証
シミュレーション装置は、請求項１，２，３のいずれか
一つの発明において、前記比較手段は、前記シミュレー
ションによる信号の変化から信号幅を検出する信号幅検
出手段と、前記信号幅測定手段により測定された信号幅
があらかじめ決められたグリッジ幅内であれば前記測定
された信号幅の部分は一致部分であるという判定を下
し、一方、前記信号幅測定手段により測定された信号幅
が前記あらかじめ決められたグリッジ幅外であれば前記
測定された信号幅の部分は不一致部分であるという判定
を下す一致／不一致判定手段とを有することを特徴とす
る。

【００２５】この請求項１０の発明によれば、シミュレ
ーションによる信号の変化から信号幅を測定し、その測
定された信号幅があらかじめ決められたグリッジ幅内で
あればその信号幅の部分は一致部分であるという判定を
下し、一方、その測定された信号幅があらかじめ決めら
れたグリッジ幅外であればその信号幅の部分は不一致部
分であるという判定を下すようにしたので、シミュレー
ション結果において期待されないグリッジを無視するこ
とができ、これによって、グリッジ発生の面で検証精度
が緩和されることから、回路図の実動作が全体的に把握
できればよい程度の検証を実現することが可能である。

【００２６】また、請求項１１の発明に係る期待値検証
シミュレーション装置は、請求項１，２，３のいずれか
一つの発明において、前記比較手段は、前記シミュレー
ションによる信号の変化と前記期待値入力手段により入
力された期待値データに基づく信号の変化との間で一致
部分と不一致部分とに基づいて類似度を判定する類似度
判定手段と、前記類似度判定手段により判定された類似
度があらかじめ決められた類似度を満たしていた場合に
前記シミュレーションによる信号の変化は一致であると
いう判定を下し、一方、前記類似度判定手段により判定
された類似度があらかじめ決められた類似度を満たして
いなかった場合に前記シミュレーションによる信号の変
化は不一致であるという判定を下す一致／不一致判定手
段とを有することを特徴とする。

【００２７】この請求項１１の発明によれば、シミュレ
ーションによる信号の変化と入力された期待値データに
基づく信号の変化との間で一致部分と不一致部分とに基
づいて類似度を判定し、その類似度があらかじめ決めら
れた類似度を満たしていた場合にシミュレーションによ
る信号の変化は一致であるという判定を下し、一方、そ
の類似度があらかじめ決められた類似度を満たしていな
かった場合にシミュレーションによる信号の変化は不一
致であるという判定を下すようにしたので、シミュレー
ション結果における多少の不一致を無視することがで
き、これによって、類似度の面で検証精度が緩和される
ことから、回路図の実動作が全体的に把握できればよい
程度の検証を実現することが可能である。

【００２８】また、請求項１２の発明に係る期待値検証
シミュレーション装置は、請求項９，１０，１１のいず
れか一つの発明において、前記比較結果出力手段は、前
記比較結果について、前記シミュレーションによる信号
の変化と前記期待値入力手段により入力された期待値デ
ータに基づく信号の変化との間で前記一致部分と前記不
一致部分とを色分けして表示出力もしくは印刷出力する
ことを特徴とする。

【００２９】この請求項１２の発明によれば、比較結果
について、シミュレーションによる信号の変化と入力さ
れた期待値データに基づく信号の変化との間で一致部分
と不一致部分とを色分けして表示出力もしくは印刷出力
するようにしたので、一致部分と不一致部分との区別が
明瞭となり、これによって、比較結果である表示出力も
しくは印刷出力から一致部分と不一致部分とを視覚的に
容易に確認することが可能である。

【００３０】また、請求項１３の発明に係る期待値検証
シミュレーション装置は、請求項１，２，３のいずれか
一つの発明において、前記比較結果出力手段は、前記比
較結果を出力する時間軸上の範囲を任意に設定すること
を特徴とする。

【００３１】この請求項１３の発明によれば、比較結果
を出力する時間軸上の範囲を任意に設定するようにした
ので、比較結果の確認を必要とする箇所だけに絞ること
ができ、これによって、検証の確認時間を短縮すること
が可能である。

【００３２】また、請求項１４の発明に係る期待値検証
シミュレーション装置は、請求項１，２，３のいずれか
一つの発明において、前記比較手段は、データ信号を比
較する場合、前記データ信号に対してバインド指定し、
一定時間後に前記データ信号が確定してから実施するこ
とを特徴とする。

【００３３】この請求項１４の発明によれば、データ信
号を比較する場合、データ信号に対してバインド指定
し、一定時間後にデータ信号が確定してから比較動作を
実施するようにしたので、複数のデータ信号についても
信号の変化と同様に比較することが可能である。

【００３４】また、請求項１５の発明に係る期待値検証
シミュレーション方法は、回路図のシミュレーションに
よる実動作について１又は複数の期待値を用いて検証す
る期待値検証シミュレーション方法において、１又は複
数の信号の動作手順を示す期待値データを入力する第１
工程と、あらかじめ用意された回路図のシミュレーショ
ンによる実動作で信号の変化が発生する度に、その信号
の変化と前記第１工程により入力された期待値データに
基づく信号の変化とを比較する第２工程と、前記第２工
程で得られた比較結果を出力する第３工程と、を含んだ
ことを特徴とする。

【００３５】この請求項１５の発明によれば、１又は複
数の信号の動作手順を示す期待値データを入力し、あら
かじめ用意された回路図のシミュレーションによる実動
作で信号の変化が発生する度に、その信号の変化と入力
された期待値データに基づく信号の変化とを比較して、
その比較結果を出力する工程にしたので、信号の変化で
のみ検証すればよいことから、期待値を入力する際に信
号の変化を時間毎に細かく入力する必要はなく、これに
よって、期待値の検証における自由度を高め、かつ検証
時間を短縮することが可能である。

【００３６】

【発明の実施の形態】以下に添付図面を参照して、この
発明に係る期待値検証シミュレーション装置および期待
値検証シミュレーション方法の好適な実施の形態を詳細
に説明する。

【００３７】（実施の形態１）まず、原理について説明
する。図１はこの発明の実施の形態１による期待値検証
シミュレーション装置を機能的に示すブロック図であ
る。図１に示した期待値検証シミュレーション装置は、
回路図入力部１，シミュレーション部２，シミュレーシ
ョンパターン入力部３，期待値入力部４，イベント比較
部５，比較結果出力部６などにより構成される。

【００３８】回路図入力部１は、ＣＡＤ（Ｃｏｍｐｕｔ
ｅｒ Ａｉｄｅｄ Ｄｅｓｉｇｎ），ＨＤＬ（Ｈａｒｄ
ｗａｒｅ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇ
ｅ）などの回路作成ツールにより作成された回路図デー
タを入力する機能を有している。シミュレーション部２
は、回路図入力部１から供給される回路図データに基づ
く回路に対して信号の入力パターンを与えてシミュレー
ションする機能を有している。シミュレーションパター
ン入力部３は、シミュレーション部３に対してシミュレ
ーション時に信号の入力パターンを供給する機能を有し
ている。

【００３９】期待値入力部４は、信号の動作手順を期待
値データとしてデータ，イメージ，音声などで入力する
機能を有している。ここで、信号の動作手順を表現する
形態として、波形グラフィックデータ，波形情報をテキ
ストに変換したデータ（０／１，Ｌ（ロー）／Ｈ（ハ
イ）など），テストベンチ，プログラムなどの記述デー
タ，信号の状態変化を文章（自然言語）で記述したデー
タ，フローチャートなどの状態変化をグラフィックで記
述したデータ，状態遷移図データ，真理値表データなど
を適用することができる。

【００４０】イベント比較部５は、実動作で信号の変化
すなわちイベントが発生する毎にそのイベントと期待す
るイベントとを比較する機能を有している。すなわち、
このイベント比較部５は、シミュレーション部２による
シミュレーション結果と期待値入力部４による入力期待
値データとをイベントで比較する。比較結果出力部６
は、イベント比較部５による比較結果を所要の形態で表
示，印刷，音声などで出力する機能を有している。ここ
で、所要の形態として、テキストデータ，波形グラフィ
ックデータ，信号の状態変化を文章（自然言語）で記述
したデータ，フローチャートなどの状態変化をグラフィ
ックで記述したデータ，状態遷移図データ，真理値表デ
ータなどを挙げることができる。

【００４１】つぎに、図１の構成に基づく期待値検証原
理について説明する。図２は実施の形態１の原理説明で
使用する回路図の一例を示す図、図３は実施の形態１の
原理説明で使用する信号の入力パターンの一例を示す
図、そして図４は実施の形態１の原理説明で使用する期
待値パターンと実動作パターンとの比較結果の一例を示
す図である。

【００４２】図２には、ＡＮＤ回路ａとＯＲ回路ｂとを
組み合わせた回路が示されている。ＡＮＤ回路ａは、入
力信号ＡとＢとの論理積をとり、その結果をＯＲ回路ｂ
に出力するものであり、ＯＲ回路ｂはＡＮＤ回路ａの出
力と入力信号Ｃとの論理和をとり、その結果をＸとして
出力するものである。

【００４３】図３には、上述した入力信号Ａ，Ｂ，Ｃの
入力パターンが示されている。図３において、入力信号
Ｃに対して入力信号Ａは周期が２倍のパターンとなり、
入力信号Ａに対して入力信号Ｂは周期が２倍のパターン
となっている。ＡＮＤ回路ａは、入力信号Ａがハイ
“Ｈ”で、かつ入力信号Ｂが“Ｈ”のときに、信号
“Ｈ”をＯＲ回路ｂに出力する。一方、ＯＲ回路ｂは、
２入力のうちでいずれか一方がハイ“Ｈ”であれば、そ
の出力をハイ“Ｈ”とする。したがって、出力信号Ｘの
実動作パターンは、図４に示したように、入力信号Ａお
よびＢがハイ“Ｈ”、かつ入力信号Ｃがロー“Ｌ”の期
間、および、入力信号Ｃがハイ“Ｈ”の期間にハイ
“Ｈ”として出力される。それ以外の期間は、ロー
“Ｌ”となる。

【００４４】この期待値検証のシミュレーションでは、
シミュレーションおよびイベント比較を行う前に、回路
図入力部１により回路図が入力され、シミュレーション
パターン入力部３によりシミュレーションのパターンが
入力され、期待値入力部４により期待値データが入力さ
れる。ここで、期待値については、波形グラフィックデ
ータ，波形情報をテキストに変換したデータ（０／１，
Ｌ／Ｈなど），テストベンチ，プログラムなどの記述デ
ータ，信号の状態変化を文章（自然言語）で記述したデ
ータ，フローチャートなどの状態変化をグラフィックで
記述したデータ，状態遷移図データ，真理値表データな
どの表現を用いて入力することができる。その後、シミ
ュレーション部２において入力された回路図に従って入
力パターンを与えることでシミュレーションが開始され
る。このとき、イベント比較部５では、出力信号Ｘが変
化するところすなわち実動作のイベントが発生する毎
に、そのイベントと期待値入力部４により入力された期
待値Ｒのイベントとが比較される。

【００４５】図４（ａ）では、実動作パターンと期待値
のパターン同士でイベントがマッチングしていることが
わかり、この場合にはイベント発生の度に図２に示した
回路が期待通りに動作していることがわかる。比較結果
は、比較結果出力部６により出力される。比較結果につ
いては、テキストデータ，波形グラフィックデータ，状
態遷移図データ，真理値表データなどの表現で出力する
ことができる。なお、図４（ｂ）が示すように、期待値
を入力信号のイベント発生のタイミングも考慮して生成
し、入力信号のイベント発生毎に実動作と期待値との比
較を行ってもよい。図４（ｂ）では、入力信号Ａ〜Ｃの
イベント発生のタイミングを考慮した期待値を生成した
が、３つのうちのいずれか一つ、あるいは、二つだけを
考慮したものでもよい。

【００４６】つぎに、ハードウェア構成について説明す
る。図５は実施の形態１による期待値検証シミュレーシ
ョン装置のハードウェア構成例を示すブロック図であ
る。図５に示した期待値検証シミュレーション装置は、
ＣＰＵ１１をバスＢＳに接続させ、そのＣＰＵ１１にバ
スＢＳを介してＲＯＭ１２，ＲＡＭ１３，アプリケーシ
ョンプログラムメモリ（ＰＭ）１４，キーボード１５，
フロッピーディスクドライブ（ＦＤＤ）１６Ａ，ハード
ディスクドライブ（ＨＤＤ）１６Ｂ，スキャナ１７，イ
ンタフェース（Ｉ／Ｆ）２０を介してマイク１８および
スピーカ１９，ディスプレイ２１，プリンタ２２，通信
ユニット２３などのユニットを接続させた構成である。

【００４７】ＣＰＵ１１は、シミュレーション部２，イ
ベント比較部５等の機能を果たすため、ＲＯＭ１２およ
びアプリケーションＰＭ１４に格納された各種プログラ
ムやパラメータにより装置全体を制御するユニットであ
る。このＣＰＵ１１は、主としてアプリケーションＰＭ
１４に格納された期待値検証シミュレーションアプリケ
ーションプログラム（ＡＰ）１４１を実行することで、
図１に示した機能を実現する。さらに、このＣＰＵ１１
は、各メモリに対するデータのリード／ライト（ＲＯＭ
１２，ＲＡＭ１３，アプリケーションＰＭ１４，ＦＤＤ
１６Ａ，ＨＤＤ１６Ｂ）、操作入力（キーボード１
５）、回路図などのデータ読み取り（スキャナ１７）、
音声の入出力（マイク１８，スピーカ１９）、期待値検
証シミュレーション時の状態などの表示や印刷（ディス
プレイ２１，プリンタ２２）、データ通信（通信ユニッ
ト２３）などを制御する。

【００４８】ＲＯＭ１２は期待値検証シミュレーション
以外でＣＰＵ１１が動作するための制御プログラムおよ
びパラメータを格納している。ＲＡＭ１３は、ＣＰＵ１
１が各種プログラムに従って動作するためのワークエリ
アの他に、入力回路図メモリ１３１，入力パターンメモ
リ１３２，入力期待値メモリ１３３，実動作パターンメ
モリ１３４，比較結果メモリ１３５を有している。これ
ら入力回路図メモリ１３１，入力パターンメモリ１３
２，入力期待値メモリ１３３，実動作パターンメモリ１
３４，比較結果メモリ１３５は、上述した期待値検証シ
ミュレーションＡＰ１４１を実行する際に使用するメモ
リである。

【００４９】入力回路図メモリ１３１は、図１の回路図
入力部１により入力される回路図データを格納する。入
力パターンメモリ１３２は、図１のシミュレーションパ
ターン入力部３により入力されるパターンデータを格納
する。入力期待値メモリ１３３は、図１の期待値入力部
４により入力される期待値データを格納する。実動作パ
ターンメモリ１３４は、図１のシミュレーション部２に
よるシミュレーション実行時の実動作パターンをデータ
として格納する。比較結果メモリ１３５は、図１のイベ
ント比較部５による実動作パターン（シミュレーション
結果）と期待値パターン間のイベントの比較結果をデー
タとして格納する。

【００５０】アプリケーションＰＭ１４は、期待値検証
シミュレーションＡＰ１４１などのアプリケーションプ
ログラムを格納している。この期待値検証シミュレーシ
ョンＡＰ１４１は、後述する図６，図７，図１４および
図１６に示したフローチャートに従う処理を行うもので
ある。キーボード１５は、シミュレーションパターン入
力部３などに相当し、回路図入力，期待値入力，パター
ン入力，期待値検証シミュレーションなどを操作するた
めのキーを備えている。ＦＤＤ１６Ａは、回路図入力部
１，期待値入力部４，比較結果出力部６などに相当し、
フロッピーディスクを装着して、そのディスク上の期待
値検証シミュレーションに使用する回路図データ，期待
値データなどを読み出したり、そのディスク上に比較結
果を書き込むためのメモリである。ＨＤＤ１６Ｂは、回
路図入力部１，期待値入力部４，比較結果出力部６など
に相当し、内部にハードディスクを有しており、そのデ
ィスク上に期待値検証シミュレーションに使用する回路
図データ，期待値データなどを記憶するとともに比較結
果を記憶する大容量メモリである。

【００５１】スキャナ１７は、回路入力部１，期待値入
力部４などに相当し、回路図データや期待値データをイ
メージによって取り込む場合に使用するユニットであ
る。マイク１８は、期待値入力部４に相当し、音声をデ
ジタル信号に変換して入力するユニットである。このマ
イク１８による入力対象として期待値データがある。ス
ピーカ１９は、比較結果出力部６に相当し、デジタル信
号を音声に変換して出力するユニットである。このスピ
ーカ１９による出力対象として比較結果がある。Ｉ／Ｆ
２０は、マイク１８とスピーカ１９とをバスＢＳに接続
させ、ＣＰＵ１１との間のインタフェースを司る。

【００５２】ディスプレイ２１は、比較結果出力部６に
相当し、ＣＲＴ，ＬＣＤなどのカラー表示ユニットであ
る。その表示対象として、期待値検証シミュレーション
実行時の状態（動作周期，信号変化の幅など）や比較結
果がある。プリンタ２２は、比較結果出力部６に相当
し、インクジェット方式，レーザビーム方式などを用い
て印刷するカラー印刷ユニットである。その印刷対象と
して、期待値検証シミュレーション実行時の状態や比較
結果がある。通信ユニット２３は、回路図入力部１，期
待値入力部４，比較結果出力部６に相当し、図示せぬロ
ーカルエリアネットワーク（ＬＡＮ），回線網などの伝
送路に接続され、その伝送路を通じて期待値検証シミュ
レーションに関する回路図データ，期待値データ，比較
結果などを通信する。なお、この実施の形態１では、通
信ユニット２３による有線通信を例に挙げるが、さらに
無線ユニットを搭載すれば、有線通信と同様の情報につ
いての無線通信も可能になる。

【００５３】つぎに、動作について説明する。図６は実
施の形態１による動作を説明するフローチャート、図７
は実施の形態１による期待値入力動作を説明するフロー
チャート、図８は実施の形態１においてシミュレート対
象となる回路図の一例を示す図、図９は実施の形態１に
おいて図８に示した回路図に与える入力パターンの一例
を示す図、図１０〜図１３は実施の形態１において図８
に示した回路図に与える期待値データの一例を示す図、
図１４は実施の形態１による比較処理の動作を説明する
フローチャート、図１５は実施の形態１による特定範囲
の指定方法を説明する図、、図１６は実施の形態１によ
る結果報告動作を説明するフローチャート、図１７は実
施の形態１による比較結果の一例を示す図、図１８は実
施の形態１において特定信号の変化に応じて期待値検証
を行った場合の比較結果の一例を示す図、そして、図１
９は実施の形態１において期待値パターンの応用例を示
す図である。

【００５４】期待値検証シミュレーションでは、まず、
回路図および入力パターンが入力される（ステップＳ１
００）。例えば図８に示した回路図がＣＡＤやＨＤＬに
より作成されたデータの場合、その回路図データは、Ｆ
ＤＤ１６ＡやＨＤＤ１６Ｂからファイル形式で読み出さ
れ、あるいは、通信ユニット２３を介して受信され、入
力回路図メモリ１３１に格納される。ここで、図８に示
した回路図は、インバータ，ＡＮＤ回路およびＯＲ回路
を組み合わせた構成を示している。この回路図におい
て、入力信号は、Ｄ，Ｅ，Ｆとなり、実動作パターンを
形成する出力信号は、Ｘ１，Ｘ２となっている。また、
入力パターンデータについては、キーボード１５を操作
して与えられるものとする。その入力パターンデータ
は、例えば図９に示した入力パターンを形成するもので
あり、入力パターンメモリ１３２に格納される。なお、
この入力パターンデータは、回路図の入力信号の数に応
じてあらかじめデータとしてディスクなどに用意してお
けばよい。

【００５５】続いて、期待値パターンを形成するための
期待値データが入力される（図６のステップＳ２０
０）。期待値入力の詳細は図７のフローに示される。期
待値を入力する場合には、まず、期待値データの入力形
式がキーボード１５の操作で設定される。その設定がも
しファイル形式であった場合には（ステップＳ１０
１）、ファイルを格納している媒体をアクセスして期待
値データを読み込み（ステップＳ１０２）、所定の期待
値パターンデータに変換し（ステップＳ１０３）、入力
期待値メモリ１３３に格納する処理が実行される（ステ
ップＳ１０８）。

【００５６】したがって、その媒体がフロッピーディス
クであれば、ＦＤＤ１６Ａを駆動させてファイルを読み
出す操作が実施され、その媒体がハードディスクであれ
ば、ＨＤＤ１６Ｂを駆動させてファイルを読み出す操作
が実施され、あるいは、その媒体が伝送路を介して接続
される外部機器であれば、通信ユニット２３を通じてそ
の外部機器にアクセスしてファイルを受信する操作が実
施される。

【００５７】また、入力形式がイメージ形式であった場
合には（ステップＳ１０１）、スキャナ１７が駆動さ
れ、そのスキャナ１７に読み取り可能にセットされた期
待値のイメージが読み取られる（ステップＳ１０４）。
このようにして読み取られた期待値のイメージは、所定
の期待値パターンデータに変換され（ステップＳ１０
５）、入力期待値メモリ１３３に格納される（ステップ
Ｓ１０８）。

【００５８】また、入力形式が音声形式であった場合に
は（ステップＳ１０１）、マイク１８を通じて入力され
るアナログ音声信号がデジタル音声信号に変換され、Ｉ
／Ｆ２０を介してＣＰＵ１１に送られる（ステップＳ１
０６）。ＣＰＵ１１では、そのデジタル音声信号に基づ
いて所定の期待値パターンデータへの変換が行われ（ス
テップＳ１０７）、入力期待値メモリ１３３に格納され
る（ステップＳ１０８）。

【００５９】期待値パターンの表現には、波形グラフィ
ックデータ（図１０参照）、図１０の波形グラフィック
データをテキストに変換したテキストデータ（図１１参
照）、信号の状態変化を文章で記述した文章データ（図
１２参照）、フローチャートなどの状態変化を記述した
図形データ（図１３参照）、ＶＨＤＬ，Ｖｅｒｉｌｏｇ
−ＨＤＬなどの記述言語で記述したテストベンチ、Ｃ言
語などで記述したプログラムデータ、状態遷移図、真理
値表などがある。

【００６０】上述した波形グラフィックデータ，テキス
トデータ，文章データ，図形データ，テストベンチ，プ
ログラムデータ，状態遷移図，真理値表は、ファイル形
式、イメージ形式のいずれも形式であってもよい。音声
形式については、波形グラフィックデータ，テキストデ
ータ，文章データ，図形データ，状態遷移図，真理値表
と同様の内容を音声で読み上げることで、ファイル形式
やイメージ形式と同様の入力が可能となる。

【００６１】図１０〜図１３で示した期待値は共通の内
容である。すなわち、実動作パターンＸ１に対応する期
待値パターンＲ１は、時間軸方向に、Ｌ，Ｈ，Ｌ，Ｈ，
Ｌ，Ｈ，Ｌのように変化し、実動作パターンＸ２に対応
する期待値パターンＲ２は、時間軸方向に期待値パター
ンＲ１のイベントに対応して、Ｈ，Ｌ，Ｌ，Ｈ，Ｈ，
Ｈ，Ｈのように変化する。

【００６２】そして、実際に、図８に示した回路図に対
して図９に示した入力パターンが与えられるとシミュレ
ーションが開始される。その際、イベントの発生に合わ
せて実動作と期待値との比較処理すなわちパターンマッ
チングが実行される（図６のステップＳ３００）。この
パターンマッチングとは、実動作パターンからイベン
ト，動作周期，信号変化の幅などを抽出し、それぞれ期
待値パターンのイベント，動作周期，信号変化の幅と比
較することを意味する。

【００６３】この比較処理の詳細は図１４に示される。
比較処理では、まず、比較結果を報告する範囲すなわち
特定範囲をシミュレーション結果の全体について行うの
か、それとも任意の時間帯について行うのかをユーザの
指定に従って設定する（ステップＳ３０１）。図１５に
は、特定範囲の設定例が示されており、ここでは、一例
であるが、時刻３００〜時刻９００までの範囲が特定範
囲として設定されている。したがって、比較処理のため
のシミュレーション結果は時刻３００〜時刻９００まで
の範囲となる。もちろん、この特定範囲の設定では、シ
ミュレーション全体を特定範囲とすることも可能であ
る。

【００６４】続いて、シミュレーションと比較とを同時
に行うか否かの指示が受け付けられ、同時に行うという
指示があれば（ステップＳ３０２）、処理はステップＳ
３０６に移行し、シミュレーション後に比較を行うとい
う指示があれば、処理はステップＳ３０３に移行する。
これらの指示は、キーボード１５により操作される。

【００６５】処理がステップＳ３０３に移行した場合に
は、まず、シミュレーションが実行され、そのときの実
動作パターンがシミュレーション結果として実動作パタ
ーンメモリ１３４に格納される。このときに得られる実
動作パターンは２種類あり、その一つは実動作パターン
Ｘ１であり、もう一つは実動作パターンＸ２である。そ
して、シミュレーション結果（実動作パターンＸ１，Ｘ
２）と期待値（期待値パターンＲ１，Ｒ２）との比較
（イベント単位のパターンマッチング）が行われる（ス
テップＳ３０４）。具体的には、実動作と期待値との間
で、イベント，動作周期および信号変化の幅（イベント
発生時間の幅）が比較対象となる。

【００６６】期待値について、図１７に示したように、
期待値パターンＲ１ではイベントがｅ１〜ｅ６までの６
箇所で発生することを期待しており、期待値パターンＲ
２ではイベントがｅ１１およびｅ１２の２箇所で発生す
ることを期待している。ところが、この比較結果をみる
と、図１７に示した波形グラフィックのように、期待値
パターンＲ１に対する実動作パターンＸ１には、ｅ１お
よびｅ２に対応するイベントの発生がなく（図１７中、
Ｓで示した時刻）、続くイベントｅ３〜ｅ６にはそれぞ
れ対応するイベントｅ２３〜ｅ２６が発生している。

【００６７】すなわち、期待値パターンＲ１について
は、実動作パターンＸ１より期待通りの結果が得られな
かったことになる。一方、期待値パターンＲ２に対する
実動作パターンＸ２には、期待値パターンＲ２のイベン
トｅ１１，ｅ１２に対応してそれぞれイベントｅ３１，
ｅ３２が発生しており、期待通りの結果がられている。

【００６８】さらにステップＳ３０５において、上述し
た比較結果の結果報告を行う処理が実行される。この結
果報告の詳細は図１６のフローに示される。結果報告は
キーボード１５によりあらかじめ設定しておいた出力形
式に従って行われる。すなわち、出力形式には音声形式
とそれ以外の形式（テキストデータ，波形グラフィック
データ，フローチャートのデータ，文章のデータ，状態
遷移図，真理値表など）がある。この結果報告では、ま
ず出力形式が判別される。出力形式が音声形式であった
場合には（ステップＳ４０１）、処理はステップＳ４０
２に移行して、スピーカ１９を用いて音声による結果報
告を実行する。

【００６９】このとき、実動作と期待値との間で不一致
箇所があれば、その不一致箇所を指摘する内容を音声に
盛り込んで報告する処理が行われる。一方、出力形式が
音声形式以外の形式であった場合には（ステップＳ４０
１）、処理はステップＳ４０３に移行して、視覚的な表
現すなわちイベント，動作周期，信号変化の幅が確認し
やすい状態での出力を行う。その際、比較結果から実動
作と期待値との不一致箇所があれば、不一致箇所を視覚
的に強調するため、不一致箇所を一致箇所と異なる色で
表現するように、実動作パターンに色分け処理を施す。
ここでは、比較結果を実動作パターンを用いて表してい
るが、それとは別に比較結果専用の出力パターンを作成
するようにしてもよい。続くステップＳ４０５では、テ
キストデータ，波形グラフィックデータ，フローチャー
トのデータ，文章のデータ，状態遷移図，真理値表など
の出力形式に従って結果報告が行われる。

【００７０】なお、色分けについては、テキストやフロ
ーチャートでは、不一致に該当する文字列に対して一致
箇所との色分けが行われ、波形では、不一致に該当する
時刻の波形に対して一致箇所との色分けが行われ、状態
遷移図については、不一致に該当する状態に対して一致
箇所との色分けが行われ、真理値表については、不一致
に該当する値に対して一致箇所との色分けが行われる。
図１７の例では、波形グラフィックのため、実動作パタ
ーンＸ１について、一致箇所を緑色で表現した場合、時
刻Ｓの区間を赤色などの異なる色で表現すればよい。

【００７１】さて、上述した比較処理では、ステップＳ
３０２においてシミュレーションと比較とを同時に行わ
ない場合の動作について説明したが、同時に行う場合に
は、処理はステップＳ３０６に移行し、さらに結果報告
までを同時に行うか否かを判断する。そして、結果報告
までは同時に行わないという判断結果が得られた場合に
は（ステップＳ３０６）、処理はステップＳ３０７に移
行する。ステップＳ３０７において、シミュレーション
が実行されると、実動作でイベントが発生する度にその
イベントと期待値パターンのイベントとが比較される。
このようにして、イベント発生毎に一致、不一致が判断
される。そして、シミュレーション全体が終了すると、
処理はステップＳ３０５に移行して、前述した結果報告
（図１６参照）を実行する。

【００７２】また、ステップＳ３０６において、シミュ
レーション，比較および結果報告までを並行して行うと
いう判断結果が得られた場合には（ステップＳ３０
６）、処理はステップＳ３０８に移行する。ステップＳ
３０８において、シミュレーションが実行されると、実
動作でイベントが発生する度にそのイベントと期待値パ
ターンのイベントとが比較され、イベント毎に一致、不
一致が判断される。そして、その比較結果についてシミ
ュレーション全体の終了を待たずに前述した結果報告
（図１６参照）が実行される。すなわち、イベント単位
でシミュレーションから結果報告までを１サイクルとし
て順次処理が実行される。そして、シミュレーション全
体が終了すると、この比較処理全体も終了する。

【００７３】上述した動作では、実動作のイベント発生
を比較処理のタイミングとして設定していたが、これの
限定せず、さらにある特定の変化すなわちトリガ条件を
与えることで、そのトリガの発生に応じてイベントの比
較を制御するようにしてもよい。すなわち、図１８に示
したように、トリガの一例としてクロックを適用し、そ
のクロックが発生してから変化する実動作のイベントと
期待値のイベントとを比較するようにしてもよい。

【００７４】また、上述した動作では、イベント単位で
実動作と期待値とのパターンマッチングを行うようにし
ていることから、両パターン（実動作と期待値）のＨ，
Ｌの変化が対応していればよい。すなわち、抽出される
実動作パターンが期待値パターンの動作周期に対してｎ
（ｎは正数）倍の動作周期をもっていても、パターンそ
のものが一致していれば、信号の変化の幅が違っても期
待通りの結果が得られたものとして処理してもよい。図
１９には、期待値パターンＲ１，Ｒ２と同様の動作周期
で抽出された実動作パターンＸ３，Ｘ４と、３倍（一例
としてｎ＝３）の動作周期で抽出された実動作パターン
Ｘ５，Ｘ６との例が示されている。

【００７５】実動作パターンＸ３，Ｘ４は、それぞれ期
待値パターンＲ１，Ｒ２と同じイベント，同じ動作周
期，同じ信号の変化の幅で同様のタイミングでイベント
を発生させるパターンを有している。すなわち、期待値
パターンＲ１のイベントｅ１，ｅ２…ｅ６には、それぞ
れ実動作パターンＸ３のｅ４１，ｅ４２…ｅ４６が対応
し、期待値パターンＲ２のイベントｅ１１，ｅ１２に
は、それぞれ実動作パターンＸ４のｅ５１，ｅ５２が対
応している。

【００７６】また、実動作パターンＸ５，Ｘ６は、それ
ぞれ期待値パターンＲ１，Ｒ２の３倍の動作周期で、信
号の変化の幅も３倍というタイミングでイベントを発生
させるパターンを有している。すなわち、期待値パター
ンＲ１のイベントｅ１，ｅ２…ｅ６には、それぞれ実動
作パターンＸ５のｅ６１，ｅ６２…ｅ６６が対応し、期
待値パターンＲ２のイベントｅ１１，ｅ１２には、それ
ぞれ実動作パターンＸ６のｅ７１，ｅ７２が対応してい
る。

【００７７】以上説明したように、実施の形態１によれ
ば、１又は複数の信号の動作手順を示す期待値データを
入力し、あらかじめ用意された回路図のシミュレーショ
ンによる実動作でイベントが発生する度に、そのイベン
トと入力された期待値データに基づく信号の変化とを比
較して、その比較結果を出力するようにしたので、イベ
ントを基準に検証すればよいことから、期待値を入力す
る際に信号の変化を時間毎に細かく入力する必要はな
く、これによって、期待値の検証における自由度を高
め、かつ検証時間を短縮することが可能である。

【００７８】また、シミュレーション時に与えられる特
定信号（クロック信号など）の変化に従って比較動作を
実行するようにしたので、回路図上、特定信号の変化を
トリガとしても検証を実現することが可能である。

【００７９】また、実動作パターンと期待値パターンと
を比較する場合には、少なくとも信号の変化，動作周期
および信号の変化の幅について比較するようにしたの
で、シミュレーション結果と期待値とがパターン化して
扱われ、これによって、単純に比較対照することが可能
である。

【００８０】また、信号の動作手順を波形グラフィッ
ク，テキスト，テストベンチ，プログラムの記述，文章
の記述，フローチャートの記述，状態遷移図，真理値表
などで表現した期待値データを入力するようにしたの
で、期待値の表現形式にバリエーションが得られ、これ
によって、ユーザが期待値を作成しやすくなることか
ら、期待値の作成について自由度を高めることが可能で
ある。

【００８１】また、ファイル形式やイメージ形式に限ら
ず、音声形式により自然音声をデジタル化して期待値デ
ータを入力することもできるので、期待値の入力形式に
バリエーションが得られ、これによって、期待値の入力
形式について自由度を高めることが可能である。

【００８２】また、比較結果を波形グラフィック，テキ
スト，文章の記述，フローチャートの記述，状態遷移
図，真理値表などで表現して出力するようにしたので、
比較結果の表現形式にバリエーションが得られ、これに
よって、ユーザが希望する表現形式で比較結果を得るこ
とができることから、比較結果の出力形式について自由
度を高めることが可能である。

【００８３】また、比較結果を自然音声に変換して出力
することもできるので、期待値の出力形式にバリエーシ
ョンが得られ、これによって、比較結果の出力形式につ
いて自由度を高めることが可能である。この場合には、
ディスプレイ２１に比較結果が表示されないことから、
他の作業で画面を占有することができるとともに、他の
作業を行いながら確認することができる。

【００８４】また、シミュレーションによる実動作に並
行させたタイミング、シミュレーションによる実動作が
すべて終了したときのタイミング、およびシミュレーシ
ョンによる実動作が一定時間を経過したときのタイミン
グのいずれか一つのタイミングを選択して比較結果を出
力するようにしたので、比較結果の出力タイミングにバ
リエーションが得られ、これによって、比較結果の出力
タイミングについて自由度を高めることが可能である。

【００８５】また、比較結果について、実動作パターン
と期待値パターンとの間で一致部分と不一致部分とを色
分けして表示出力もしくは印刷出力するようにしたの
で、一致部分と不一致部分との区別が明瞭となり、これ
によって、比較結果である表示出力もしくは印刷出力か
ら一致部分と不一致部分とを視覚的に容易に確認するこ
とが可能であり、かつ視認性の向上を図ることが可能で
ある。

【００８６】なお、一致部分と不一致部分とを色分けし
た比較結果については、通常の情報処理装置と同様に、
ＦＤＤ１６ＡやＨＤＤ１６Ｂにファイルとして格納した
り、通信ユニット２３を通じて外部装置（ＬＡＮなどの
ネットワークで決められたメールアドレスでもよい）に
自動もしくは手動でファイルとして伝送するようにして
もよいことはいうまでもない。

【００８７】また、比較結果については、一致部分と不
一致部分とを比較結果として出力することに限定せず、
不一致部分が生じた場合についてのみ出力するようにし
てもよく、この場合には出力時間を短縮することが可能
である。

【００８８】また、比較結果を出力する時間軸上の範囲
（特定範囲）を任意に設定するようにしたので、比較結
果の確認を必要とする箇所だけに絞ることができ、これ
によって、検証の確認時間を短縮することが可能であ
る。なお、検証時間の短縮ということでは、比較処理の
際に、不一致が発生した時点で動作を止め、結果報告に
処理を移行させればよい。

【００８９】（実施の形態２）さて、前述した実施の形
態１では、実動作のイベントと期待値のイベントとをパ
ターンマッチングさせて期待値を検証するようにしてい
たが、この発明は、以下に説明する実施の形態２のよう
に、パターンマッチングで一致しないイベント箇所につ
いて許容誤差をもたせて期待値を検証するようにしても
よい。なお、この実施の形態２では、全体構成を前述し
た実施の形態１と同様にしていることから、各ユニット
について構成およびその機能の説明を省略し、以下に図
５に示した符号と同じ符号を用いて説明する。

【００９０】ここでは、要部についてのみ説明する。図
２０はこの発明の実施の形態２による期待値検証シミュ
レーション装置の要部の構成を示すブロック図である。
前述した実施の形態１の期待値検証シミュレーション装
置と実施の形態２による期待値検証シミュレーション装
置との相違は、ＲＡＭのメモリ構成にある。すなわち、
実施の形態２では、前述のＲＡＭ１３に替わりＲＡＭ２
４が設けられる。このＲＡＭ２４は、ＲＡＭ１３と同様
のメモリ構成を有するとともに、さらに許容誤差設定メ
モリ２４１を追加した構成である。

【００９１】許容誤差設定メモリ２４１は、実動作のイ
ベントが発生したときの時間と期待するイベント時間と
の許容できる誤差を時間幅データとして設定するメモリ
である。具体的には、実動作パターンに対して許容誤差
としての時間幅（以下に許容時間幅と称する）が設定さ
れる。その許容時間幅の目安として、例えば５ｎｓが設
定された場合には、実動作パターンにおいてイベント発
生の前後５ｎｓ内の誤差は許容範囲内として一致と見な
される。

【００９２】つぎに、動作について説明する。図２１は
実施の形態２の主要な動作を説明するフローチャート、
図２２は実施の形態２による比較結果の一例を示す図、
そして、図２３は実施の形態２による比較動作を説明す
るフローチャートである。ここでは、前述した実施の形
態１で説明した比較処理内の比較動作についてのみ説明
する。ここでは、シミュレーション後に比較を行う場合
について例を挙げる。

【００９３】実動作パターンの許容時間幅は、全体の動
作において、期待値入力後に、キーボード１５の操作で
設定される（ステップＳ４００）。ここでは、許容時間
幅として５ｎｓが許容誤差設定メモリ２４１に設定され
るものとする。全体のシミュレーションが終了すると、
実動作パターンと期待値パターンとがイベントの発生部
分で比較される（ステップＳ４５１）。具体例として、
期待値パターンと実動作パターンとの関係を図２２を参
照して示す。

【００９４】図２２において、期待値パターンは前述し
たＲ１，Ｒ２を例に挙げ、実動作パターンは期待値パタ
ーンＲ１に対応するＸ７と期待値パターンＲ２に対応す
るＸ８とを例に挙げる。実動作パターンＸ７は、期待値
パターンＲ１のイベントｅ３の発生時刻に発生すべきイ
ベントｅ８３が６ｎｓ遅れて発生したものであり、実動
作パターンＸ８は、期待値パターンＲ２のイベントｅ１
１に発生時刻に発生すべきイベントｅ９１が３ｎｓ早ま
って発生したものである。また、実動作パターンＸ７の
イベントｅ８３の遅れに対応して実動作パターンＸ８の
イベントｅ９２が同様の遅れ（６ｎｓ）をもって発生し
ている。

【００９５】ステップＳ４５１の比較により実動作のあ
るイベントすなわち実動作パターンＸ７のイベントｅ８
３、実動作パターンＸ８のイベントｅ９１およびｅ９２
の各発生時刻に時間軸上の誤差が生じていた場合には
（ステップＳ４５２）、その誤差が許容誤差設定メモリ
２４１に設定された許容時間幅内となり、その誤差が不
一致であれば（ステップＳ４５３）、そのイベントは一
致しているものとして処理されるが（ステップＳ４５
５）、許容時間幅外となり、その誤差が不一致であれば
（ステップＳ４５３）、そのイベントは不一致している
ものとして処理される（ステップＳ４５４）。

【００９６】すなわち、許容誤差設定メモリ２４１にあ
らかじめ許容時間幅として５ｎｓが設定されていた場合
には、実動作パターンＸ７のイベントｅ８３の発生時刻
は６ｎｓの誤差のため、その誤差は許容時間幅外となり
（ステップＳ４５３）、イベントｅ８３は許容されず不
一致として処理される（ステップＳ４５４）。当然に、
実動作パターンＸ８のイベントｅ９２についても同様に
不一致として処理される。一方、実動作パターンＸ８の
イベントｅ９１の発生時刻は３ｎｓの誤差のため、その
誤差は許容時間幅内となり（ステップＳ４５３）、イベ
ントｅ９１は許容され一致として処理される（ステップ
Ｓ４５５）。なお、図２３に示した比較動作は、期待値
パターンのすべてのイベントについて実施されるものと
する。

【００９７】以上説明したように、実施の形態２によれ
ば、実動作パターンと期待値パターンとの間で時間軸上
の誤差部分が検出された場合、その誤差部分があらかじ
め決められた許容時間幅内であればその誤差部分は一致
部分であるという判定を下し、一方、その誤差部分があ
らかじめ決められた許容時間幅外であればその誤差部分
は不一致部分であるという判定を下すようにしたので、
時間軸上で実動作パターンに多少の誤差があってもその
誤差を無視することができ、これによって、時間的誤差
の面で検証精度が緩和されることから、回路図の実動作
が全体的に把握できればよい程度の検証を実現すること
が可能である。

【００９８】（実施の形態３）さて、前述した実施の形
態１では、実動作と期待値とをパターンマッチングさせ
て期待値を検証するようにしていたが、この発明は、以
下に説明する実施の形態３のように、グリッジのような
ノイズを無視できる期待値の検証を実現するようにして
もよい。なお、この実施の形態３では、全体構成を前述
した実施の形態１と同様にしていることから、各ユニッ
トについて構成およびその機能の説明を省略し、以下に
図５に示した符号と同じ符号を用いて説明する。

【００９９】ここでは、要部についてのみ説明する。図
２４はこの発明の実施の形態３による期待値検証シミュ
レーション装置の要部の構成を示すブロック図である。
前述した実施の形態１の期待値検証シミュレーション装
置と実施の形態３による期待値検証シミュレーション装
置との相違は、ＲＡＭのメモリ構成にある。すなわち、
実施の形態３では、前述のＲＡＭ１３に替わりＲＡＭ２
５が設けられる。このＲＡＭ２５は、ＲＡＭ１３と同様
のメモリ構成を有するとともに、さらにグリッジ幅設定
メモリ２５１を追加した構成である。

【０１００】グリッジ幅設定メモリ２５１は、グリッジ
をエラーとして有効にするか、それともノイズとして無
効にするかを判断するグリッジ幅を設定するメモリであ
る。具体的には、グリッジの目安として、例えば３ｎｓ
が設定された場合には、実動作パターンにおいて３ｎｓ
を超える信号幅をもつグリッジはイベントとして判断さ
れ、３ｎｓ以下の信号幅をもつグリッジはノイズとして
判断される。

【０１０１】つぎに、動作について説明する。図２５は
実施の形態３の主要な動作を説明するフローチャート、
図２６は実施の形態３による比較結果の一例を示す図、
そして、図２７は実施の形態３による比較動作を説明す
るフローチャートである。ここでは、前述した実施の形
態１で説明した比較処理内の比較動作についてのみ説明
する。ここでは、シミュレーション後に比較を行う場合
について例を挙げる。

【０１０２】グリッジ幅は、全体の動作において、期待
値入力後に、キーボード１５の操作でグリッジ幅設定メ
モリ２５１に設定される（ステップＳ５００）。ここで
は、グリッジ幅として３ｎｓが設定されるものとする。
全体のシミュレーションが終了すると、実動作パターン
と期待値パターンとがイベントの発生部分で比較される
（ステップＳ５５１）。具体例として、期待値パターン
と実動作パターンとの関係を図２６を参照して示す。

【０１０３】図２６において、期待値パターンは前述し
たＲ１，Ｒ２を例に挙げ、実動作パターンは期待値パタ
ーンＲ１に対応するＸ９と期待値パターンＲ２に対応す
るＸ１０とを例に挙げる。実動作パターンＸ９は、期待
値パターンＲ１のイベントｅ２，ｅ３の発生時刻にそれ
ぞれ発生すべきイベントｅ１０２，ｅ１０３が同様のタ
イミングで発生したものであり、そのイベントｅ１０
２，ｅ１０３の間に期待値パターンＲ１では存在しない
グリッジＧが発生している。なお、実動作パターンＸ１
０は、期待値パターンＲ２と同様のパターンを有してい
るものとする。

【０１０４】ステップＳ５５１の比較により実動作のあ
るイベントすなわち実動作パターンＸ９のグリッジＧに
対応するイベントの発生が期待値パターンＲ１に存在し
ていない場合には（ステップＳ５５２）、グリッジ発生
としてそのグリッジＧの信号幅が測定される（ステップ
Ｓ５５３）。その信号幅がグリッジ幅設定メモリ２５１
に設定されたグリッジ幅を超えるサイズであれば、その
グリッジはノイズとして無視できるサイズではないと判
断され（ステップＳ５５４）、続くステップＳ５５４に
おいて不一致処理が実行される。

【０１０５】一方、その信号幅がグリッジ幅設定メモリ
２５１に設定されたグリッジ幅以下のサイズであれば、
そのグリッジはノイズとして無視できるサイズであると
判断され（ステップＳ５５４）、続くステップＳ５５６
において一致処理が実行される。ステップＳ５５２にお
いて実動作パターンのグリッジがない区間として判断さ
れた場合には、その区間は一致処理される（ステップＳ
５５６）。なお、図２６に示した比較動作は、期待値パ
ターンのすべてのイベントについて実施されるものとす
る。

【０１０６】以上説明したように、実施の形態３によれ
ば、実動作パターンから信号幅を測定し、その測定され
た信号幅があらかじめ決められたグリッジ幅内であれば
その信号幅の部分は一致部分であるという判定を下し、
一方、その測定された信号幅があらかじめ決められたグ
リッジ幅外であればその信号幅の部分は不一致部分であ
るという判定を下すようにしたので、シミュレーション
結果において期待されないグリッジを無視することがで
き、これによって、グリッジ発生の面で検証精度が緩和
されることから、回路図の実動作が全体的に把握できれ
ばよい程度の検証を実現することが可能である。なお、
パターンの比較の際に（ステップＳ５５１）、各信号幅
のサイズを測定してグリッジとして無視できるか否かを
判定するようにしてもよい。

【０１０７】（実施の形態４）さて、前述した実施の形
態１〜３では、動作周期がｎ倍であったり、イベント発
生が誤差範囲内のずれであったり、グリッジ部分を無視
するようにしていたが、以下に説明する実施の形態４の
ように、期待値パターンに類似した実動作パターンにつ
いては一致したものとして処理するようにしてもよい。
なお、この実施の形態４では、全体構成を前述した実施
の形態１と同様にしていることから、各ユニットについ
て構成およびその機能の説明を省略し、以下に図５に示
した符号と同じ符号を用いて説明する。

【０１０８】ここでは、前述した実施の形態１〜３との
動作上の違いについてのみ説明する。図２８はこの発明
の実施の形態４による比較結果の一例を示す図であり、
図２９は実施の形態４による比較動作を説明するフロー
チャートである。図２８には、２種類の期待値パターン
Ｒ３，Ｒ４と、各期待値パターンＲ３，Ｒ４に対応する
実動作パターンＸ１１，Ｘ１２とが示されている。これ
ら期待値パターンＲ３，Ｒ４と実動作パターンＸ１１，
Ｘ１２との間には、一部相違する箇所がある。すなわ
ち、期待値パターンＲ３がＬ，Ｈ，Ｌ，Ｈ，Ｌ，Ｈ，Ｌ
…のようにＬとＨとを交互に変化させていくのに対し、
実動作パターンＸ１１はＬの後にＨ，Ｈ，Ｌ，Ｌのよう
に動作周期を２倍にして変化する部分をもつ。

【０１０９】具体的には、期待値パターンＲ３では、イ
ベントｅ１１１の発生で信号がロー“Ｌ”からハイ
“Ｈ”に変化して、つぎのイベントｅ１１２でハイ
“Ｈ”からロー“Ｌ”に変化すべきところを、実動作パ
ターンＸ１１では、イベントｅ１１２に対応する時刻に
信号がハイ“Ｈ”のまま保持される。この実動作の信号
“Ｈ”がロー“Ｌ”に変化するのは、期待値パターンＲ
３においてイベントｅ１１３の発生で再びハイ“Ｈ”に
変化するタイミングとなる。さらに、期待値パターンＲ
３では、イベントｅ１１４の発生で信号がハイ“Ｈ”か
らロー“Ｌ”に変化して、つぎのイベントｅ１１５でロ
ー“Ｌ”からハイ“Ｈ”に変化すべきところを、実動作
パターンＸ１１では、イベントｅ１１４に対応する時刻
に信号がロー“Ｌ”のまま保持される。この実動作パタ
ーンＸ１１の信号“Ｌ”がハイ“Ｈ”に変化するのは、
期待値パターンＲ３においてイベントｅ１１５の発生で
再びハイ“Ｈ”に変化するタイミングとなる。

【０１１０】この場合には、比較処理中の比較動作で、
まずイベントに応じてパターンの比較が行われた後（ス
テップＳ６５１）、あらかじめ設定した特定範囲内で実
動作パターンが期待値パターンに対して何％の類似度を
もつか判定される（ステップＳ６５２）。そして、一例
として９０％以上の類似度があるという判定結果が得ら
れた場合には（ステップＳ６５３）、実動作パターンと
期待値パターンとの一致が確認され（ステップＳ６５
４）、一方、９０％に満たない類似度があるという判定
結果が得られた場合には（ステップＳ６５３）、実動作
パターンと期待値パターンとの不一致が確認される（ス
テップＳ６５５）。

【０１１１】そこで、図２８に示した期待値の検証例に
おいて、期待値パターンに対する実動作パターンの類似
度が９０％以上であるとすれば、ステップＳ６５３にお
いて一致が確認されることになる。ここでは、類似度の
判定基準を９０％としたが、この発明は、これに限定さ
れるものではなく、類似度の要求レベルに応じて順次パ
ーセンテージが高くなるように設定してもよい。

【０１１２】以上説明したように、実施の形態４によれ
ば、シミュレーションによる実動作パターンと期待値パ
ターンとの間で一致部分と不一致部分とに基づいて類似
度を判定し、その類似度があらかじめ決められた類似度
を満たしていた場合に実動作パターンは一致であるとい
う判定を下し、一方、その類似度があらかじめ決められ
た類似度を満たしていなかった場合に実動作パターンは
不一致であるという判定を下すようにしたので、シミュ
レーション結果における多少の不一致を無視することが
でき、これによって、類似度の面で検証精度が緩和され
ることから、回路図の実動作が全体的に把握できればよ
い程度の検証を実現することが可能である。

【０１１３】（実施の形態５）さて、前述した実施の形
態１〜４それぞれにおいて、複数のデータ信号などの比
較チェックをバインド指定して行うようにしてもよく、
その際に、あらかじめ設定した時間が経過してから比較
チェックを行うようにすればよい。

【０１１４】図３０はこの発明の実施の形態５によるデ
ータ信号のチェック方法を説明する図である。図３０に
おいて、バインド指定されたデータは、１０ｎｓ後に信
号が確定されたものとして比較チェックに使用される。

【０１１５】以上説明したように、実施の形態５によれ
ば、データ信号を比較する場合、データ信号に対してバ
インド指定し、一定時間後にデータ信号が確定してから
比較動作を実施するようにしたので、複数のデータ信号
についても信号の変化と同様に比較することが可能であ
る。

【０１１６】さて、この発明は、上述した実施の形態１
〜５をふたつ、もしくはそれ以上の組み合わせで実現し
てもよく、また、上述した実施の形態１〜５に限らず、
通常のＥＤＡ（Ｅｌｅｃｔｒｏｎｉｃ Ｄｅｓｉｇｎ
Ａｕｔｏｍａｔｉｏｎ）技術に適用される機能を期待値
検証シミュレーション装置上で実現することが可能であ
る。

【０１１７】そして、この発明は、上述した実施の形態
１〜５に限定されるものではなく、この発明とその趣旨
を逸脱しない範囲で種々変形して実施することが可能で
ある。

【０１１８】

【発明の効果】以上説明したように、請求項１の発明に
よれば、１又は複数の信号の動作手順を示す期待値デー
タを入力し、あらかじめ用意された回路図のシミュレー
ションによる実動作で信号の変化が発生する度に、その
信号の変化と入力された期待値データに基づく信号の変
化とを比較して、その比較結果を出力するようにしたの
で、信号の変化を基準に検証すればよいことから、期待
値を入力する際に信号の変化を時間毎に細かく入力する
必要はなく、これによって、期待値の検証における自由
度を高め、かつ検証時間を短縮することが可能な期待値
検証シミュレーション装置が得られるという効果を奏す
る。

【０１１９】また、請求項２の発明によれば、請求項１
の発明において、シミュレーション時に与えられる特定
信号の変化に従って比較動作を実行するようにしたの
で、回路図上、特定信号の変化をトリガとしても検証を
実現することが可能な期待値検証シミュレーション装置
が得られるという効果を奏する。

【０１２０】また、請求項３の発明によれば、請求項１
又は２の発明において、シミュレーションによる信号の
変化と入力された期待値データに基づく信号の変化とを
比較する場合には、少なくとも信号の変化，動作周期お
よび信号の変化の幅について比較するようにしたので、
シミュレーション結果と期待値とがパターン化して扱わ
れ、これによって、単純に比較対照することが可能な期
待値検証シミュレーション装置が得られるという効果を
奏する。

【０１２１】また、請求項４の発明によれば、請求項
１，２，３のいずれか一つの発明において、信号の動作
手順を波形グラフィック，テキスト，テストベンチ，プ
ログラムの記述，文章の記述，フローチャートの記述，
状態遷移図，真理値表などで表現した期待値データを入
力するようにしたので、期待値の表現形式にバリエーシ
ョンが得られ、これによって、ユーザが期待値を作成し
やすくなることから、期待値の作成について自由度を高
めることが可能な期待値検証シミュレーション装置が得
られるという効果を奏する。

【０１２２】また、請求項５の発明によれば、請求項１
又は４の発明において、自然音声をデジタル化して期待
値データを入力するようにしたので、期待値の入力形式
にバリエーションが得られ、これによって、期待値の入
力形式について自由度を高めることが可能な期待値検証
シミュレーション装置が得られるという効果を奏する。

【０１２３】また、請求項６の発明によれば、請求項
１，２，３のいずれか一つの発明において、比較結果を
波形グラフィック，テキスト，文章の記述，フローチャ
ートの記述，状態遷移図，真理値表などで表現して出力
するようにしたので、比較結果の表現形式にバリエーシ
ョンが得られ、これによって、ユーザが希望する表現形
式で比較結果を得ることができることから、比較結果の
出力形式について自由度を高めることが可能な期待値検
証シミュレーション装置が得られるという効果を奏す
る。

【０１２４】また、請求項７の発明によれば、請求項
１，２，３又は６の発明において、比較結果を自然音声
に変換して出力するようにしたので、期待値の出力形式
にバリエーションが得られ、これによって、比較結果の
出力形式について自由度を高めることが可能な期待値検
証シミュレーション装置が得られるという効果を奏す
る。

【０１２５】また、請求項８の発明によれば、請求項
１，２，３のいずれか一つの発明において、シミュレー
ションによる実動作に並行させたタイミング、シミュレ
ーションによる実動作がすべて終了したときのタイミン
グ、およびシミュレーションによる実動作が一定時間を
経過したときのタイミングのいずれか一つのタイミング
を選択して比較結果を出力するようにしたので、比較結
果の出力タイミングにバリエーションが得られ、これに
よって、比較結果の出力タイミングについて自由度を高
めることが可能な期待値検証シミュレーション装置が得
られるという効果を奏する。

【０１２６】また、請求項９の発明によれば、請求項
１，２，３のいずれか一つの発明において、シミュレー
ションによる信号の変化と入力された期待値データに基
づく信号の変化との間で時間軸上の誤差部分が検出され
た場合、その誤差部分があらかじめ決められた許容時間
幅内であればその誤差部分は一致部分であるという判定
を下し、一方、その誤差部分があらかじめ決められた許
容時間幅外であればその誤差部分は不一致部分であると
いう判定を下すようにしたので、時間軸上でシミュレー
ションによる信号の変化に多少の誤差があってもその誤
差を無視することができ、これによって、時間的誤差の
面で検証精度が緩和されることから、回路図の実動作が
全体的に把握できればよい程度の検証を実現することが
可能な期待値検証シミュレーション装置が得られるとい
う効果を奏する。

【０１２７】また、請求項１０の発明によれば、請求項
１，２，３のいずれか一つの発明において、シミュレー
ションによる信号の変化から信号幅を測定し、その測定
された信号幅があらかじめ決められたグリッジ幅内であ
ればその信号幅の部分は一致部分であるという判定を下
し、一方、その測定された信号幅があらかじめ決められ
たグリッジ幅外であればその信号幅の部分は不一致部分
であるという判定を下すようにしたので、シミュレーシ
ョン結果において期待されないグリッジを無視すること
ができ、これによって、グリッジ発生の面で検証精度が
緩和されることから、回路図の実動作が全体的に把握で
きればよい程度の検証を実現することが可能な期待値検
証シミュレーション装置が得られるという効果を奏す
る。

【０１２８】また、請求項１１の発明によれば、請求項
１，２，３のいずれか一つの発明において、シミュレー
ションによる信号の変化と入力された期待値データに基
づく信号の変化との間で一致部分と不一致部分とに基づ
いて類似度を判定し、その類似度があらかじめ決められ
た類似度を満たしていた場合にシミュレーションによる
信号の変化は一致であるという判定を下し、一方、その
類似度があらかじめ決められた類似度を満たしていなか
った場合にシミュレーションによる信号の変化は不一致
であるという判定を下すようにしたので、シミュレーシ
ョン結果における多少の不一致を無視することができ、
これによって、類似度の面で検証精度が緩和されること
から、回路図の実動作が全体的に把握できればよい程度
の検証を実現することが可能な期待値検証シミュレーシ
ョン装置が得られるという効果を奏する。

【０１２９】また、請求項１２の発明によれば、請求項
９，１０，１１のいずれか一つの発明において、比較結
果について、シミュレーションによる信号の変化と入力
された期待値データに基づく信号の変化との間で一致部
分と不一致部分とを色分けして表示出力もしくは印刷出
力するようにしたので、一致部分と不一致部分との区別
が明瞭となり、これによって、比較結果である表示出力
もしくは印刷出力から一致部分と不一致部分とを視覚的
に容易に確認することが可能な期待値検証シミュレーシ
ョン装置が得られるという効果を奏する。

【０１３０】また、請求項１３の発明によれば、請求項
１，２，３のいずれか一つの発明において、比較結果を
出力する時間軸上の範囲を任意に設定するようにしたの
で、比較結果の確認を必要とする箇所だけに絞ることが
でき、これによって、検証の確認時間を短縮することが
可能な期待値検証シミュレーション装置が得られるとい
う効果を奏する。

【０１３１】また、請求項１４の発明によれば、請求項
１，２，３のいずれか一つの発明において、データ信号
を比較する場合、データ信号に対してバインド指定し、
一定時間後にデータ信号が確定してから比較動作を実施
するようにしたので、複数のデータ信号についても信号
の変化と同様に比較することが可能な期待値検証シミュ
レーション装置が得られるという効果を奏する。

【０１３２】また、請求項１５の発明によれば、１又は
複数の信号の動作手順を示す期待値データを入力し、あ
らかじめ用意された回路図のシミュレーションによる実
動作で信号の変化が発生する度に、その信号の変化と入
力された期待値データに基づく信号の変化とを比較し
て、その比較結果を出力する工程にしたので、信号の変
化でのみ検証すればよいことから、期待値を入力する際
に信号の変化を時間毎に細かく入力する必要はなく、こ
れによって、期待値の検証における自由度を高め、かつ
検証時間を短縮することが可能な期待値検証シミュレー
ション方法が得られるという効果を奏する。

【図面の簡単な説明】

【図１】この発明の実施の形態１による期待値検証シミ
ュレーション装置を機能的に示すブロック図である。

【図２】実施の形態１の原理説明で使用する回路図の一
例を示す図である。

【図３】実施の形態１の原理説明で使用する信号の入力
パターンの一例を示す図である。

【図４】実施の形態１の原理説明で使用する期待値パタ
ーンと実動作パターンとの比較結果の一例を示す図であ
る。

【図５】実施の形態１による期待値検証シミュレーショ
ン装置のハードウェア構成例を示すブロック図である。

【図６】実施の形態１による動作を説明するフローチャ
ートである。

【図７】実施の形態１による期待値入力動作を説明する
フローチャートである。

【図８】実施の形態１においてシミュレート対象となる
回路図の一例を示す図である。

【図９】実施の形態１において図８に示した回路図に与
える入力パターンの一例を示す図である。

【図１０】実施の形態１において図８に示した回路図に
与える期待値データの第１の例を示す図である。

【図１１】実施の形態１において図８に示した回路図に
与える期待値データの第２の例を示す図である。

【図１２】実施の形態１において図８に示した回路図に
与える期待値データの第３の例を示す図である。

【図１３】実施の形態１において図８に示した回路図に
与える期待値データの第４の例を示す図である。

【図１４】実施の形態１による比較処理の動作を説明す
るフローチャートである。

【図１５】実施の形態１による特定範囲の指定方法を説
明する図である。

【図１６】実施の形態１による結果報告動作を説明する
フローチャートである。

【図１７】実施の形態１による比較結果の一例を示す図
である。

【図１８】実施の形態１において特定信号の変化に応じ
て期待値検証を行った場合の比較結果の一例を示す図で
ある。

【図１９】実施の形態１において期待値パターンの応用
例を示す図である。

【図２０】この発明の実施の形態２による期待値検証シ
ミュレーション装置の要部の構成を示すブロック図であ
る。

【図２１】実施の形態２の主要な動作を説明するフロー
チャートである。

【図２２】実施の形態２による比較結果の一例を示す図
である。

【図２３】実施の形態２による比較動作を説明するフロ
ーチャートである。

【図２４】この発明の実施の形態３による期待値検証シ
ミュレーション装置の要部の構成を示すブロック図であ
る。

【図２５】実施の形態３の主要な動作を説明するフロー
チャートである。

【図２６】実施の形態３による比較結果の一例を示す図
である。

【図２７】実施の形態３による比較動作を説明するフロ
ーチャートである。

【図２８】この発明の実施の形態４による比較結果の一
例を示す図である。

【図２９】実施の形態４による比較動作を説明するフロ
ーチャートである。

【図３０】この発明の実施の形態５によるデータ信号の
チェック方法を説明する図である。

【図３１】従来例による期待値検証シミュレーション装
置を示すシステム構成図である。

【符号の説明】

１ 回路図入力部 ２ シミュレーション部 ３ シミュレーションパターン入力部 ４ 期待値入力部 ５ イベント比較部 ６ 比較結果出力部 １１ ＣＰＵ １２ ＲＯＭ １３ ＲＡＭ １４ アプリケーションＰＭ １５ キーボード １６Ａ ＦＤＤ １６Ｂ ＨＤＤ １７ スキャナ １８ マイク １９ スピーカ ２０ インタフェース（Ｉ／Ｆ） ２１ ディスプレイ ２２ プリンタ ２３ 通信ユニット ２４１ 許容誤差設定メモリ ２５１ グリッジ幅設定メモリ

─────────────────────────────────────────────────────

【手続補正書】

【提出日】平成１０年１０月９日

【手続補正１】

【補正対象書類名】明細書

【補正対象項目名】００３８

【補正方法】変更

【補正内容】

【００３８】回路図入力部１は、ＣＡＤ（Ｃｏｍｐｕｔ
ｅｒ Ａｉｄｅｄ Ｄｅｓｉｇｎ），ＨＤＬ（Ｈａｒｄ
ｗａｒｅ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇ
ｅ）などの回路作成ツールにより作成された回路図デー
タを入力する機能を有している。シミュレーション部２
は、回路図入力部１から供給される回路図データに基づ
く回路に対して信号の入力パターンを与えてシミュレー
ションする機能を有している。シミュレーションパター
ン入力部３は、シミュレーション部２に対してシミュレ
ーション時に信号の入力パターンを供給する機能を有し
ている。

【手続補正２】

【補正対象書類名】明細書

【補正対象項目名】００９４

【補正方法】変更

【補正内容】

【００９４】図２２において、期待値パターンは前述し
たＲ１，Ｒ２を例に挙げ、実動作パターンは期待値パタ
ーンＲ１に対応するＸ７と期待値パターンＲ２に対応す
るＸ８とを例に挙げる。実動作パターンＸ７は、期待値
パターンＲ１のイベントｅ３の発生時刻に発生すべきイ
ベントｅ８３が６ｎｓ遅れて発生したものであり、実動
作パターンＸ８は、期待値パターンＲ２のイベントｅ１
１の発生時刻に発生すべきイベントｅ９１が３ｎｓ早ま
って発生したものである。また、実動作パターンＸ７の
イベントｅ８３の遅れに対応して実動作パターンＸ８の
イベントｅ９２が同様の遅れ（６ｎｓ）をもって発生し
ている。

【手続補正３】

【補正対象書類名】明細書

【補正対象項目名】０１０４

【補正方法】変更

【補正内容】

【０１０４】ステップＳ５５１の比較により実動作のあ
るイベントすなわち実動作パターンＸ９のグリッジＧに
対応するイベントの発生が期待値パターンＲ１に存在し
ていない場合には（ステップＳ５５２）、グリッジ発生
としてそのグリッジＧの信号幅が測定される（ステップ
Ｓ５５３）。その信号幅がグリッジ幅設定メモリ２５１
に設定されたグリッジ幅を超えるサイズであれば、その
グリッジはノイズとして無視できるサイズではないと判
断され（ステップＳ５５４）、続くステップＳ５５５に
おいて不一致処理が実行される。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 前沢 直樹 神奈川県横浜市港北区新横浜二丁目15番16 株式会社富士通コンピュータテクノロジ 内 (72)発明者 山口 隆明 神奈川県横浜市港北区新横浜二丁目15番16 株式会社富士通コンピュータテクノロジ 内 (72)発明者 柴崎 省吾 神奈川県横浜市港北区新横浜二丁目15番16 株式会社富士通コンピュータテクノロジ 内 (72)発明者 吉川 美花 神奈川県横浜市港北区新横浜二丁目15番16 株式会社富士通コンピュータテクノロジ 内

Claims (15)

【特許請求の範囲】
1. 【請求項１】 回路図のシミュレーションによる実動作
   について１又は複数の期待値を用いて検証する期待値検
   証シミュレーション装置において、 １又は複数の信号の動作手順を示す期待値データを入力
   する期待値入力手段と、 あらかじめ用意された回路図のシミュレーションによる
   実動作で信号の変化が発生する度に、その信号の変化と
   前記期待値入力手段により入力された期待値データに基
   づく信号の変化とを比較する比較手段と、 前記比較手段の比較結果を出力する比較結果出力手段
   と、 を備えたことを特徴とする期待値検証シミュレーション
   装置。
2. 【請求項２】 前記比較手段は、前記シミュレーション
   時に与えられる特定信号の変化に従って比較動作を実行
   することを特徴とする請求項１に記載の期待値検証シミ
   ュレーション装置。
3. 【請求項３】 前記比較手段は、前記シミュレーション
   による信号の変化と前記期待値入力手段により入力され
   た期待値データに基づく信号の変化とを比較する場合、
   少なくとも信号の変化，動作周期および信号の変化の幅
   について比較することを特徴とする請求項１又は２に記
   載の期待値検証シミュレーション装置。
4. 【請求項４】 前記期待値入力手段は、信号の動作手順
   を波形グラフィック，テキスト，テストベンチ，プログ
   ラムの記述，文章の記述，フローチャートの記述，状態
   遷移図，真理値表などで表現した期待値データを入力す
   ることを特徴とする請求項１，２，３のいずれか一つに
   記載の期待値検証シミュレーション装置。
5. 【請求項５】 前記期待値入力手段は、自然音声をデジ
   タル化して前記期待値データを入力することを特徴とす
   る請求項１又は４に記載の期待値検証シミュレーション
   装置。
6. 【請求項６】 前記比較結果出力手段は、前記比較結果
   を波形グラフィック，テキスト，文章の記述，フローチ
   ャートの記述，状態遷移図，真理値表などで表現して出
   力することを特徴とする請求項１，２，３のいずれか一
   つに記載の期待値検証シミュレーション装置。
7. 【請求項７】 前記比較結果出力手段は、前記比較結果
   を自然音声に変換して出力することを特徴とする請求項
   １，２，３又は６に記載の期待値検証シミュレーション
   装置。
8. 【請求項８】 前記比較結果出力手段は、前記シミュレ
   ーションによる実動作に並行させたタイミング、前記シ
   ミュレーションによる実動作がすべて終了したときのタ
   イミング、および前記シミュレーションによる実動作が
   一定時間を経過したときのタイミングのいずれか一つの
   タイミングを選択して前記比較結果を出力することを特
   徴とする請求項１，２，３のいずれか一つに記載の期待
   値検証シミュレーション装置。
9. 【請求項９】 前記比較手段は、前記シミュレーション
   による信号の変化と前記期待値入力手段により入力され
   た期待値データに基づく信号の変化との間で時間軸上の
   誤差部分を検出する誤差検出手段と、前記誤差検出手段
   により誤差部分が検出された場合、前記検出された誤差
   部分があらかじめ決められた許容時間幅内であれば前記
   検出された誤差部分は一致部分であるという判定を下
   し、一方、前記検出された誤差部分が前記あらかじめ決
   められた許容時間幅外であれば前記検出された誤差部分
   は不一致部分であるという判定を下す一致／不一致判定
   手段とを有することを特徴とする請求項１，２，３のい
   ずれか一つに記載の期待値検証シミュレーション装置。
10. 【請求項１０】 前記比較手段は、前記シミュレーショ
    ンによる信号の変化から信号幅を測定する信号幅測定手
    段と、前記信号幅測定手段により測定された信号幅があ
    らかじめ決められたグリッジ幅内であれば前記測定され
    た信号幅の部分は一致部分であるという判定を下し、一
    方、前記信号幅測定手段により測定された信号幅が前記
    あらかじめ決められたグリッジ幅外であれば前記測定さ
    れた信号幅の部分は不一致部分であるという判定を下す
    一致／不一致判定手段とを有することを特徴とする請求
    項１，２，３のいずれか一つに記載の期待値検証シミュ
    レーション装置。
11. 【請求項１１】 前記比較手段は、前記シミュレーショ
    ンによる信号の変化と前記期待値入力手段により入力さ
    れた期待値データに基づく信号の変化との間で一致部分
    と不一致部分とに基づいて類似度を判定する類似度判定
    手段と、前記類似度判定手段により判定された類似度が
    あらかじめ決められた類似度を満たしていた場合に前記
    シミュレーションによる信号の変化は一致であるという
    判定を下し、一方、前記類似度判定手段により判定され
    た類似度があらかじめ決められた類似度を満たしていな
    かった場合に前記シミュレーションによる信号の変化は
    不一致であるという判定を下す一致／不一致判定手段と
    を有することを特徴とする請求項１，２，３のいずれか
    一つに記載の期待値検証シミュレーション装置。
12. 【請求項１２】 前記比較結果出力手段は、前記比較結
    果について、前記シミュレーションによる信号の変化と
    前記期待値入力手段により入力された期待値データに基
    づく信号の変化との間で前記一致部分と前記不一致部分
    とを色分けして表示出力もしくは印刷出力することを特
    徴とする請求項９，１０，１１のいずれか一つに記載の
    期待値検証シミュレーション装置。
13. 【請求項１３】 前記比較結果出力手段は、前記比較結
    果を出力する時間軸上の範囲を任意に設定することを特
    徴とする請求項１，２，３のいずれか一つに記載の期待
    値検証シミュレーション装置。
14. 【請求項１４】 前記比較手段は、データ信号を比較す
    る場合、前記データ信号に対してバインド指定し、一定
    時間後に前記データ信号が確定してから実施することを
    特徴とする請求項１，２，３のいずれか一つに記載の期
    待値検証シミュレーション装置。
15. 【請求項１５】 回路図のシミュレーションによる実動
    作について１又は複数の期待値を用いて検証する期待値
    検証シミュレーション方法において、 １又は複数の信号の動作手順を示す期待値データを入力
    する第１工程と、 あらかじめ用意された回路図のシミュレーションによる
    実動作で信号の変化が発生する度に、その信号の変化と
    前記第１工程により入力された期待値データに基づく信
    号の変化とを比較する第２工程と、 前記第２工程で得られた比較結果を出力する第３工程
    と、 を含むことを特徴とする期待値検証シミュレーション方
    法。