JP4716964B2 - タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 - Google Patents

Description

この発明は、ハードウェアモジュールの論理検証に関するタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法であり、特にハードウェアモジュールのインターフェースプロトコルを数学的に記述する技術に関する。

通常、ハードウェアモジュールに関する仕様書では、自然言語を中心とした全体説明とタイミングダイアグラムによる代表例の図示とを組み合わせることによってインターフェースプロトコルが記述されている。このような仕様書の作成には、一般的なワードプロセッサおよびタイミングダイアグラム編集ツールが用いられている。

近年、数学的なプロトコル記述を入力することにより、ハードウェアモジュールの論理検証をおこなう際の検証環境を自動生成する技術が提供されている（たとえば、下記特許非文献１または２参照。）。これらの技術では、形式言語理論における「正規表現」に基づいたテキストベースのプロトコル記述言語が採用されている。

また、論理設計者が汎用的なタイミングダイアグラムを用いて任意の論理を記述することができるＧＵＩ（Ｇｒａｐｈｉｃａｌ Ｕｓｅｒ Ｉｎｔｅｒｆａｃｅ）が提供されている（たとえば、下記特許文献１参照。）。これによれば、ＧＵＩ上において、論理設計に関するテストケースを自動生成することができる。

特許第３２７１５２２号公報 ケー・アラ アンド ケー・スズキ， "ア プロポーサル フォー トランサクション−レベル ベリフィケーション ウイズ コンポーネント ラッパー ランゲージ，" イン ２００３ アイトリプルイー／エーシーエム（Ｋ． Ａｒａ ａｎｄ Ｋ．Ｓｕｚｕｋｉ， "Ａ Ｐｒｏｐｏｓａｌ ｆｏｒ Ｔｒａｎｓａｃｔｉｏｎ−Ｌｅｖｅｌ Ｖｅｒｉｆｉｃａｔｉｏｎ ｗｉｔｈ Ｃｏｍｐｏｎｅｎｔ Ｗｒａｐｐｅｒ Ｌａｎｇｕａｇｅ，" ｉｎ ２００３ ＩＥＥＥ／ＡＣＭ Ｄｅｓｉｇｎ Ａｕｔｏｍａｔｉｏｎ ａｎｄ Ｔｅｓｔ ｉｎ Ｅｕｒｏｐｅ Ｃｏｎｆｅｒｅｎｃｅ ａｎｄ Ｅｘｐｏｓｉｔｉｏｎ（ＤＡＴＥ ２００３）， ｐｐ． ８２−８７， Ｍａｒｃｈ ２００３．） エフ．バラリン アンド アール．パセロン， "ファンクショナル ベリフィケーション メソドロジー ベースド オン フォーマル インターフェース スペシフィケイション アンド トランサクター ジェネレイション，" イン ２００６ アイトリプルイー／エーシーエム（Ｆ．Ｂａｌａｒｉｎ ａｎｄ Ｒ． Ｐａｓｓｅｒｏｎｅ， "Ｆｕｎｃｔｉｏｎａｌ Ｖｅｒｉｆｉｃａｔｉｏｎ Ｍｅｔｈｏｄｏｌｏｇｙ Ｂａｓｅｄ ｏｎ Ｆｏｒｍａｌ Ｉｎｔｅｒｆａｃｅ Ｓｐｅｃｉｆｉｃａｔｉｏｎ ａｎｄ Ｔｒａｎｓａｃｔｏｒ Ｇｅｎｅｒａｔｉｏｎ，" ｉｎ ２００６ ＩＥＥＥ／ＡＣＭ Ｄｅｓｉｇｎ Ａｕｔｏｍａｔｉｏｎ ａｎｄ Ｔｅｓｔ ｉｎ Ｅｕｒｏｐｅ Ｃｏｎｆｅｒｅｎｃｅ ａｎｄ Ｅｘｐｏｓｉｔｉｏｎ（ＤＡＴＥ ２００６）， ｐｐ． １０１３−１０１８， Ｍａｒｃｈ ２００６．）

しかしながら、上述した従来技術によれば、使用する数学的なプロトコル記述をユーザが書きこなしたり、読みこなしたりする特別なスキルが必要となる。このため、このようなスキルを有していないユーザにとっては設計作業が非常に困難となり、結果的に設計期間の長期化を招いてしまうという問題があった。

この発明は、上述した従来技術による問題点を解消するため、タイミングダイアグラム編集時における作業時間の短縮および作業労力の軽減を実現するとともに、タイミングダイアグラムの品質を向上させるタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法を提供することを目的とする。

上述した課題を解決し、目的を達成するため、この発明にかかるタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法は、表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付け、入力された数値情報に基づいて前記波形画像の反復回数を決定し、前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示することを特徴とする。

この発明によれば、ユーザが直感的に理解可能な数学的記述を用いてタイミングダイアグラムの編集をおこなうことができる。

また、上記発明において、前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出し、この検出結果に基づいて前記波形画像の反復回数を決定することとしてもよい。

この発明によれば、ユーザが直感的に理解可能な数学的記述を用いてタイミングダイアグラムの編集をおこなうことができる。

また、上記発明において、前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、前記実例シーケンス画像を前記シーケンス画像として表示することとしてもよい。

この発明によれば、数値情報によって表現することができるシーケンス画像のうち、代表的な実例シーケンス画像を自動的に表示させることができる。

また、上記発明において、前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、前記反例シーケンス画像を前記シーケンス画像として表示することとしてもよい。

この発明によれば、数値情報によって表現することができないシーケンス画像のうち、代表的な反例シーケンス画像を自動的に表示させることができる。

