JPH09128411A - 論理回路の検証方法、論理設計支援装置および論理回路検証システム - Google Patents

Abstract

(57)【要約】 【課題】プリント回路板やＬＳＩの論理設計段階での論
理検証作業に於いて、論理検証のテストデータ作成作業
を容易にする。 【解決手段】タイムチャート入力部３００により複数の
信号波形のタイムチャートを取り込み、波形データ処理
部４１０で各信号波形の変化点を示す条件やタイミング
条件を含んだデータを要素解析した時間指定データや条
件指定データ等の要素データを、動作データ種類別に波
形データテーブル４２０に格納する。一方、論理検証証
用動作記述データ文法仕様書８００から、動作データ種
類別に記述データマスタフォーマットを取り込み、動作
記述データ作成部４４０で、各要素データを基にマスタ
フォーマットに従って動作記述データを自動生成する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プリント回路板や
ＬＳＩの論理設計に利用される論理検証支援装置に関す
る。

【０００２】

【従来の技術】近年、論理検証装置の発達により、プリ
ント回路板やＬＳＩの論理設計段階で、論理回路の動作
を検証することができる。論理設計作業は、まず、設計
者がブロック図及び論理図を作成する。その後、論理図
の作成過程で作成した論理仕様、即ちタイムチャートを
基に、検証者が論理検証用テストデータを作成し、論理
検証装置によって論理図の動作を検証する。設計者は、
論理検証結果を解析して不具合があれば、その内容によ
り、ブロック図・論理図・論理検証用テストデータ等の
修正を行い、検証者が再び論理検証を繰り返している。

【０００３】

【発明が解決しようとする課題】従来の論理検証作業
で、論理検証用テストデータの作成は、タイムチャート
形式で記述された論理回路の動作仕様書を基に、動作記
述形式のテストデータを人手によって作成しているた
め、作業効率が悪く論理検証に長時間を要していた。

【０００４】また、動作記述形式のデータの作成には、
動作記述形式の記述フォーマットや文法などを熟知して
いる必要があり、作業量に見合う専門技術者の確保に困
難があった。さらに、設計部門と検証部門間のインタラ
クションによって誤作業が発生し、検証ひいては論理回
路製品の品質を低下させていた。

【０００５】本発明の目的は、論理検証用の動作記述デ
ータを自動生成して、論理検証作業の省力化と作業時間
の短縮、さらには論理検証品質の向上を図る論理設計支
援方法とその装置を提供することにある。

【０００６】

【課題を解決するための手段】上記目的を達成するため
に、本発明は対象の論理回路を検証するための動作記述
データを作成し、このデータに基づいて発生したテスト
信号を前記論理回路に入力し、その出力信号から論理動
作を検証する論理回路の検証方法において、論理回路の
動作条件を記述した複数の波形種類のタイムチャートを
取り込み、前記タイムチャートまたはそれらの相互関係
によって定まる動作種類別データから、前記動作記述デ
ータを生成することを特徴とする。

【０００７】前記波形種類に、時間指定波形と第１の条
件指定波形を含み、前記時間指定波形の変化点の時間に
対応して前記第１の条件指定波形の変化点を決定し、条
件指定データを作成することを特徴とする論理回路の検
証方法。

【０００８】前記波形種類に、前記論理動作を予想し時
間の概念を含まない期待信号波形と第２の条件指定波形
を含み、前記期待信号波形の変化点に対応して前記第２
の条件指定波形の変化点を決定し、条件指定データを作
成することを特徴とする。

【０００９】前記期待信号波形の変化点は、前記時間指
定波形または前記第１の条件指定波形の変化点に基づい
て決定することを特徴とする。

【００１０】前記出力信号に含まれ、前記期待信号波形
に相応する所定信号が前記期待信号波形と異なる変化の
場合に、不一致をメッセージすることを特徴とする。

【００１１】前記動作記述データは、前記条件指定デー
タや時間指定データを含む前記動作種類別データ毎に、
対応するマスタフォーマットにしたがって記述すること
を特徴とする。

【００１２】また、本発明は、計算機装置によって構成
され、対象の論理回路のテストデータ発生に用いる動作
記述データの作成を支援する論理設計支援装置におい
て、論理回路の動作条件を記述した複数の波形種類のタ
イムチャートを取り込むタイムチャート入力手段と、前
記タイムチャートの波形を要素解析して、動作種類別デ
ータを作成する波形データ処理手段と、前記動作種類別
データを基に所定のマスタフォーマットに従って前記動
作記述データを生成する検証用動作記述データ生成手段
と、前記タイムチャートの波形と値を記憶する入力波形
記憶手段と、前記動作種類別データを記憶する動作デー
タ記憶手段と、前記動作記述データを記憶する検証用動
作記述データ記憶手段と、を有することを特徴とする。

【００１３】前記タイムチャート入力手段は、画面の位
置情報によってマトリクス区分される入力画面上に、波
形パターンの記入エリアと波形種類に応じたデータを識
別できる記入エリアを設け、これらエリアに入力された
波形パターンやデータを前記位置情報と対応づけられた
記憶エリアに格納することを特徴とする。

【００１４】前記波形データ処理手段は、入力されたタ
イムチャートの波形とデータを基に、時間指定データ、
条件指定データ、パルス幅指定データ及びセットアップ
／ホールド指定データの動作データ種類に分解し、その
データ種類毎に記憶することを特徴とする。また、これ
らデータに基づいて、前記タイムチャートの入力画面上
で各波形パターンの相互関係を示す補助線を描画するこ
とを特徴とする。

【００１５】さらに、本発明は、対象の論理回路を検証
するための動作記述データを入力してテストデータを発
生する信号発生装置と、前記テストデータを入力し記憶
している前記論理回路を動作させ結果を出力する試験装
置を備える論理回路検証システムにおいて、前記動作記
述データは、前記論理設計支援装置によって生成され、
出力されることを特徴とする。

【００１６】前記論理回路検証システムは、前記試験装
置から出力され、前記期待信号波形に相応する所定信号
が前記期待信号波形と異なる変化となる場合に、不一致
をメッセージする表示装置を備えることを特徴とする。

【００１７】これによれば、論理設計段階における論理
検証用テストデータを、タイムチャートを入力して自動
化できるので、論理検証作業の省力化と検証期間の短縮
を図ることができる。

【００１８】

【発明の実施の形態】以下、本発明の実施の形態を図面
にしたがって詳細に説明する。

【００１９】図１は、本発明の一実施形態による論理検
証システムの概略を示す構成図である。本システムによ
る論理検証のための入力データは、論理回路の論理動作
を波形図で規定したタイムチャート１００と、論理検証
用動作記述データの記述フォーマットと文法を定義した
記述データ文法仕様書８００である。

【００２０】論理検証支援装置２００は計算機装置で構
成され、タイムチャート１００、仕様書８００を入力す
る入力端末３００と、入力されたタイムチャートを要素
分解し、記述フォーマットと文法を基に、各要素から論
理検証用動作記述データを合成する動作記述データ生成
手段４００から構成されている。

【００２１】論理検証装置９００は、動作記述データ生
成手段４００で生成された論理検証用動作記述データを
基に、実際のテスト信号を発生する入力信号発生装置５
００と、検証対象の論理回路を記憶し、入力信号に対す
る論理回路の動作結果を出力する計算機装置６００及
び、論理検証した結果を表示する出力端末７００からな
る。

【００２２】図２は、一実施形態による論理検証支援装
置の構成を示すブロック図である。論理検証支援装置２
００の入力端末３００は、タイムチャート入力部３１
０、記述データマスタフォーマット入力部３２０を具備
している。

【００２３】タイムチャート入力部３１０は、時間指定
波形や条件指定波形のタイムチャートとタイミング情報
を入力できる手段を有している。入力方法としては、タ
イムチャートを直接グラフィカルに入力する方法と、市
販ソフトの表計算ツールや文書作成ツールを利用して信
号名称、信号値の変化時間、信号値、タイミング条件等
の情報を分離して入力する方法がある。記述データマス
タフォーマット入力部３２０は、仕様書を記憶している
ディスクなどの読出し手段を有し、動作記述データの種
類別にマスタフォーマットを取り込む。

【００２４】動作記述データ生成手段４００は、タイム
チャートとタイミング情報を取り込み、タイムチャート
波形の要素解析をして動作記述データの種類別に整理す
る波形データ処理部４１０と、それを記憶する波形デー
タテーブル４２０と、動作記述種類別に読み込んだマス
タフォーマットを記憶するマスタフォーマットファイル
４３０と、動作データ種類別のマスタフォーマットに従
って、論理検証用の動作記述データを作成する動作記述
データ作成部４４０と、作成されたデータを記憶する論
理検証用動作記述データファイル４５０を有している。

【００２５】図３は、論理検証支援装置の概略の動作を
示すフローチャートである。論理設計におけるタイムチ
ャートの作成（Ｓ１）と、記述データ文法仕様書の作成
（Ｓ２）が終了して、論理検証支援装置２００による図
中の点線内の処理Ｓ３〜Ｓ１２が可能になる。