また、上記発明において、波形画像に対応付けて当該波形画像の名称が記述される領域を表示することとしてもよい。

この発明によれば、タイミングダイアグラムのうち、任意のクロック数分の波形画像が表現するシーケンスの内容を直感的に確認することができる。

また、上記発明において、決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示させることとしてもよい。

この発明によれば、編集後のタイミングダイアグラムのうち、任意のクロック数分の波形画像を反復回数分連結させた連続波形画像が表現するシーケンスの内容を直感的に確認することができる。

本発明にかかるタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法によれば、タイミングダイアグラム編集時における作業時間の短縮および作業労力の軽減を実現するとともに、タイミングダイアグラムの品質を向上させるという効果を奏する。

以下に添付図面を参照して、この発明にかかるタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法の好適な実施の形態を詳細に説明する。

（タイミングダイアグラム編集処理の概要）
まず、この発明の実施の形態にかかるタイミングダイアグラム編集処理の概要について説明する。図１は、この発明の実施の形態にかかるタイミングダイアグラム編集処理の概要を示す説明図である。

図１に示すタイミングダイアグラム編集処理は、ハードウェアモジュールに関するインターフェースプロトコルを作成する際に実行される処理である。ここでは、まず、後述するタイミングダイアグラム編集装置２００（図２参照）のＧＵＩ上にタイミングダイアグラムを表示させる。

具体的には、たとえば、表形式やテキスト形式により入力されたデータから、ＧＵＩ上にタイミングダイアグラムを自動描画するようにしてもよい。また、ユーザがＧＵＩ上を直接編集することにより、タイミングダイアグラムを作成するようにしてもよい。

ここで、タイミングダイアグラムとは、設計対象において実行される処理を時系列に表現した図表であり、ハードウェアモジュールのインターフェースプロトコルを満たすシーケンスの一例である。なお、タイミングダイアグラムについての詳細な説明は後述する。

つぎに、ＧＵＩ上に表示されているタイミングダイアグラムに対して、数学的表現によるプロトコル定義をおこなう。数学的表現としては、たとえば、形式言語理論における正規表現と同等の表現能力を有するものを用いる。正規表現の基本演算は、連結、選択および繰り返しである。

ここで、ＸおよびＹが正規表現であらわされたシーケンスとする。たとえば、正規表現ＸＹは、Ｘに続いてＹが現れるシーケンスを表現している。また、正規表現Ｘ｜Ｙは、ＸまたはＹのいずれか一方が現れるシーケンスを表現している。また、正規表現Ｘ^*は、Ｘが連続して０回以上現れるシーケンスを表現している。さらに、これらの表現を組み合わせることにより様々なシーケンスを表現することができる。

ここでは、タイミングダイアグラムに示されている各シーケンス要素に対する連結指定、選択指定および繰り返し指定を階層的におこなう。このとき、ユーザは、ＧＵＩ上に表示されているタイミングダイアグラムに対して数学的記述を直接入力することにより、各シーケンス要素に対するプロトコル定義をおこなう。

このように、正規表現と同じ表現能力を有する数学的記述を用いることにより、ハードウェアモジュールのインターフェースプロトコルを効率的に表現することができる。なお、各シーケンス要素に対するプロトコル定義の入力についての説明は後述する。

プロトコル定義の入力が終了し、ＧＵＩ上に表示されているタイミングダイアグラム生成ボタンが押下された場合、プロトコル定義に従ったあらたなタイミングダイアグラムが自動的に生成される。そして、あらたに生成されたタイミングダイアグラムがＧＵＩ上に表示される。

ユーザは、ＧＵＩ上に表示されているあらたなタイミングダイアグラムにより、プロトコル定義の内容を直感的に確認することができる。ここで、プロトコル定義が不十分であると判断した場合には、プロトコル定義の追加または変更をおこなうことができ、さらにあらたなタイミングダイアグラムを生成することができる。

ここで生成されるタイミングダイアグラムは、特別な専門知識を必要としない数学的表現によって記述されているため、第三者によるプロトコル定義の理解を向上させることができる。また、あらたに生成されたタイミングダイアグラムに対して、さらにプロトコル定義の入力をおこなうことにより、タイミングダイアグラムとプロトコル定義との間で改善を繰り返しおこなうことができ、インターフェースプロトコルの品質の向上を図ることができる。

（タイミングダイアグラム編集装置のハードウェア構成）
つぎに、タイミングダイアグラム編集装置２００のハードウェア構成について説明する。図２は、タイミングダイアグラム編集装置２００のハードウェア構成を示すブロック図である。図２において、タイミングダイアグラム編集装置２００は、ＣＰＵ２０１と、ＲＯＭ２０２と、ＲＡＭ２０３と、ＨＤＤ（ハードディスクドライブ）２０４と、ＨＤ（ハードディスク）２０５と、ＦＤＤ（フレキシブルディスクドライブ）２０６と、着脱可能な記録媒体の一例としてのＦＤ（フレキシブルディスク）２０７と、ディスプレイ２０８と、Ｉ／Ｆ（インターフェース）２０９と、キーボード２１０と、マウス２１１と、スキャナ２１２と、プリンタ２１３とを備えている。また、各構成部は、バス２２０によってそれぞれ接続されている。

ここで、ＣＰＵ２０１は、タイミングダイアグラム編集装置２００の全体の制御を司る。ＲＯＭ２０２は、ブートプログラムなどのプログラムを記録している。ＲＡＭ２０３は、ＣＰＵ２０１のワークウェアとして使用される。ＨＤＤ２０４は、ＣＰＵ２０１の制御にしたがってＨＤ２０５に対するデータのリード／ライトを制御する。ＨＤ２０５は、ＨＤＤ２０４の制御で書き込まれたデータを記憶する。