【００２６】タイムチャートの信号波形の入力（Ｓ
３）、時間指定波形の時間の入力と波形データテーブル
の作成（Ｓ４）、条件指定波形の条件の入力と波形デー
タテーブルの作成（Ｓ５）、パルス幅チエック条件の入
力と波形データテーブルの作成（Ｓ６）、セットアップ
（Ｓｅｔｕｐ）／ホールド（Ｈｏｌｄ）タイムのチエッ
ク条件の入力と波形データテーブルの作成（Ｓ７）を行
う。さらに、各波形データテーブルを基に、各信号波形
の相互関係を示す矢線等の表示を行う（Ｓ８）。

【００２７】一方、記述データマスタフォーマットの入
力と記憶が行われる（Ｓ９、Ｓ１０）。次に、要素解析
結果である動作データ種類別の波形データテーブルを基
に、マスターフォーマットに従って論理検証用動作記述
データを作成し、記憶する（Ｓ１１、Ｓ１２）。

【００２８】以下に、各部の詳細な処理動作を説明す
る。図４、図５は、タイムチャート入力処理の詳細を示
すフローチャートである。本例では、入力端末３００に
ＣＲＴを使用し、タイムチャートの入力には市販の表計
算ツールソフト３１１を利用している。図４はステップ
Ｓ３〜Ｓ５、図５はステップＳ６〜Ｓ７の詳細フローで
ある。

【００２９】まず、タイムチャート入力のために、表計
算ツールソフト３１１によりワークシートを入力波形画
面として表示する（Ｓ３１）。なお、ワークシートは、
入力波形テーブル３１２として管理される。

【００３０】図６に、入力波形テーブル（ワークシー
ト）の一例を示す。入力波形テーブル３１２は信号名
称、ビット数及び入力部の入力セルを有し、入力部は条
件入力セル行、時間入力セル行、波形入力セル行及びチ
エック入力セル行の４行を１組とし、波形種類によって
使い分けられる。入力波形テーブル３１２はマトリクス
区分された記憶エリアを有し、画面上をマトリクス区分
したセル位置に対応して情報を管理している。各セルに
は下記（１）〜（４）の定義に従って情報を入力され
る。

【００３１】（１）条件入力セル行は、タイミング条件
のディレイ時間を数字で記入する。

【００３２】（２）時間入力セル行は、その時の値を維
持する時間幅を数字で記入する。

【００３３】（３）波形入力セル行は、信号の波形を直
線で記入する。

【００３４】（４）チエック入力セル行は、信号のパル
ス幅及び、信号の値を取り込むときのセットアップ／ホ
ールド時間のタイミング条件を、文字と数字で記入す
る。

【００３５】次に、キーボードより、入力波形画面上に
信号名称、ビット数を入力し（Ｓ３２）、波形入力セル
行に罫線書き込みコマンドで、タイムチャートの波形パ
ターンを描画する（Ｓ３３）。

【００３６】図７に、波形パターンの描画例を示す。１
ビットの波形はまたはの形式で、複数ビットのバス
ラインはの形式で表し、その時々の値をキーボードよ
り直接入力する。

【００３７】次に、時間指定波形については、キーボー
ドより時間幅を入力する（Ｓ４）。図８は、入力波形画
面の表示例である。図中に、時間指定波形として、波形
Ａ、Ｂと時間幅を入力した例を示す。なお、時間波形用
データテーブルの作成については後述する。

【００３８】次に、条件指定波形の条件入力（Ｓ５）の
ため、条件設定画面を呼び出して条件設定を宣言し（Ｓ
５１）、図８の入力波形画面の対象波形Ｃからの変化点
（）のセル位置を指示して、位置、値及び信号名称を
取り込み（Ｓ５２）、次に、波形Ｃに条件を与える波形
Ａ、Ｂの変化点（、）のセル位置を指示して各々の
信号名称、変化点の位置、値を取り込み、条件設定画面
に表示する（Ｓ５３）。

【００３９】図９に、条件設定画面を示す。図中のディ
レイ値で示したセルに、条件を与える波形の変化点から
対象波形が変化を開始するまでの遅延時間を入力する。

【００４０】条件設定が終了すると、画面上のＯＫボタ
ンを選択して条件設定画面を閉じるとともに、”条件を
与える波形（Ａ、Ｂ）”の信号名称、変化時のセルの位
置、値と、”対象波形（Ｃ）”の信号名称、変化時のセ
ルの位置、値を、後述する条件指定用波形テーブルに書
き込む（Ｓ５４）。なお、”対象波形（Ｅ）”と”条件
を与える波形（Ｄ）”についても、同様に処理される。

【００４１】ここで、条件指定波形のタイミング条件の
指定方法を詳細に説明する。本システムでは、タイミン
グ条件を時間指定波形Ａ、Ｂから指定する条件指定波形
Ｃの場合と、期待信号波形Ｄから指定する条件指定波形
Ｅの場合がある。