ＦＤＤ２０６は、ＣＰＵ２０１の制御にしたがってＦＤ２０７に対するデータのリード／ライトを制御する。ＦＤ２０７は、ＦＤＤ２０６の制御で書き込まれたデータを記憶したり、ＦＤ２０７に記憶されたデータをタイミングダイアグラム編集装置２００に読み取らせたりする。

また、着脱可能な記録媒体として、ＦＤ２０７のほか、ＣＤ−ＲＯＭ（ＣＤ−Ｒ、ＣＤ−ＲＷ）、ＭＯ、ＤＶＤ（Ｄｉｇｉｔａｌ Ｖｅｒｓａｔｉｌｅ Ｄｉｓｋ）、メモリカードなどであってもよい。ディスプレイ２０８は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータを表示する。このディスプレイ２０８には、たとえば、ＣＲＴ、ＴＦＴ液晶ディスプレイ、プラズマディスプレイなどを採用することができる。

Ｉ／Ｆ２０９は、通信回線を通じてインターネットなどのネットワーク２１４に接続され、このネットワーク２１４を介して他の装置に接続される。そして、Ｉ／Ｆ２０９は、ネットワーク２１４と内部のインターフェースを司り、外部装置からのデータの入出力を制御する。Ｉ／Ｆ２０９には、たとえばモデムやＬＡＮアダプタなどを採用することができる。

キーボード２１０は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス２１１は、カーソルの移動や範囲選択、あるいはウインドウの移動やサイズの変更などをおこなう。ポインティングデバイスとして同様の機能を備えるものであれば、トラックボールやジョイスティックなどであってもよい。

スキャナ２１２は、画像を光学的に読み取り、装置内に画像データを読み込む。なお、スキャナ２１２は、ＯＣＲ機能を持たせてもよい。また、プリンタ２１３は、画像データや文書データを印刷する。プリンタ２１３には、たとえば、レーザプリンタやインクジェットプリンタなどを採用することができる。

（タイミングダイアグラム編集装置２００の機能的構成）
つぎに、この発明の実施の形態にかかるタイミングダイアグラム編集装置２００の機能的構成について説明する。図３は、この発明の実施の形態にかかるタイミングダイアグラム編集装置２００の機能的構成を示すブロック図である。図３において、タイミングダイアグラム編集装置２００は、入力部３０１と、決定部３０２と、表示部３０３と、検出部３０４と、から構成されている。

入力部３０１は、表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける。任意のクロック数分の波形画像とは、タイミングダイアグラムに示されているシーケンス画像のうち任意のクロック数間においてあらわれる波形画像である。

また、反復回数は、任意のクロック数分の波形画像を連続して表示させる場合における当該波形画像の繰り返し回数を示している。数値情報は、任意のクロック数分の波形画像の反復回数のパターンを表現するものであり、正規表現と同じ表現能力を有する数学的表現によってあらわされる。

数値情報として、たとえば、波形画像の反復回数をあらわす具体的な整数値を入力するようにしてもよい。また、数値情報として、波形画像の反復回数をあらわす具体的な整数値を複数入力するようにしてもよい。さらに、数値情報として、波形画像の反復回数として取り得る値の範囲を入力することができる。

決定部３０２は、入力部３０１によって入力された数値情報に基づいて波形画像の反復回数を決定する。具体的には、決定部３０２は、数値情報として波形画像の反復回数をあらわす具体的な整数値が複数入力された場合、複数の整数値のうちいずれか一つを波形画像の反復回数に決定する。

また、決定部３０２は、数値情報として波形画像の反復回数として取り得る値の範囲が入力された場合、当該範囲内の整数値のうちいずれか一つの整数値を波形画像の反復回数に決定するようにしてもよい。あるいは、決定部３０２は、波形画像の反復回数として取り得る値の範囲のうち、境界値または典型値を波形画像の反復回数に決定するようにしてもよい。

ここで、境界値とは、波形画像の反復回数として取り得る値の範囲において境界となる値であり、たとえば、範囲が「１以上３以下」となる場合には境界値は１および３となる。また、典型値とは、波形画像の反復回数として取り得る値の範囲のうち代表的な値である。なお、典型値は、仕様書などの記載に基づいてユーザがタイミングダイアグラム編集装置２００に直接入力するようにしてもよいし、ＨＤ２０５やＦＤ２０７などの記録媒体に予め記録されているものを自動的に読み出す構成としてもよい。

表示部３０３は、タイミングダイアグラムのうち波形画像が、当該波形画像を決定部３０２によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示する。連続波形画像とは、任意のクロック数分の波形画像が繰り返し表示された連続画像であり、その繰り返し回数は決定部３０２によって決定された反復回数である。具体的には、表示部３０３は、タイミングダイアグラムのうち波形画像とは異なる他の波形画像と、連続波形画像とを連結させたシーケンス画像を表示する。

また、シーケンス画像とは、タイミングダイアグラムのうち波形画像が連続波形画像に置き換えられた場合のシーケンス動作をあらわす波形画像である。具体的には、タイミングダイアグラムにおける任意のクロック数分の波形画像の代わりに、当該波形画像を反復回数分連結させた連続波形画像を表示することにより、あらたなタイミングダイアグラムが表示される。

検出部３０４は、タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する。実例シーケンス画像とは、数値情報にあらわされる波形画像の反復回数を用いて表現することができるシーケンス画像である。また、反例シーケンス画像とは、数値情報にあらわされていない波形画像の反復回数を用いて表現することができるシーケンス画像である。

実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定は、ユーザがキーボード２１０やマウス２１１などを操作することにより入力するようにしてもよい。より具体的には、たとえば、ディスプレイ２０８に表示されている実例ボタンまたは反例ボタンにカーソルをあわせてクリックすることにより表示指定をおこなうことができる。

また、決定部３０２は、検出部３０４の検出結果に基づいて波形画像の反復回数を決定するようにしてもよい。具体的には、決定部３０２は、検出部３０４によって実例シーケンス画像を表示指定する入力が検出された場合、数値情報によってあらわされる波形画像の反復回数の中から当該波形画像の反復回数を決定する。この場合、表示部３０３は、実例シーケンス画像をシーケンス画像して表示する。

また、決定部３０２は、検出部３０４によって反例シーケンス画像を表示指定する入力が検出された場合、数値情報によってあらわされていない波形画像の反復回数の中から当該波形画像の反復回数を決定する。この場合、表示部３０３は、反例シーケンス画像をシーケンス画像として表示する。

また、表示部３０３は、波形画像に対応付けて当該波形画像の名称が記述される領域を表示する。波形画像の名称は、ユーザによって任意に記述可能であり、たとえば、波形画像によって表現されるシーケンス動作をあらわすキーワードなどである。また、名称が記述される領域の大きさや表示位置は、任意に設定可能である。

さらに、表示部３０３は、決定部３０２によって決定された波形画像の反復回数に応じて領域の大きさを変化させて表示する。具体的には、たとえば、決定部３０２によって決定された波形画像の反復回数が「３」であった場合、波形の進行方向に領域を３倍に伸ばして表示する。

（タイミングダイアグラムの具体例）
ここで、タイミングダイアグラムについての具体的な説明をおこなう。図４は、ＷＲＩＴＥシーケンスに対応するタイミングダイアグラムの一例を示す説明図である。図４に示すタイミングダイアグラム４００には、各シーケンスについて、クロックサイクルごとの信号の値が示されている。

なお、タイミングダイアグラム４００におけるｃｌｏｃｋ＿ｉは、ハードウェアモジュールのクロック入力信号であり、このハードウェアモジュールは他に入力信号ｗｒｉｔｅ＿ｉ、ｒｅａｄ＿ｉ、ｅｎｄ＿ｉ、ｄａｔａ＿ｉ［３１：０］、出力信号ｄａｔａ＿ｏ［３１：０］、ｒｅａｄｙ＿ｏを有している。

タイミングダイアグラム４００に示すＷＲＩＴＥシーケンスは、具体的には、まず、ｗｒｉｔｅ信号がアドレスデータとともに入力され、応答信号であるｒｅａｄｙ＿ｏ信号を待つ。そして、応答信号（ｒｅａｄｙ＿ｏ信号）があった場合に、つぎの状態に移行して一のデータを送信する。ここで、一のデータの転送が終了し、応答信号であるｒｅａｄｙ＿ｏ信号があった場合には、さらにつぎのデータを転送して応答信号を待つ。

この基本形となるタイミングダイアグラム４００に対してプロトコル定義を入力することにより、ハードウェアモジュールのインターフェースプロトコルを満たす様々なタイミングダイアグラムを作成する。ここで、プロトコル定義について説明する。

図５は、ＷＲＩＴＥシーケンスに対応するプロトコル定義の一例を示す説明図である。プロトコル定義は、タイミングダイアグラム４００の各サイクルを最下層とした階層構造となっている。ユーザは、タイミングダイアグラム４００のうち任意のサイクル数のシーケンス要素（任意のクロック数分の波形画像）の反復回数をあらわす数値情報を入力することにより、タイミングダイアグラム４００に対するプロトコル定義をおこなう。

また、ユーザは、少なくとも一以上のサイクルによって構成されるシーケンス要素に対して、任意に名称を記述することができる。ここでは、名称を記述する領域（たとえば、領域５０３）が、タイミングダイアグラム４００の下方に表示されている。この名称を記述する領域の大きさは、各シーケンス要素の波形の大きさに対応付けられている。

具体的には、タイミングダイアグラム４００における２サイクル目から３サイクル目で構成されるシーケンス要素にＷＡ、４サイクル目から５サイクル目で構成されるシーケンス要素にＷＤ、６サイクル目から７サイクル目で構成されるシーケンス要素にＷＥ、２サイクル目から７サイクル目で構成されるシーケンス要素にＷＲＩＴＥという名称が、各シーケンス要素の波形の大きさに対応付けられた大きさの領域に記述されている。

すなわち、タイミングダイアグラム４００における最下層のシーケンス要素を連結させてシーケンス要素ＷＡ、ＷＤおよびＷＥがそれぞれ構成されており、さらに、下位のシーケンス要素ＷＡ、ＷＤおよびＷＥを連結させて上位のシーケンス要素ＷＲＩＴＥが構成されている。

なお、ユーザが各シーケンス要素の名称を記述する場合は、まず、タイミングダイアグラム４００の下方に表示されている領域の中から任意の領域を指定し、指定した領域内に任意のキーワードを入力することによって各シーケンス要素の名称を記述することができる。

つぎに、各シーケンス要素に対するプロトコル定義を入力する。具体的には、各シーケンス要素の反復回数をあらわす数値情報を、タイミングダイアグラム４００の下方に設けられたセル５０４内に入力する。たとえば、数値情報として単純な整数値「ｎ」を入力した場合、対応するシーケンス要素がｎ回繰り返されることを示す。また、数値情報として「ｎ．．ｍ」と入力した場合、対応するシーケンス要素がｎ回以上ｍ回以下の範囲で繰り返されることを示す。