【００４２】前者の場合は、タイムチャートから入力し
た時間指定波形Ａ、Ｂの変化点を条件として、条件指定
波形Ｃのタイミング条件を決定する。従って、入力信号
発生装置５００は論理回路６００の動作結果に関係無
く、波形信号Ｃを発生できる。

【００４３】後者の場合は、予想される論理動作による
変化点を含む時間の概念を持たない期待信号波形Ｄをタ
イムチャートで与え、この変化点より条件指定波形Ｅの
タイミング条件を設定し、最初から入力信号発生装置５
００で条件指定波形Ｅを発生している。したがって、条
件指定波形Ｅに対する実時間の設定は、検証対象論理回
路６００から期待信号波形Ｄと同じ名称で出力される応
答信号波形Ｄの変化が発生した時点となる。また、応答
信号波形Ｄがある時間以内に所定の論理動作を示さない
場合には、不一致のメッセージを出力することにより、
動作検証作業を効率化している。

【００４４】次に、パルス幅チエック条件の入力（Ｓ
６）のため、入力波形画面上でチエックしたいパルス幅
の真下のチエック入力セル行のセルに、最小チエックで
あればｍｉｎとその時間、最大チエックであればｍａｘ
とその時間をキーボードより入力する。この入力例を、
図８の波形Ｃに示す。

【００４５】次に、セットアップ／ホールドのタイミン
グ条件の入力（Ｓ７）のため、タイミング設定画面を呼
び出し（Ｓ７１）、期待信号波形Ｄのチエック入力セル
行のセル位置を指示し、その位置、値、信号名称を取り
込み（Ｓ７２）、セットアップ／ホールドのチエック時
間をタイミング設定画面に入力する（Ｓ７３）。

【００４６】図１０に、タイミング設定画面を示す。画
面上には、対象信号名称（期待信号波形Ｄ）のセットア
ップ時間、ホールド時間及びセル位置と、条件信号名称
（条件指定波形Ｃ）の条件信号値、条件信号位置の設定
位置が表示されている。

【００４７】次に、入力波形画面上で、セットアップ／
ホールドのチエック条件となる波形Ｃの変化点のセル位
置を指示して、信号名称、変化点の位置、値を取り込ん
で（Ｓ７４）、セットアップ／ホールドのチエック時
間、条件指定信号波形の位置、値、信号名称を、セット
アップ／ホールド指定波形用テーブルに書き込む（Ｓ７
５）。

【００４８】ここで、波形用データテーブルの作成方法
を詳細に説明する。主に、上記で説明しなかった時間指
定波形用データテーブルと、パルス幅指定波形用データ
テーブルの作成について説明する。

【００４９】図１１に、一部の波形用データテーブルの
作成処理のフローチャートを示す。まず、図９の画面
（実際には、入力波形テーブル）上で、時間指定入力セ
ル行を左から順に読み、セル内の数字の有無を調べる
（Ｓ４１）。数字が有れば時間指定波形と認められるの
で、信号名称、ビット数のセルを読出し、時間指定波形
テーブルに書き込む（Ｓ４２）。さらに、時間入力セル
行を順に調べ、数字が有ればその数字（時間幅）とその
時の値（Ｈｉｇｈ／Ｌｏｗ）を時間指定波形テーブルに
書き込む（Ｓ４３）。

【００５０】同様に、チエック指定入力セル行を左から
順に読み、パルス幅指定文字ｍｉｎ／ｍａｘの有無を調
べる（Ｓ６１）。パルス幅指定の文字が有れば、パルス
幅チエック指定波形と認められるので、信号名称、ビッ
ト数のセルを読出し、パルス幅指定波形テーブルに書き
込む（Ｓ６２）。さらに、読んだ文字がｍｉｎであれ
ば、”＜”を、ｍａｘであれば”＞”を、ｍａｘまたは
ｍｉｎの時間、パルス幅の値、パルスの開始／終了セル
位置とともに、パルス幅指定波形テーブルに書き込む
（Ｓ６３）。

【００５１】図１２に、波形用データテーブル記憶形式
を示す。各テーブルでは、第１行に対象信号名称、第２
行以下に対象信号のデータを記入している。

【００５２】同図（ａ）−１は、時間指定波形用テーブ
ルの一般形式、（ａ）−２は、図８の時間指定波形Ａの
入力例である。時間指定波形Ｂも同様になる。同図
（ｂ）−１は、条件指定波形用テーブルの一般形式で、
（ｂ）−２は、条件指定波形Ｃの入力例である。（ｂ）
−３は、条件指定波形Ｅの入力例で、対象信号がバスラ
インの場合、値は（０Ｆ／ＦＦ）のように表現する。本
例では、条件が真（＝０）のとき：０Ｆ、条件が偽（＝
１）のときＦＦになる。