また、数値情報として「ｎ．．^*」と入力した場合、対応するシーケンス要素がｎ回以上であれば上限無く繰り返されてもよいことを示す。また、数値情報として「ｎ，ｍ」と入力した場合、下位のシーケンス要素がｎ回またはｍ回の繰り返し、換言すると、ｎ回の繰り返しおよびｍ回の繰り返しの選択を示す。

具体的には、たとえば、シーケンス要素５０１（ＷＡの先頭サイクルに相当）の反復回数をあらわす数値情報として「１．．^*」が入力されている。これは、シーケンス要素５０１が１回以上であれば上限無く繰り返されてもよいことを示している。

また、シーケンス要素５０２（ＷＤに相当）の反復回数をあらわす数値情報として「０，１，３」が入力されている。これは、シーケンス要素５０２の繰り返しを、０回の繰り返し、１回の繰り返しおよび３回の繰り返しの中から選択することを示している。

このように、任意のシーケンス要素に対して反復回数をあらわす数値情報を数学的記述により入力することにより、タイミングダイアグラム４００に対するプロトコル定義をおこなう。これにより、様々なシーケンス要素に対する連結指定、選択指定および繰り返し指定を階層的におこなうことができる。

また、タイミングダイアグラム４００の下方に表示されているＥｘａｍｐｌｅｓボタン５０５またはＣｏｕｎｔｅｒｅｘａｍｐｌｅｓボタン５０６を選択することによって、入力されたプロトコル定義に基づくハードウェアモジュールの実例シーケンスまたは反例シーケンスを自動的に作成することができる。たとえば、ユーザがマウス２１１を操作してマウスカーソルをＥｘａｍｐｌｅｓボタンまたはＣｏｕｎｔｅｒｅｘａｍｐｌｅｓボタンに合わせてクリックすることによりいずれか一方を選択することができる。

ここで、実例シーケンスおよび反例シーケンスを作成する際の具体的な処理を説明する。まず、図５に示されているプロトコル定義の中からシーケンス要素に対する選択指定または繰り返し指定を抽出する。すなわち、プロトコル定義の中から、数値情報として単純な整数値が１つ入力されているものを除く他の選択指定または繰り返し指定を抽出する。

ここでは、ＷＤの反復回数をあらわす選択指定「０，１，３」、ＷＡの先頭サイクルの反復回数をあらわす繰り返し指定「１．．^*」、ＷＤの先頭サイクルの反復回数をあらわす繰り返し指定「０．．^*」およびＷＥの先頭サイクルの反復回数をあらわす繰り返し指定「０．．^*」がある。これら４つの項目を、それぞれＣ₁、Ｃ₂、Ｃ₃およびＣ₄とする。

まず、実例シーケンスの具体例について図６〜８を用いて説明する。図６〜図８は、実例シーケンスの具体例を示す説明図である。ここでは、選択指定については、それぞれの選択肢に対応する整数値を用いて実例シーケンスを生成する。

また、繰り返し指定については、繰り返し回数の境界値および当該境界値以外のランダムに選ばれた典型値を用いて実例シーケンスを生成する。なお、各項目間における組み合わせは考慮せず、それぞれのケースが１回以上選択されるように実例シーケンスを生成する。

図６〜図８において、Ｃ₁については０回、１回および３回の３通りのケース（それぞれＣ₁₀、Ｃ₁₁、Ｃ₁₃とする）、Ｃ₂については１回のケースまたは２回以上のケース（それぞれＣ₂₁、Ｃ₂₂₊とする）、Ｃ₃およびＣ₄については０回のケースと１回以上のケース（それぞれＣ₃₀、Ｃ₃₁₊およびＣ₄₀、Ｃ₄₁₊とする）が存在している。

以上すべてのケースについて実例シーケンスを生成する。すなわち、Ｃ₁〜Ｃ₄の各項目についてすべてのケースが選択されるまで、実例シーケンスの生成を繰り返す。このとき、選択されていないケースを優先し、既にすべてのケースが選択された項目からはランダムに選択する。

図６においては、上記ケースの中から、ケースＣ₁₀、Ｃ₂₁およびＣ₄₀が選択され対応する実例シーケンスが生成されている。具体的には、ケースＣ₁₀が選択されたため、ＷＤの繰り返し回数が「０」となり、ＷＤに対応する波形画像が削除されている。

また、ケースＣ₂₁が選択されたため、ＷＡの先頭サイクルの繰り返し回数が「１」となり、もとの波形画像と同じ波形画像が表示されている。また、ケースＣ₄₀が選択されたため、ＷＥの先頭サイクルの繰り返し回数が「０」となり、ＷＥの先頭サイクルに対応する波形画像が削除されている。なお、このときＣ₁₀を選択したため、項目Ｃ ₃ からは選択することができない。

図７においては、上記ケースの中から、ケースＣ₁₁、Ｃ₂₂₊、Ｃ₃₀およびＣ₄₁₊が選択され対応する実例シーケンスが生成されている。なお、このときＣ₁₁を選択したため項目Ｃ ₃ から１つ選択されている。

図８においては、上記ケースの中から、ケースＣ₁₃、Ｃ₂₁、Ｃ₃₁₊、Ｃ₃₀ 、Ｃ ₃₀ およびＣ₄₀が選択されて実例シーケンスが生成されている。なお、Ｃ₁₃を選択したため項目Ｃ ₃ から３つ選択されている。

なお、図６〜図８において説明した具体例では、各項目間における組み合わせを考慮することなく、それぞれのケースが１回以上選択されるように実例シーケンスを生成する構成としたが、各項目間における組み合わせを考慮してより多くの実例シーケンスを生成するようにしてもよい。

また、すべてのケースを列挙することなく、いくつかをランダムに選択して実例シーケンスを生成するようにしてもよいし、予め設定されている制約条件に基づいて注目すべきケースのみを選択して実例シーケンスを生成するようにしてもよい。

つぎに、反例シーケンスの具体例について図９〜図１３を用いて説明する。図９〜図１３は、反例シーケンスの具体例を示す説明図である。ここでは、プロトコル定義に違反している箇所が「×」で示されており、違反のために成立しないシーケンスがその名称の前の「〜」で示されている。なお、反例シーケンスを生成する場合の具体的な処理の流れは実例シーケンスを生成する場合とほぼ同様のため説明を省略する。

ここで、反例シーケンスを生成する際の基準を説明する。まず、繰り返し回数の選択指定については、代表例として選択肢に含まれるケースより１回多い、または、１回少ない回数を繰り返し回数として反例シーケンスを生成する。また、繰り返し指定の範囲指定については、繰り返し回数として取り得る値の範囲より１回多い、または、１回少ない回数を繰り返し回数として反例シーケンスを生成する。

さらに、一の反例シーケンスのうち、反例ケース（数値情報にあらわれていない繰り返し回数）は１箇所にしか現れないようにする。これにより、無限に存在する反例シーケンスを制限することができる。

図９においては、反例ケースとしてＷＡの繰り返し回数が「２」となっている。すなわち、ＷＡの繰り返し回数は「１」となっているため、繰り返し回数「２」を選択することができないにもかかわらずＷＡが２回繰り返されている。このため、プロトコル定義に違反している２回目のＷＡの箇所に「×」が示されており、違反のために成立しないＷＲＩＴＥシーケンスの名称の前に「〜」が示されている。

図１０においては、反例ケースとしてＷＤの繰り返し回数が「２」となっている。すなわち、ＷＤの繰り返し回数は「０，１，３」となっているため「２」を選択することができない。しかしながら、ＷＤが２回繰り返された後にすぐにＷＥが１回繰り返されている。このため、プロトコル定義に違反しているＷＥ（本来ならば、ＷＤとなっている）の箇所に「×」が示されており、違反のために成立しないＷＲＩＴＥシーケンスの名称の前に「〜」が示されている。

図１１においては、反例ケースとしてＷＤの繰り返し回数が「４」となっている。すなわち、ＷＤの繰り返し回数は「０，１，３」となっているため「４」を選択することができないにもかかわらず、ＷＤが４回繰り返されている。このため、プロトコル定義に違反している４回目のＷＤの箇所に「×」が示されており、違反のために成立しないＷＲＩＴＥシーケンスの名称の前に「〜」が示されている。

図１２においては、反例ケースとしてＷＡの先頭サイクルの繰り返し回数が「０」となっている。すなわち、ＷＡの先頭サイクルの繰り返し回数は「１．．^*」となっているため「０」を選択することができないにもかかわらず、ＷＡの先頭サイクルが０回繰り返されている。このため、プロトコル定義に違反しているＷＡの箇所に「×」が示されており、違反のために成立しないＷＡシーケンスおよびＷＲＩＴＥシーケンスの名称の前に「〜」が示されている。

図１３においては、反例ケースとしてＷＡの後尾サイクルの繰り返し回数が「０」となっている。すなわち、ＷＡの後尾サイクルの繰り返し回数は「１」となっているため「０」を選択することができないにもかかわらず、ＷＡの後尾サイクルが０回繰り返されている。このため、プロトコル定義に違反しているＷＥの箇所に「×」が示されており、違反のために成立しないＷＡシーケンスおよびＷＲＩＴＥシーケンスの名称の前に「〜」が示されている。

なお、実例シーケンスを生成する場合と同様に、すべてのケースを列挙することなく、いくつかをランダムに選択して実例シーケンスを生成するようにしてもよいし、予め設定されている制約条件に基づいて注目すべきケースのみを選択して実例シーケンスを生成するようにしてもよい。

また、ＷＲＩＴＥシーケンスの他に、たとえば、ＲＥＡＤシーケンスに対応するプロトコル定義を入力することもできる。図１４は、ＲＥＡＤシーケンスに対応するプロトコル定義の一例を示す説明図である。

図１４に示すようなＲＥＡＤシーケンスに対応するプロトコル定義を、ＷＲＩＴＥシーケンスに対応するプロトコル定義と同じようにタイミングダイアグラム編集装置２００に入力する。これにより、実例シーケンスおよび反例シーケンス生成時において、ＷＲＩＴＥとＲＥＡＤとの選択指定をおこなうことができる。

このように、考えられるすべての種類のシーケンス（ここでは、ＷＲＩＴＥおよびＲＥＡＤ）をタイミングダイアグラム編集装置２００に入力することによって、対象となるハードウェアモジュールに対応するプロトコル定義を完成させることができる。

（タイミングダイアグラム編集処理手順）
つぎに、この発明の実施の形態にかかるタイミングダイアグラム編集装置２００のタイミングダイアグラム編集処理手順について説明する。図１５は、この発明の実施の形態にかかるタイミングダイアグラム編集装置２００のタイミングダイアグラム編集処理を示すフローチャートである。

図１５のフローチャートにおいて、まず、タイミングダイアグラム編集装置２００のディスプレイ２０８にタイミングダイアグラムを表示させる（ステップＳ１５０１）。ここで、表示されるタイミングダイアグラムは、タイミングダイアグラム編集装置２００に入力されたものであってもよいし、ユーザがＧＵＩ上で直接編集して作成したものであってもよい。