【００５３】同図（ｃ）−１は、パルス幅指定波形用テ
ーブルの一般形式で、（ｃ）−２は、図８の条件指定波
形Ｃの入力例である。同図（ｄ）−１は、セットアップ
／ホールド指定波形用テーブルの一般形式で、（ｄ）−
２は、図８の期待信号波形Ｄの入力例である。

【００５４】次に、信号の相互関係を表示する処理方法
を詳細に説明する。この相互関係の表示は検証用動作記
述データの生成に直接には関係しないが、ユーザがタイ
ムチャートから動作関係を把握するのを容易にする。

【００５５】図１３は、信号相関関係の表示処理（Ｓ
８）を示すフローチャート、図１４は、その表示結果を
示す入力波形画面である。

【００５６】まず、条件指定波形の相関関係の表示を行
う（Ｓ８１）。具体的には、図１２（ｂ）−２の条件指
定波形用テーブルより、条件指定波形のセル位置（波形
ＡのＤ４／波形ＢのＤ８）と変化する波形のセル位置
（波形ＣのＫ１２）を読み、表計算ツールの曲線ライン
発生コマンドで、図示のように両セル位置を矢印付き曲
線ラインで結ぶ。本例のように条件が複数ある場合は、
変化する波形のセル位置（波形ＣのＫ１２）に近い方の
条件指定波形のセル位置（波形ＢのＤ８）を矢印付き曲
線で結び、この条件（波形ＢのＤ８）と残りの条件のセ
ル位置（波形ＡのＤ４）を矢印無しの曲線で結ぶ。

【００５７】次に、パルス幅の矢印表示を行う（Ｓ８
２）。具体的には、図１２（ｄ）−２のパルス幅指定波
形用テーブルより、パルスの開始点と終了点のセル位置
を調べ、両セル位置間を図示のように矢印付き直線で結
ぶ。

【００５８】次に、セットアップ／ホールドチエック条
件の相関関係の表示を入力セル行う（Ｓ８３）。具体的
には、セットアップ／ホールド指定波形用テーブルよ
り、セットアップ／ホールドのチエック条件となる波形
の変化点のセル位置（信号ＣのＫ１２）と、チエックす
る側のセル位置（波形ＤのＫ１６）を矢印付き直線で結
ぶ。なお、期待信号波形Ｄと、条件波形Ｅの相互関係に
ついても、ステップＳ８１と同様にして表示する。

【００５９】次に、記述データマスターフォーマットの
入力方法を詳細に説明する。

【００６０】図１５は、記述データマスターフォーマッ
トの入力方法を示すフローチャートである。まず、入力
する文法の動作データ種類を、時間指定波形データ、条
件指定波形データ、パルス幅指定波形データ、セットア
ップ／ホールド指定波形データから順次、選択して指定
し（Ｓ９１）、指定された種類に対応する文法のファイ
ルを開き（Ｓ９２）、記述データ文法仕様書８００より
種類別の記述データマスタフォーマットを入力する（Ｓ
９３）。最後に、動作データ種類別にファイル４３０に
記憶する（Ｓ１０）。

【００６１】図１６、図１７に、動作データ種類別の記
述データマスタフォーマットの例を示す。同図の（ａ）
は時間指定波形用、（ｂ）は条件指定波形用、（ｃ）は
パルス幅指定波形用、（ｄ）はセットアップ／ホールド
指定波形用の各フォーマットである。マスタフォーマッ
トの信号名、値、ディレイ値などの変数には、各動作デ
ータ種類別にテーブルに設定したデータが入る。なお、
データを繰返し複数記入する可能性がある部分は、括弧
［ ］を記入している。

【００６２】次に、論理検証用動作記述データの生成方
法を詳細に説明する。

【００６３】図１８は、論理検証用動作記述データの生
成方法（Ｓ１１）を示すフローチャートである。ここで
は、条件指定波形用テーブル（図１２（ｂ）−２）の例
で説明する。

【００６４】まず、データ取り込み済の波形用テーブル
を読み込む（Ｓ１１１）。次に、同一動作データ種類の
記述データマスタフォーマットを開く（Ｓ１１２）。そ
して、記述データフォーマット中の変数（信号名、値な
ど）を、波形用テーブルの該当データで書き換える（Ｓ
１１３）。

【００６５】この結果、図示の条件指定用動作記述デー
タが生成される。マスタフォーマットの条件信号名の記
入欄には括弧［ ］があるので、条件指定波形用テーブ
ルの条件信号Ａ、Ｂ双方の名称や値が書き込まれる。な
お、波形用テーブルの変数名は、マスタフォーマットの
変数名と対応付けられている。