つぎに、タイミングダイアグラムに示されている各シーケンス要素に対するプロトコル定義の入力を受け付ける（ステップＳ１５０２）。具体的には、ユーザがキーボード２１０やマウス２１１を操作することにより、各シーケンス要素に対するプロトコル定義を入力する。

そして、タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定が検出されたか否かを判断する（ステップＳ１５０３）。具体的には、ユーザの操作入力により、Ｅｘａｍｐｌｅｓボタン５０５またはＣｏｕｎｔｅｒｅｘａｍｐｌｅｓボタン５０６（図５参照）を押下することによって表示指定をおこなうことができる。

ここで、表示指定が検出されるのを待って、検出された場合（ステップＳ１５０３：Ｙｅｓ）、つぎに、実例シーケンスの表示指定か否かを判断する（ステップＳ１５０４）。すなわち、ステップＳ１５０３においてユーザが押下したボタンがＥｘａｍｐｌｅｓボタン５０５であったか否かを判断する。

そして、実例シーケンスの表示指定であった場合（ステップＳ１５０４：Ｙｅｓ）、ステップＳ１５０２において入力されたプロトコル定義に従って、実例シーケンスを生成する（ステップＳ１５０５）。具体的には、ステップＳ１５０２において入力されたプロトコル定義に従って、図６〜図８に示すような実例シーケンスを生成する。

最後に、生成した実例シーケンスをディスプレイ２０８に表示して（ステップＳ１５０６）、本フローチャートによる一連の処理を終了する。なお、実例シーケンスをディスプレイ２０８に表示した場合、ステップＳ１５０２に移行して一連の処理を繰り返すように構成してもよい。

また、ステップＳ１５０４において、実例シーケンスの表示指定ではなかった場合（ステップＳ１５０４：Ｎｏ）、ステップＳ１５０２において入力されたプロトコル定義に従って、反例シーケンスを生成する（ステップＳ１５０７）。すなわち、ステップＳ１５０３においてユーザの操作入力により押下されたボタンがＣｏｕｎｔｅｒｅｘａｍｐｌｅｓボタン５０６であったと判断して反例シーケンスを生成する。

最後に、生成した反例シーケンスをディスプレイ２０８に表示して（ステップＳ１５０８）、本フローチャートによる一連の処理を終了する。なお、反例シーケンスをディスプレイ２０８に表示した場合、ステップＳ１５０２に移行して一連の処理を繰り返すように構成してもよい。

以上説明したように、この発明の実施の形態にかかるタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法によれば、タイミングダイアグラム編集時における作業時間の短縮および作業労力の軽減を実現するとともに、タイミングダイアグラムの品質を向上させることができる。

なお、本実施の形態で説明したタイミングダイアグラム編集方法は、予め用意されたプログラムをパーソナル・コンピュータやワークステーションなどのコンピュータで実行することにより実現することができる。このプログラムは、ハードディスク、フレキシブルディスク、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネットなどのネットワークを介して配布することが可能な伝送媒体であってもよい。

（付記１）表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付けさせる入力工程と、
前記入力工程によって入力された数値情報に基づいて前記波形画像の反復回数を決定させる決定工程と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示させる表示工程と、
をコンピュータに実行させることを特徴とするタイミングダイアグラム編集プログラム。

（付記２）前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出させる検出工程を前記コンピュータに実行させ、
前記決定工程は、
前記検出工程の検出結果に基づいて前記波形画像の反復回数を決定させることを特徴とする付記１に記載のタイミングダイアグラム編集プログラム。

（付記３）前記決定工程は、
前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定させ、
前記表示工程は、
前記実例シーケンス画像を前記シーケンス画像として表示させることを特徴とする付記２に記載のタイミングダイアグラム編集プログラム。

（付記４）前記決定工程は、
前記検出工程によって前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定させ、
前記表示工程は、
前記反例シーケンス画像を前記シーケンス画像として表示させることを特徴とする付記２または３に記載のタイミングダイアグラム編集プログラム。

（付記５）前記波形画像に対応付けて当該波形画像の名称が記述される領域を表示させる領域表示工程を前記コンピュータに実行させることを特徴とする付記１〜４のいずれか一つに記載のタイミングダイアグラム編集プログラム。

（付記６）前記領域表示工程は、
前記決定工程によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示させることを特徴とする付記５に記載のタイミングダイアグラム編集プログラム。

（付記７）付記１〜６のいずれか一つに記載のタイミングダイアグラム編集プログラムを記録した前記コンピュータに読み取り可能な記録媒体。

（付記８）表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける入力手段と、
前記入力手段によって入力された数値情報に基づいて前記波形画像の反復回数を決定する決定手段と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定手段によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示する表示手段と、
を備えることを特徴とするタイミングダイアグラム編集装置。

（付記９）前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する検出手段を備え、
前記決定手段は、
前記検出手段の検出結果に基づいて前記波形画像の反復回数を決定させることを特徴とする付記８に記載のタイミングダイアグラム編集装置。

（付記１０）前記決定手段は、
前記検出手段によって前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示手段は、
前記実例シーケンス画像を前記シーケンス画像として表示することを特徴とする付記９に記載のタイミングダイアグラム編集装置。

（付記１１）前記決定手段は、
前記検出手段によって前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示手段は、
前記反例シーケンス画像を前記シーケンス画像として表示させることを特徴とする付記９または１０に記載のタイミングダイアグラム編集装置。