【００６６】図１９、図２０に、動作データ種類別の論
理検証用動作記述データの例を示す。同図の（ａ）は時
間信号波形Ａ、（ｂ）は時間信号波形Ｂの各時間指定波
形用テーブルに書き込まれたデータを、時間指定波形用
のマスタフォーマットに従って記述した時間指定用動作
記述データである。

【００６７】これにより、時間指定波形Ａは開始後５単
位時間Ｌｏｗ、４０単位時間Ｈｉｇｈ、４０単位時間Ｌ
ｏｗ、終了までＨｉｇｈと記述される。同様に、時間指
定波形Ｂは開始後５単位時間Ｌｏｗ、８０単位時間Ｈｉ
ｇｈ、終了までＬｏｗと記述される。

【００６８】（ｃ）は条件指定波形Ｃの条件指定波形用
テーブルを基に、波形Ｃは波形Ａ、波形Ｂが共にＨｉｇ
ｈに変化してから３５時間単位後にＨｉｇｈに変化し、
そうでなければＬｏｗと記述される。

【００６９】（ｄ）は条件指定波形Ｅの条件指定波形用
テーブルを基に、波形Ｅは期待信号波形ＤがＬｏｗに変
化してから１０単位時間後に次のバスのデータを取り込
むと記述される。これにより、時間概念を含まない対象
論理回路の動作を示す期待信号波形Ｄにより、条件指定
波形Ｅのタイミング条件を記述できる。

【００７０】（ｅ）は波形Ｃのパルス幅指定波形用テー
ブルを基に、条件指定波形Ｃが立ち上がってから落ちる
まで、最低１０単位時間保証する動作を記述できる。

【００７１】（ｆ）は波形Ｄのセットアップ／ホールド
指定波形用テーブルを基に、期待信号波形Ｄは条件指定
波形ＣがＨｉｇｈになったときに、セットアップが５単
位時間、ホールドタイム２単位時間を保証する動作を記
述できる。

【００７２】以上により、本実施形態の論理検証支援装
置２００により、入力されたタイムチャートに基づいた
論理検証用動作記述データの生成方法について説明し
た。次に、この動作記述データによる論理検証装置９０
０の動作を説明する。

【００７３】図２１は、論理検証装置９００の動作を示
す説明図である。図中、Ａ００は論理検証装置の概略動
作を表す概念図である。以下、この概念図により説明す
る。対象論理回路Ａ０２は、論理図入力手段を通して論
理検証装置を構成する計算機６００に、論理素子と接続
関係を示すソフトウエアで記憶されている論理図であ
る。

【００７４】入力信号発生装置Ａ０１は本例の場合、波
形Ａ、Ｂに対応する時間指定用動作記述データ、波形
Ｃ、Ｅに対応する条件指定用動作記述データ、波形Ｃに
対応するパルス幅指定用動作記述データ、波形Ｄに対応
するセットアップ／ホールド指定用動作記述データを取
り込み、波形Ａ、Ｂ、Ｃ及びＥの入力信号（テストデー
タ）を発生する。

【００７５】検証対象の論理回路Ａ０２は、入力信号
Ａ、Ｂ、Ｃ及びＥと、その入力信号の波形に対する論理
検証結果（テスト結果）を含む応答信号１〜ｎ及び、期
待信号波形Ｄに対応する応答信号Ｄを出力する。入力信
号Ａ、Ｂ、Ｃ及び応答信号Ｄは、入力信号発生装置Ａ０
１にフィードバックされ、期待信号波形Ｄと応答信号Ｄ
の波形が不一致のとき又は、波形Ｃのパルス幅チエック
や波形Ｄのセットアップ／ホールドのタイミングに不具
合あれば、それらを示すメッセージが表示される。不具
合のメッセージが表示されなければ、論理回路は期待通
りの論理動作を実行していることが確認される。

【００７６】以上のように、本実施形態の論理検証シス
テムによれば、タイムチャートを入力することで論理検
証用動作記述データを生成する論理検証支援装置を備え
て、検証用動作記述データの作成作業を回避化してい
る。

【００７７】また、論理動作の結果として与えられる条
件を、予想される論理動作を模擬した期待信号波形とそ
れにより条件設定される条件指定波形のタイムチャート
により最初から与えて、試験途中での条件設定を大幅に
削減している。

【００７８】ちなみに、ＩＣ搭載が１３０個程度のプリ
ント板回路で、従来はテストデータの作成に３０人・日
を要していたのが、本実施例により７人・日に短縮され
た。また、論理規模が３ｋゲート程度のＬＳＩ論理回路
の設計で６０人・日を要していたのが、ほぼ半減できる
ようになった。

【００７９】

【発明の効果】本発明の論理設計支援方法によれば、論
理回路の設計段階で作成するタイムチャートを入力し
て、論理検証用の動作記述データを自動生成できるの
で、検証作業の時間を大場に短縮できる効果がある。

【００８０】本発明の論理設計支援装置によれば、タイ
ムチャートの入力によって論理検証用の動作記述データ
を自動生成でき、また、タイムチャートの要素や相互関
係が画面表示できるので、検証作業が容易になる。ま
た、未熟練者などによる動作記述ミスが低減され、論理
検証の質的向上が可能になる。

【図面の簡単な説明】

【図１】本発明の一実施形態による論理回路検証システ
ムの概略構成図。

【図２】本発明の一実施形態による論理設計支援装置の
構成を示すブロック図。

【図３】本発明の一実施形態による論理回路検証方法の
動作を示すフローチャート。

【図４】タイムチャート入力の詳細な手順を示すフロー
チャート。

【図５】タイムチャート入力の詳細な手順を示すフロー
チャート。

【図６】入力波形テーブル（ワークシート）のフォーマ
ット図。

【図７】入力波形の一例を示す波形パターン図。

【図８】タイムチャートの入力例を示す入力波形画面。

【図９】タイムチャートの条件を設定する条件設定画
面。

【図１０】タイムチャートのタイミング条件を設定する
タイミング設定画面。

【図１１】条件指定波形の条件を設定する手順を示すフ
ローチャート。

【図１２】動作種類別の動作データテーブルを示すフォ
ーマット図。

【図１３】タイムチャート波形間の相互関係を示す表示
処理のフローチャート。

【図１４】タイムチャートの相互関係を描画した入力波
形画面。

【図１５】動作記述マスタフォーマットの入力処理を示
すフローチャート。

【図１６】動作種類別のマスタフォーマットの具体例を
示す説明図。

【図１７】動作種類別のマスタフォーマットの具体例を
示す説明図。

【図１８】動作種類別の動作データから論理検証用の動
作記述データを生成する処理の説明図。

【図１９】論理検証用動作記述データの具体例を示す説
明図。

【図２０】論理検証用動作記述データの具体例を示す説
明図。

【図２１】論理回路検証システムの動作を概念適に説明
する説明図。

【符号の説明】

１００…タイムチャート、２００…論理検証支援装置、
３００…入力端末（ＣＲＴ）、３１０…タイムチャート
入力部、３１１…表計算ツールソフト、３１２…入力波
形テーブル、３２０…記述データマスタフォーマット入
力部、４００…動作記述データ生成手段、４１０…波形
データ処理部、４２０…波形データテーブル、４３０…
マスタフォーマットファイル、４４０…動作記述データ
作成部、５００…入力信号発生装置、６００…計算機装
置（論理回路）、７００…出力端末、８００…記述デー
タ文法仕様書、９００…論理検証装置。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 榊原 哲 茨城県日立市大みか町五丁目２番１号 日 立プロセスコンピュータエンジニアリング 株式会社内 (72)発明者 渡辺 健久 茨城県日立市大みか町五丁目２番１号 日 立プロセスコンピュータエンジニアリング 株式会社内 (72)発明者 河村 敏明 茨城県日立市大みか町五丁目２番１号 日 立プロセスコンピュータエンジニアリング 株式会社内 (72)発明者 石橋 靖雄 茨城県日立市大みか町五丁目２番１号 株 式会社日立製作所大みか工場内

Claims (13)

【特許請求の範囲】
1. 【請求項１】 対象の論理回路を検証するための動作記
   述データを作成し、このデータに基づいて発生したテス
   ト信号を前記論理回路に入力し、その出力信号から論理
   動作を検証する論理回路の検証方法において、 論理回路の動作条件を記述した複数の波形種類のタイム
   チャートを取り込み、前記タイムチャートまたはそれら
   の相互関係によって定まる動作種類別データから、前記
   動作記述データを生成することを特徴とする論理回路の
   検証方法。
2. 【請求項２】 請求項１において、 前記波形種類に、時間指定波形と条件指定波形を含み、
   前記時間指定波形の変化点の時間に対応して前記条件指
   定波形の変化点を決定し、条件指定データを作成するこ
   とを特徴とする論理回路の検証方法。
3. 【請求項３】 請求項２において、 前記波形種類に、前記論理動作を予想し時間の概念を含
   まない期待信号波形と前記条件指定波形（以下、第１の
   条件指定波形と呼ぶ）とは別の第２の条件指定波形を含
   み、前記期待信号波形の変化点に対応して前記第２の条
   件指定波形の変化点を決定し、第２の条件指定データを
   作成することを特徴とする論理回路の検証方法。