（付記１２）前記表示手段は、
前記波形画像に対応付けて当該波形画像の名称が記述される領域を表示することを特徴とする付記８〜１１のいずれか一つに記載のタイミングダイアグラム編集装置。

（付記１３）前記表示手段は、
前記決定手段によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示することを特徴とする付記１２に記載のタイミングダイアグラム編集装置。

（付記１４）表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける入力工程と、
前記入力工程によって入力された数値情報に基づいて前記波形画像の反復回数を決定する決定工程と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示する表示工程と、
を含んだことを特徴とするタイミングダイアグラム編集方法。

（付記１５）前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する検出工程を含み、
前記決定工程は、
前記検出工程の検出結果に基づいて前記波形画像の反復回数を決定させることを特徴とする付記１４に記載のタイミングダイアグラム編集方法。

（付記１６）前記決定工程は、
前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示工程は、
前記実例シーケンス画像を前記シーケンス画像として表示することを特徴とする付記１５に記載のタイミングダイアグラム編集方法。

（付記１７）前記決定工程は、
前記検出工程によって前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示工程は、
前記反例シーケンス画像を前記シーケンス画像として表示することを特徴とする付記１５または１６に記載のタイミングダイアグラム編集方法。

（付記１８）前記波形画像に対応付けて当該波形画像の名称が記述される領域を表示させる領域表示工程を含むことを特徴とする付記１４〜１７のいずれか一つに記載のタイミングダイアグラム編集方法。

（付記１９）前記領域表示工程は、
前記決定工程によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示することを特徴とする付記１８に記載のタイミングダイアグラム編集方法。

以上のように、本発明にかかるタイミングダイアグラム編集プログラム、記録媒体、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法は、ハードウェアモジュールの論理検証に有用であり、特に、ハードウェアモジュールのインターフェースプロトコルを記述する技術に適している。

この発明の実施の形態にかかるタイミングダイアグラム編集処理の概要を示す説明図である。 タイミングダイアグラム編集装置のハードウェア構成を示すブロック図である。 この発明の実施の形態にかかるタイミングダイアグラム編集装置の機能的構成を示すブロック図である。 ＷＲＩＴＥシーケンスに対応するタイミングダイアグラムの一例を示す説明図である。 ＷＲＩＴＥシーケンスに対応するプロトコル定義の一例を示す説明図である。 実例シーケンスの具体例を示す説明図（その１）である。 実例シーケンスの具体例を示す説明図（その２）である。 実例シーケンスの具体例を示す説明図（その３）である。 反例シーケンスの具体例を示す説明図（その１）である。 反例シーケンスの具体例を示す説明図（その２）である。 反例シーケンスの具体例を示す説明図（その３）である。 反例シーケンスの具体例を示す説明図（その４）である。 反例シーケンスの具体例を示す説明図（その５）である。 ＲＥＡＤシーケンスに対応するプロトコル定義の一例を示す説明図である。 この発明の実施の形態にかかるタイミングダイアグラム編集装置のタイミングダイアグラム編集処理を示すフローチャートである。

符号の説明

２００ タイミングダイアグラム編集装置
３０１ 入力部
３０２ 決定部
３０３ 表示部
３０４ 検出部

Claims (5)

1. 表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付けさせる入力工程と、
   前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出させる検出工程と、
   前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記入力工程によって入力された数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定させる決定工程と、
   前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示させる表示工程と、
   をコンピュータに実行させることを特徴とするタイミングダイアグラム編集プログラム。
2. 前記波形画像に対応付けて当該波形画像の名称が記述される領域を、前記決定工程によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示させる領域表示工程を前記コンピュータに実行させることを特徴とする請求項１に記載のタイミングダイアグラム編集プログラム。
3. 前記入力工程は、
   前記数値情報として、前記タイミングダイアグラムのうち、第１の波形画像の反復回数をあらわす第１の数値情報と、第２の波形画像の反復回数をあらわす第２の数値情報と、前記第１および第２の波形画像を連結させた第３の波形画像の反復回数をあらわす第３の数値情報との入力を受け付けさせ、
   前記決定工程は、
   前記実例シーケンス画像の表示指定が検出された場合、前記第１の数値情報によってあらわされる前記第１の波形画像の反復回数の中から当該第１の波形画像の第１の反復回数を決定させ、かつ、前記第２の数値情報によってあらわされる前記第２の波形画像の反復回数の中から当該第２の波形画像の第２の反復回数を決定させ、かつ、前記第３の数値情報によってあらわされる前記第３の波形画像の反復回数の中から当該第３の波形画像の第３の反復回数を決定させ、
   前記表示工程は、
   前記タイミングダイアグラムのうち、前記第１の波形画像が当該第１の波形画像を前記第１の反復回数分連結させた連続波形画像に置き換えられ、前記第２の波形画像が当該第２の波形画像を前記第２の反復回数分連結させた連続波形画像に置き換えられ、前記第３の波形画像が当該第３の波形画像を前記第３の反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示させることを特徴とする請求項１または２に記載のタイミングダイアグラム編集プログラム。
4. 表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける入力手段と、
   前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する検出手段と、
   前記検出手段によって前記実例シーケンス画像の表示指定が検出された場合、前記入力手段によって入力された数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定する決定手段と、
   前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定手段によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示する表示手段と、
   を備えることを特徴とするタイミングダイアグラム編集装置。
5. コンピュータが、
   表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける入力工程と、
   前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する検出工程と、
   前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記入力工程によって入力された数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定する決定工程と、
   前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示する表示工程と、
   を実行することを特徴とするタイミングダイアグラム編集方法。

Images