4. 【請求項４】 請求項３において、 前記期待信号波形の変化点は、前記時間指定波形または
   前記第１の条件指定波形の変化点に基づいて決定するこ
   とを特徴とする論理回路の検証方法。
5. 【請求項５】 請求項３または４において、 前記出力信号に含まれ、前記期待信号波形に相応する所
   定信号が前記期待信号波形と異なる変化の場合に、不一
   致をメッセージすることを特徴とする論理回路の検証方
   法。
6. 【請求項６】 請求項１〜５のいずれか１項において、 前記動作記述データは、前記条件指定データや時間指定
   データを含む前記動作種類別データ毎に、対応するマス
   タフォーマットにしたがって記述することを特徴とする
   論理回路の検証方法。
7. 【請求項７】 対象の論理回路を検証するための動作記
   述データを作成し、このデータに基づいて発生したテス
   ト信号を前記論理回路に入力し、その出力信号から論理
   動作を検証する論理回路の検証方法において、 波形種類として少なくとも一つの時間指定波形、少なく
   とも二つ（以下では、第１、第２と呼ぶ）の条件指定波
   形及び期待信号波形を含む、論理回路の動作条件を記述
   した複数のタイムチャートを入力され、 前記時間指定波形から変化点の時間と値を時系列に取り
   込む時間指定データ、前記第１の条件指定波形の変化点
   を一つまたは複数の前記時間指定波形の変化点に対応し
   て設定する第１の条件指定データ、変化点を設定された
   前記第１の条件指定波形からパルス幅の時間の最大値ま
   たは最小値を取り込むパルス幅指定データ、前記期待信
   号波形のセットアップまたはホールドのタイミングを前
   記第１の条件指定波形の変化点に対応して設定するセッ
   トアップ／ホールド指定データ、前記第２の条件指定波
   形の変化点を前記期待信号波形のセットアップまたはホ
   ールドのタイミングに対応して設定する第２の条件指定
   データを含む動作種類別の動作記述データをマスタフォ
   ーマットに従って生成することを特徴とする論理回路の
   検証方法。
8. 【請求項８】 計算機装置によって構成され、対象の論
   理回路のテストデータ発生に用いる動作記述データの作
   成を支援する論理設計支援装置において、 論理回路の動作条件を記述した複数の波形種類のタイム
   チャートを取り込むタイムチャート入力手段と、前記タ
   イムチャートの波形を要素解析して、動作種類別データ
   を作成する波形データ処理手段と、前記動作種類別デー
   タを基に所定のマスタフォーマットに従って前記動作記
   述データを生成する検証用動作記述データ作成手段と、 前記タイムチャートの波形と値を記憶する入力波形記憶
   手段と、前記動作種類別データを記憶する動作データ記
   憶手段と、前記動作記述データを記憶する検証用動作記
   述データ記憶手段と、を有することを特徴とする論理設
   計支援装置。
9. 【請求項９】 請求項８において、 前記タイムチャート入力手段は、画面の位置情報によっ
   てマトリクス区分される入力画面上に、波形パターンの
   記入エリアと波形種類に応じたデータを識別できる記入
   エリアを設け、これらエリアに入力された波形パターン
   やデータを前記位置情報と対応づけられた記憶エリアに
   格納することを特徴とする論理設計支援装置。
10. 【請求項１０】 請求項８または９において、 前記波形データ処理手段は、入力されたタイムチャート
    の波形と波形間の相互関係によって定まるデータを基
    に、時間指定データ、条件指定データ、パルス幅指定デ
    ータ及びセットアップ／ホールド指定データの動作デー
    タ種類に分解し、そのデータ種類毎に記憶することを特
    徴とする論理設計支援装置。
11. 【請求項１１】 請求項１０において、 前記動作データ種類毎のデータに基づいて、前記タイム
    チャートの入力画面上で各波形パターンの相互関係を示
    す補助線を描画することを特徴とする論理設計支援装
    置。
12. 【請求項１２】 対象の論理回路を検証するための動作
    記述データを入力してテストデータを発生する信号発生
    装置と、前記テストデータを記憶して前記論理回路を動
    作させ、その結果を出力する試験装置を備える論理回路
    検証システムにおいて、 前記動作記述データは、請求項８記載の論理設計支援装
    置によって生成され、出力されることを特徴とする論理
    回路検証システム。
13. 【請求項１３】 請求項１２において、 前記論理設計支援装置は、請求項５に記載の論理回路の
    検証方法を適用して構成され、前記試験装置から出力さ
    れる前記所定信号が前記期待信号波形と異なる変化の場
    合に、不一致をメッセージする表示装置を備えることを
    特徴とする論理回路検証システム。