JP2000163456A - 論理検証方法 - Google Patents

Abstract

(57)【要約】 【課題】 操作性や観測性に優れた論理検証を、効率良
く高速に行う。 【解決手段】 論理エミュレータ装置１０１に実装され
る、検証対象論理構造モデル１０５に当該検証対象論理
構造モデル１０５のＩ／Ｏ環境等を提供する擬似論理モ
デル３０４を組み込み、テストベクトル３０３ａには、
当該テストベクトル３０３ａの検証対象論理構造モデル
１０５への入力による論理検証動作を制御するテスト制
御プログラム３０５およびインタフェース情報３０６を
組み込み、外部の汎用言語で記述されたＧＵＩインタフ
ェースを持つ処理制御プログラム２０１から、インタフ
ェース情報３０６を介して、擬似論理モデル３０４およ
びテスト制御プログラム３０５との間でテスト情報の授
受を行うことで、ＧＵＩインタフェースにて論理検証の
操作性と観測性を向上させ、高速な論理エミュレータ装
置１０１による効率の良い大規模論理装置の一貫した論
理検証を達成する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理検証技術に関
し、特に、論理シミュレータや論理エミュレータを用い
た論理回路装置の機能検証技術等に適用して有効な技術
に関する。

【０００２】

【従来の技術】従来の論理エミュレーション装置（論理
エミュレータ）を用いた論理エミュレーションは、論理
検証対象のシステム装置や論理チップの一部分である論
理モデルを動作記述言語で動作を記述し、設計された論
理構造モデルを論理コンパイルして論理エミュレーショ
ン装置内のＲＡＭに実装し、論理モデル動作をエミュレ
ーションするインサーキット方式で論理検証を行ってい
た。また、インサーキットではない装置や論理チップ
は、インサーキット論理とのインタフェースを確保する
ために論理エミュレーション装置の外部接続ピンに互い
の外部信号線を接続し、信号値レベルで動作の同期をと
っている。また、論理動作の観測やテストベクトルを個
別に指定する場合には、論理エミュレーション装置内の
観測可能な内部信号や外部ピンに対して論理値を与えた
り、あらかじめ指定された信号線に対して信号線単位で
の観測を行い、論理動作の確認を行っていた。

【０００３】このような論理エミュレーション技術に関
しては、特開平０２−２４５８３１号公報に示されたよ
うな方法等が知られている。すなわち、検証対象の論理
機能を外部からプログラム可能なゲートアレイ上にマッ
ピングすることにより、目的の論理機能をハードウェア
的に実現して、高速な実行および論理検証を可能にしよ
うとするものである。

【０００４】

【発明が解決しようとする課題】従来のインサーキット
方式は、近年の論理規模の増大や論理の複雑さに対して
部分論理での論理エミュレーションのためシステムテス
トのような論理品質を確保するには充分とは言えず、論
理チップ全体での論理エミュレーションによるシステム
論理検証が必要になってきている。論理チップ全体での
論理検証では、論理規模の増大や論理の複雑化も進み、
従来の信号線レベルでの論理値を与えたり、信号線の値
を観測したりする論理エミュレーションでは信号線全て
に論理値を設定しなければならないため、効率の良い論
理検証を行うことが難しい。観測性や操作性を向上させ
るには、マンマシンインタフェースを充実させ、テスト
容易性を向上させる必要がある。

【０００５】また、論理チップ全体での論理シミュレー
ションは、論理シミュレータではソフトウェアで論理モ
デルを作成するため、ハードウェア動作に比べてソフト
ウェア動作のため論理検証に莫大な時間を要し、製品を
短期開発し、早期出荷しなければならない今日では適用
が難しく、解決しなければならない課題の一つである。

【０００６】また、検証対象の論理が周辺装置などの論
理の場合には、論理単体での論理検証動作を確認出来な
い場合もあり、検証レベルの異なるアーキテクチャ論理
シミュレータ等を併用して検証対象論理の論理検証を行
ったり、専用の論理シミュレータを用いたりして論理検
証を行うことが必要になる。したがって、効率の良い論
理シミュレータを選択し、システムテストレベルで併用
出来る論理エミュレーション方式の構築が重要な課題で
ある。

【０００７】また、論理エミュレーションが終了した段
階で実チップが製造され、チップ単体または装置全体で
の論理品質検査を実施する時、それまでの論理検証環境
を継続して使用できれば論理不良が発見された場合に論
理シミュレーションや論理エミュレーションへのフィー
ドバックが容易であり、検証環境の構築ということを考
えれば一貫した論理検証環境の構築が必要である。

【０００８】本発明の目的は、論理チップ全体での論理
エミュレーションによるシステム論理検証を短時間に効
率よく行うことが可能な論理検証技術を提供することに
ある。

【０００９】本発明の他の目的は、マンマシンインタフ
ェースを充実させ、論理エミュレーションにおける内部
状態の観測性や操作性、さらにはテスト容易性を向上さ
せることが可能な論理検証技術を提供することにある。

【００１０】本発明の他の目的は、論理モデルから実チ
ップに至るまでの一貫した論理検証を実現することが可
能な論理検証技術を提供することにある。

【００１１】本発明の他の目的は、論理検証の環境構築
に要する工数や期間を短縮して、論理検証工程における
コスト削減を実現することが可能な論理検証技術を提供
することにある。

【００１２】

【課題を解決するための手段】本発明は、目的論理装置
の論理検証を目的として、論理エミュレータ上に目的論
理装置の論理構造モデルと、論理構造モデルと共に動作
することで当該論理構造モデルの実行環境を提供する擬
似論理モデルを実装し、論理エミュレータ上で実行され
るテストベクトルには、外部の処理制御プログラムとの
間で情報の授受を行うことで論理検証動作を制御するテ
スト制御プログラムを実装するものである。

【００１３】擬似論理モデルとプログラムと論理エミュ
レータを制御する処理制御プログラムは、たとえばネッ
トワークを介して論理エミュレータに接続された情報処
理装置上に実装され、論理エミュレータと当該処理制御
プログラムの間で情報通信を行う手段と、論理エミュレ
ータを非同期に動作させる手段と、各種情報の可視化表
示や情報の入力環境等を提供するグラフィカルユーザー
インタフェースと、論理エミュレータ以外の論理シミュ
レータ等の検証手法の異なる論理検証プログラムを当該
処理制御プログラムに接続する接続プラグインタフェー
スと、論理エミュレータ上で動作するテスト制御プログ
ラムやテストベクトルとのインタフェースとを有してお
り、目的論理装置の論理検証の操作性と観測性を向上さ
せ効率よく高速に論理検証を可能とする。

【００１４】また、目的論理装置の実チップが実装され
る専用試験装置において、実チップに入力されるテスト
ベクトル内に、外部の処理制御プログラムとの間で情報
の授受を行うことで論理検証動作を制御するテスト制御
プログラムを実装するものである。この場合、処理制御
プログラムは、上述の構成の他に、任意の接続インタフ
ェースを介して専用試験装置が接続される情報処理装置
に実装され、前記接続インタフェースを制御するデバイ
スドライバとの情報の授受を行うドライバ制御プログラ
ムを有し、実チップの論理検証における操作性や観測性
を向上させ効率良く高速に論理検証を行う。また、テス
トベクトルや、テスト制御プログラム、処理制御プログ
ラムは、論理エミュレータの場合と共通のものを用いる
ことができる。

【００１５】また、テストベクトル内のテスト制御プロ
グラムと擬似論理モデルとのインタフェースを持つ処理
制御プログラムにおいて、論理エミュレータに実装した
目的論理装置の論理モデルの内部信号値の観測や制御を
行い、処理状態をＩ／Ｏリクエストとして制御し、テス
ト制御プログラムとＩ／Ｏリクエストを処理制御プログ
ラムが送受信することで、論理エミュレータを制御しな
がら目的論理装置の論理検証を行うことができる。

【００１６】

【発明の実施の形態】以下、本発明の実施の形態を図面
を参照しながら詳細に説明する。

【００１７】図１は本発明の第一の実施の形態である論
理検証方法が実施される情報処理システムの構成の一例
を示す概念図であり、図２は、本発明の論理検証方法を
実現するためのソフトウェアの構成の一例を例示した概
念図である。また、図８は、本実施の形態の論理検証方
法の参考技術の論理エミュレーションシステムの構成の
一例を示す概念図である。

【００１８】先ず、図８を用いて本実施の形態の説明の
前に、本実施の形態の参考技術の論理エミュレーション
システムの概要を説明する。

【００１９】図８の論理エミュレーションシステム１０
０は、ＬＡＮ接続された論理エミュレータ装置１０１
と、同じくＬＡＮ接続された情報処理装置１０８上で動
作する論理エミュレータ制御プログラム１０９で構成さ
れる。論理エミュレータ装置１０１は、制御装置１０２
と読み書き可能なＲＡＭ１０３で構成され、制御装置１
０２には論理エミュレータ装置１０１に供給される動作
クロックを発生させるクロック発生装置１０４と、論理
エミュレーション制御用の制御信号ピン１０７などで構
成される。なお、本発明に関する構成要素のみについて
特化して説明を行う。

【００２０】制御信号ピン１０７は、エミュレーション
状態を論理エミュレータ制御プログラム１０９に報告し
たり、動作指示を受け取るための外部ピンである。ＲＡ
Ｍ１０３は、検証対象論理構造モデル格納エリア１０５
に後述の検証対象論理構造モデル１１４ａを実装した
り、テストベクトル格納エリア１０６にテストベクトル
を実装するために用いる。論理エミュレータ制御プログ
ラム１０９は、論理エミュレータ装置１０１および論理
エミュレータ制御プログラム１０９を制御するための制
御部１１０と、ＲＡＭアクセス部１１２と、動作記述言
語で記述された検証対象論理１１４を論理コンパイルす
る論理コンパイラ１１１と、論理エミュレーションシス
テム全体をグラフィカルに表示、制御するグラフィカル
ユーザーインタフェース（ＧＵＩ）制御部１１３で構成
される。論理コンパイラ１１１は、検証対象論理１１４
を入力とし、論理コンパイルして検証対象論理構造モデ
ル１１４ａとして論理エミュレータ装置１０１内のＲＡ
Ｍ１０３の検証対象論理構造モデル格納エリア１０５に
実装する。

【００２１】次に論理エミュレーションを実際に行う手
順について説明する。前述した検証対象論理１１４を論
理コンパイルして検証対象論理構造モデル１１４ａとし
てＲＡＭ１０３に実装した後、テストベクトルをＲＡＭ
アクセス部１１２によりテストベクトル格納エリア１０
６に実装し、制御部１１０によって制御信号ピン１０７
に対して動作条件情報を送り、クロック発生装置１０４
によって実際にクロックが供給され、論理エミュレータ
装置１０１を動作させ論理エミュレーションを行う。次
に一定サイクル論理エミュレーションを行った後、制御
装置１０２は、制御信号ピン１０７にエミュレーション
動作状態情報をセットし、この情報を制御部１１０が監
視し、その状態情報に合わせて引き続きクロックを供給
したり、中断してＲＡＭ１０３の状態を観測したりす
る。これらの処理を繰り返し行うことで論理検証を行っ
ている。

【００２２】次に図２に本発明の各実施の形態の論理検
証方法を実現するための処理制御プログラムの一例を示
す。処理制御プログラム２０１は、ネットワーク上に起
動された論理エミュレータ制御プログラム１０９との間
でプロセス間通信を行うプロセス間通信制御部２０３
と、論理エミュレータ制御部２０４と、テストベクトル
制御部２０５と、論理エミュレータ装置１０１との間で
送受信されるデータの変換処理を行うデータ変換部２０
６と、論理エミュレータ装置１０１以外の検証装置およ
び検証システムを処理制御プログラム２０１に接続する
ための接続プラグインタフェース２０７と、本発明の論
理検証方式を総合的にコントロールするグラフィカルユ
ーザーインタフェース（ＧＵＩ）制御部２０２、で構成
される。なお、詳細な各処理部の説明は実施の形態の説
明で行う。また、図２には、簡単のため、プロセス間通
信制御部２０３〜接続プラグインタフェース２０７の構
成要素をすべて含む構成が例示されているが、これらの
うちの必要な構成要素のみを含む構成も本発明に含まれ
る。

【００２３】次に図１を用いて本発明の第一の実施の形
態である論理検証方法が実施される論理エミュレーショ
ンシステムを説明する。図１に示した第一の実施の形態
の論理エミュレーションシステム３００において、検証
対象論理を機能レベルアーキテクチャを実現した論理と
して論理コンパイルして論理エミュレータ装置１０１の
ＲＡＭ１０３にセットし、論理検証を行う手法を説明す
る。

【００２４】なお、本実施の形態の論理エミュレーショ
ンシステム３００では、論理エミュレータ装置１０１
は、インサーキット方式の論理検証において、後述の擬
似論理モデル３０４を論理エミュレータ装置１０１内に
実装することにより、検証対象の論理構造モデルのみを
実装した状態でのベクトル検証を可能にするものであ
り、検証対象の論理モデル（と等化な動作を行う実チッ
プ）の実際の動作環境を提供するために周辺のハードウ
ェア回路を論理エミュレータ装置１０１に接続する必要
はない。

【００２５】たとえば検証対象がマイクロプロセッサで
ある場合、その全体の論理機能の検証には、実際のシス
テムの構築に用いられる周辺回路との入出力環境を実現
する必要があるため、図８に例示されたような参考技術
の論理エミュレーションシステム１００では、あらかじ
め、周辺回路のハードウェア環境を準備しておき、マイ
クロプロセッサの動作をエミュレートする論理エミュレ
ータ装置１０１に対して配線接続する必要がある。これ
に対して、本実施の形態の論理エミュレーションシステ
ム３００の場合には、後述の擬似論理モデル３０４が、
目的の検証対象論理構造モデル３０７ａの動作に必要な
Ｉ／Ｏインタフェースを実現するので、実際の周辺回路
等への接続（インサーキット接続）は不要であり、論理
エミュレータ装置１０１の単体で検証動作が可能であ
る。

【００２６】本実施の形態では、テストベクトル３０３
は、ＬＡＮに接続された情報処理装置３０１（Ａ）に格
納されている。また、ＬＡＮに接続された情報処理装置
３０２（Ｂ）には、論理エミュレータ制御プログラム１
０９および処理制御プログラム２０１が実装されて実行
される。情報処理装置３０１（Ａ）や情報処理装置３０
２（Ｂ）は、たとえばＵＮＩＸ等のＯＳで動作するワー
クステーションやパーソナルコンピュータ等で構成され
る。

【００２７】先ず、前準備として検証対象論理３０７と
テストベクトル３０３を準備する。前記の検証対象論理
３０７には、処理制御プログラム２０１とのインタフェ
ース機能を有する擬似論理モデル３０４を組み込み、論
理コンパイラ１１１で論理コンパイルして検証対象論理
構造モデル３０７ａとしておく。擬似論理モデル３０４
の機能としては、論理動作中の内部信号線の論理値を観
測したり監視したりする機能と、検証対象論理３０７
（検証対象論理構造モデル３０７ａ）の動作をコントロ
ールするシステムコントロール機能と処理制御プログラ
ム２０１とのインタフェース機能を有する。また、テス
トベクトル３０３には、処理制御プログラム２０１との
インタフェース機能を持つテスト制御プログラム３０５
と、処理制御プログラム２０１とのインタフェースに使
用するインタフェース情報３０６を組み込んでおく。

【００２８】次に、論理エミュレータ制御プログラム１
０９を起動し、準備した検証対象論理３０７のコンパイ
ル結果を、ＲＡＭアクセス部１１２を用いて、検証対象
論理構造モデル３０７ａとしてＲＡＭ１０３内の検証対
象論理構造モデル格納エリア１０５にセットする。

【００２９】次に処理制御プログラム２０１を起動し、
準備しておいたテストベクトル３０３をデータ変換部２
０６でＲＡＭ１０３にセット可能な形式のテストベクト
ル３０３ａに変換し、論理エミュレータ制御部２０４内
のＲＡＭアクセス部２１０経由でＲＡＭ１０３内のテス
トベクトル格納エリア１０６にセットする。

【００３０】図８に示した参考技術の論理エミュレーシ
ョンシステム１００と異なる点は、擬似論理モデル３０
４とテストベクトル３０３ａ内のテスト制御プログラム
３０５およびインタフェース情報３０６、および論理エ
ミュレータ制御プログラム１０９と独立な処理制御プロ
グラム２０１が設けられていることである。

【００３１】また、本実施の形態の論理エミュレータ制
御プログラム１０９は、Ｔｃｌ／Ｔｋインタフェースを
有するため、処理制御プログラム２０１をＴｃｌ／Ｔｋ
で作成することにより、参考技術である図８の論理エミ
ュレータ制御プログラム１０９の機能をそのまま使用で
きると共に論理エミュレータ制御プログラム１０９の拡
張機能の一貫として容易に接続可能である。つまり、処
理制御プログラム２０１は、論理エミュレータ装置１０
１を外部から操作可能にする拡張プログラムと言える。

【００３２】なお、Ｔｃｌ／Ｔｋとは、カリフォルニア
大学バークレー校で開発されたグラフィカルインタフェ
ース（ＧＵＩ）を有する汎用スクリプト言語であり、オ
ープンシェルスクリプトとして多くの大学や研究所の
他、大小様々な企業で利用されている。

【００３３】また、本発明で採用したＴｃｌ／Ｔｋイン
タフェースは、本実施例の論理エミュレータ装置がＴｃ
ｌ／Ｔｋインタフェースを有していたためであり、本発
明を実施する際、マンマシンインタフェースを提供する
ＧＵＩ機能はＸウインドウシステムやＭｏｔｉｆ等で実
現することが可能である。更に言い換えれば、ＧＵＩイ
ンタフェースを持ったシステムであれば、その機能やシ
ステムを限定するものではない。

【００３４】次に実際に論理エミュレーションを行う手
順に沿って説明する。テストベクトル３０３ａがセット
された後、設定情報制御部２１５により詳細な論理エミ
ュレーション動作の設定やテスト制御プログラム３０５
への設定、インタフェース情報３０６の詳細設定、動作
周波数など論理エミュレーション動作に必要な各種設定
を行う。これらの設定は、ＧＵＩ制御部１１３やＧＵＩ
制御部２０２によって制御されている。各種設定が完了
した後、論理エミュレータ制御部２０４内の動作制御部
２０９が擬似論理モデル３０４に対してリセット要求を
出し、検証対象論理構造モデル３０７ａの状態を動作可
能な状態にする。この後、制御信号ピン１０７に対して
動作クロック数を与え、制御装置１０２はクロック発生
装置１０４により、指定されたクロック数分だけクロッ
クが論理エミュレータ装置１０１に供給され実際に動作
する。指定された一定クロック数分だけ動作していると
き、テスト制御プログラム３０５はインタフェース情報
３０６に対して、内部動作状態やテスト動作状態などを
セットする。また、指定されたクロック数に到達するこ
となく、エミュレーションを中断したり、処理制御プロ
グラム２０１に対してメッセージ等の出力要求がテスト
制御プログラム３０５で発生した場合には、その状態情
報をインタフェース情報３０６にセットする。

【００３５】擬似論理モデル３０４は、インタフェース
情報３０６を監視しているため、これらの要求を検出す
ると、制御装置１０２の制御信号ピン１０７に対して、
トリガーイベントを発生させ制御装置１０２に中断報告
を行う。このように擬似論理モデル３０４は、エミュレ
ーション動作を中断させる機能を有し、処理制御プログ
ラム２０１と直接対話型で情報のやりとりが可能であ
る。つまり、論理内部の内部信号の値を監視したりする
ことで、エミュレーションを中断し、その情報を処理制
御プログラム２０１に伝達可能である。

【００３６】次に、処理制御プログラム２０１のトリガ
ーイベント制御部２０８が、制御信号ピン１０７の監視
をしているため、トリガーイベントを検出すると中断情
報の格納されているインタフェース情報３０６をＲＡＭ
アクセス部２１０経由で取得し、取得した情報は、表示
するためにデータ変換部２０６で変換し、表示部２１２
に引き渡し表示を行う。中断情報に対して、テストベク
トル制御部２０５で取得情報の解析を行い、テスト制御
プログラム３０５が入力またはコマンド等を要求してい
る場合には、入力制御部２１３により、オペレーターの
キー入力やＧＵＩウインドウ操作を受付け、入力された
情報をインタフェース情報３０６にセットする。セット
した後、クロックを供給すれば論理エミュレーションは
継続される。

【００３７】なお、これらのエミュレーション結果や動
作中の状態を保存する場合には、ログデータ採取制御部
２１６により、表示された情報や入力された情報、およ
びアクセス可能なＲＡＭ情報などを取得し、ログ情報３
０８として保存可能である。また、処理制御部２１１と
ウインドウ制御部２１４は、一貫して処理制御プログラ
ム２０１のコントロールを行い、各種操作をサポートす
る。

【００３８】以上のようにＧＵＩ制御部２０２の各種機
能とテストベクトル制御部２０５を用いてＲＡＭ１０３
内のテスト制御プログラム３０５と対話式に論理エミュ
レーションを行うことで論理エミュレータ装置１０１内
の専用の擬似論理モデル３０４との対話手段を確保する
ことが可能となり、論理エミュレーション動作におい
て、インタフェース情報３０６のみの操作で論理エミュ
レーションの制御が可能であり、操作性や観測性を向上
させ、効率の良い論理検証が可能である。また、これら
の手法は、論理エミュレータ制御プログラム１０９を間
接的に制御しているため、図８に例示された参考技術を
包含し、その上で外部から論理エミュレータ装置１０１
を制御可能である。更に、テスト制御プログラム３０５
で論理エミュレーション動作をコントロール可能である
ため、論理エミュレーションを中断させることを最小限
にし、論理エミュレータ装置１０１の高速性を最大限に
利用できるため、高速な論理エミュレーションが可能で
ある。

【００３９】次に第一の実施の形態の論理エミュレーシ
ョンにおける具体的な処理フローの一例を図３に示す。
図３では、論理エミュレーション動作途中でのテスト制
御プログラム３０５がメッセージ出力要求とコマンド入
力要求を発生したときの本実施の形態の構成部分の作用
についてのみの処理フローを説明する。先ず、図３での
処理ステージは、オペレータ４０１、処理制御プログラ
ム２０１、擬似論理モデル３０４、テスト制御プログラ
ム３０５のステージに区分し、これら各ステージの連携
動作を処理フローとして示す。

【００４０】前述の検証対象論理３０７とテストベクト
ル３０３が、それぞれ検証対象論理構造モデル３０７ａ
およびテストベクトル３０３ａとしてＲＡＭ１０３にセ
ットされ、クロックを供給されればエミュレーションが
開始可能な状態である場合において、オペレータは動作
開始指示を行う（ステップ４０２）。このステップ４０
２の動作開始指示には、動作クロック数（動作サイクル
数）が指示されている。次に、処理制御プログラム２０
１はエミュレーション開始を実際に行い（ステップ４０
３）、論理エミュレータ装置１０１は論理エミュレーシ
ョンを開始する。論理エミュレーションが開始されると
擬似論理モデル３０４とテスト制御プログラム３０５が
動作を開始する（ステップ４０４）。この時、擬似論理
モデル３０４はインタフェース情報３０６の監視を常に
行っている（ステップ４０５）。そして、テスト制御プ
ログラム３０５が動作中にメッセージをオペレータに報
告するため、メッセージ出力要求が発生し、更にそのメ
ッセージに対する応答コマンドの入力要求が発生した場
合（ステップ４０６）、テスト制御プログラム３０５は
インタフェース情報３０６に出力メッセージと擬似論理
モデル３０４が検出可能なイベント情報をセットする
（ステップ４０７）。次に擬似論理モデル３０４はイン
タフェース情報３０６の監視によりイベントの検出を行
い（ステップ４０８）、制御信号ピン１０７に対してト
リガーイベントを発生させる（ステップ４０９）。トリ
ガーイベントが発生すると制御装置１０２はエミュレー
ションを中断し（ステップ４１０）、処理制御プログラ
ム２０１は中断状態からトリガーイベントによる中断で
あることを認識し（ステップ４１１）、インタフェース
情報３０６をＲＡＭ読み出しにより取得する（ステップ
４１２）。取得した情報はデータ変換部２０６を通して
データ変換し（ステップ４１３）、テスト制御プログラ
ム３０５からの出力メッセージとして表示部２１２のウ
インドウに表示する（ステップ４１４）。通常は、メッ
セージの出力のみであれば、表示後エミュレーションを
再開するが、この実施の形態の場合には入力コマンド要
求も同時に発生しているため、コマンドの入力要求をオ
ペレータ４０１に対して行い（ステップ４１５）、処理
制御プログラム２０１は入力待ち状態になる（ステップ
４１７）。オペレータ４０１は、キー入力を行い（ステ
ップ４１６）、テスト制御プログラム３０５に対するコ
マンドを入力する。次にキー入力されたコマンドを取得
し（ステップ４１８）、データ変換部２０６でデータ変
換を行い（ステップ４１３）、インタフェース情報３０
６にセットすべく、ＲＡＭ書き込みを行う（ステップ４
１９）。次に、エミュレーション動作を再開し（ステッ
プ４２０）、擬似論理モデル３０４とテスト制御プログ
ラム３０５は動作を再開する（ステップ４２１）。再開
後は、インタフェース情報３０６から入力コマンドを取
得し（ステップ４２２）、そのコマンドに合わせた動作
を行う（ステップ４２３）。

【００４１】このように、オペレータ４０１とテスト制
御プログラム３０５の間でインタフェース情報を相互に
転送し、対話的に論理エミュレーションを行うことで、
オペレータは外部から論理エミュレータ装置１０１を制
御し、テスト制御プログラム３０５は内部から論理エミ
ュレータ装置１０１を制御することで効率の良い論理検
証が可能である。なお、テスト制御プログラム３０５と
同様にインタフェース情報３０６を監視する擬似論理モ
デル３０４も論理エミュレータ装置１０１を内部から制
御可能であり、特に論理モデルであるため、内部信号な
どの観測性に優れ、擬似論理モデル３０４はハードウェ
ア的に、テスト制御プログラム３０５はソフトウェア的
に、論理エミュレータ装置１０１を制御可能であり、効
率の良い論理エミュレーションが可能である。

【００４２】すなわち、本実施の形態によれば、テスト
ベクトル格納エリア１０６のテストベクトル３０３ａ内
に設けられたテスト制御プログラム３０５や、擬似論理
モデル３０４によりテストベクトル３０３ａとのインタ
フェースを確保し、テストベクトル３０３ａからのＩ／
Ｏリクエストを処理制御プログラム２０１が送受信し、
Ｔｃｌ／Ｔｋ等の汎用のＧＵＩ機能を用いて操作性や観
測性を向上させることにより、論理エミュレーションで
のシステム論理検証を効率良く高速に行うことが可能で
ある。

【００４３】次に本発明の第二の実施の形態である論理
検証方法が実施される論理エミュレーションシステム５
００を図４を参照して説明する。図４の論理エミュレー
ションシステム５００では論理エミュレータ装置１０１
の代わりに専用情報処理装置などを接続し、検証論理チ
ップ５０８の論理検証を行う手法を説明する。構成とし
ては、ＬＡＮ接続された情報処理装置３０１（Ａ）は第
一の実施の形態と同じでテストベクトル３０３も同じも
のである。また、情報処理装置５０１（Ｃ）は、この第
二の実施の形態では一例として、たとえば汎用のパーソ
ナルコンピュータ用ＯＳであるＷｉｎｄｏｗｓ系ＯＳで
動作するパーソナルコンピュータとして説明する。情報
処理装置５０１（Ｃ）は、Ｔｃｌ／Ｔｋインタプリタ５
０３と、処理制御プログラム２０１と、ドライバ制御プ
ログラム６０１と、デバイスドライバ５０５で構成され
る。

【００４４】そして、情報処理装置ＣにパラレルＩ／Ｏ
インタフェース５０６で接続される専用情報処理装置５
０２は、制御装置５０７と、検証論理チップ５０８と、
ＲＡＭ５０９で構成される。ここでの検証論理チップ５
０８は、第一の実施の形態での検証対象論理構造モデル
３０７ａ（検証対象論理３０７）を実際のチップとして
製造したものである。そして、ＲＡＭ５０９のテストベ
クトル格納エリア１０６には、第一の実施の形態で使用
したテストベクトル３０３ａ（テストベクトル３０３）
をそのままセットする。

【００４５】デバイスドライバ５０５は、Ｗｉｎｄｏｗ
ｓ系ＯＳのデバイスドライバでパラレルＩ／Ｏインタフ
ェース５０６を制御可能なデバイスドライバである。そ
して、このデバイスドライバ５０５を制御するためのド
ライバ制御プログラム６０１は、処理制御プログラム２
０１の接続プラグインタフェース２０７とのインタフェ
ースを持つことにより、処理制御プログラム２０１とデ
バイスドライバ５０５とを接続し、処理制御プログラム
２０１がシステム全体を制御可能とする。そして、デバ
イスドライバ経由で制御装置５０７を制御することで専
用情報処理装置５０２を制御する。

【００４６】また、Ｔｃｌ／Ｔｋインタプリタ５０３
は、Ｗｉｎｄｏｗｓ系ＯＳ版のＴｃｌ／Ｔｋのインタプ
リタであり、処理制御プログラム２０１は、第一の実施
の形態のＵＮＩＸ系ＯＳ版のものがそのままＷｉｎｄｏ
ｗｓ系ＯＳ版でも動作可能である。

【００４７】したがって、この第二の実施の形態の検証
目的は、実機に搭載する論理チップが製造された時点
で、論理エミュレーションで用いたテストベクトル３０
３と処理制御プログラム２０１を用いて、論理チップの
論理品質を検証することである。つまり、実機システム
検証の前に論理チップ単体の論理品質検証を行うことで
ある。

【００４８】次に、ドライバ制御プログラム６０１の概
要を図５に示す。ドライバ制御プログラム６０１は、制
御部６０２と、処理制御プログラムインタフェース部６
０３と、デバイスドライバ制御部６０４と、ログデータ
採取制御部６０５で構成される。制御部６０２は、ドラ
イバ制御プログラム６０１の全体の制御を行い、処理制
御プログラムインタフェース部６０３は、処理制御プロ
グラム２０１からのＲＡＭアクセスや専用情報処理装置
５０２の制御指示を制御する。デバイスドライバ制御部
６０４は、デバイスドライバ５０５とのインタフェース
を持ち、デバイスドライバ経由でパラレルＩ／Ｏインタ
フェース５０６を制御する。ログデータ採取制御部６０
５は、ドライバ制御プログラム６０１で取得可能なログ
データを採取し、ログ情報５０４として出力あるいは保
存する機能を持つ。

【００４９】次に第二の実施の形態の具体的な処理フロ
ーを図６に示し説明する。図６では、専用情報処理装置
５０２が動作途中でのテスト制御プログラム３０５がメ
ッセージ出力要求とコマンド入力要求を発生したときの
本発明の部分に着目して処理フローを説明する。先ず、
図６での処理ステージは、オペレータ７０１、処理制御
プログラム２０１、ドライバ制御プログラム６０１、テ
スト制御プログラム３０５のステージに区分されてお
り、全体処理フローを表している。

【００５０】前述の検証論理チップ５０８が専用情報処
理装置５０２にセットされ、テストベクトル３０３ａが
ＲＡＭ５０９のテストベクトル格納エリア１０６にセッ
トされ、動作開始指示待ち状態である場合において、オ
ペレータ７０１は検証開始指示を行う（ステップ７０
２）。次に処理制御プログラム２０１は、ドライバ制御
プログラム６０１に対して動作開始指示を行い（ステッ
プ７０３）、ドライバ制御プログラム６０１は、専用情
報処理装置５０２を作動させる（ステップ７０４）。装
置が作動するとテスト制御プログラム３０５は動作を開
始する（ステップ７０５）。また、処理制御プログラム
２０１は、ステップ７０３を行った後、インタフェース
情報の監視を開始する（ステップ７０６）。インタフェ
ース情報３０６の監視では、ＲＡＭ５０９のポーリング
アクセスのため、ドライバ制御プログラム６０１は、常
にＲＡＭアクセスを行い、ＲＡＭ読み出しを行っている
（ステップ７０７）。これらの状態であるとき、テスト
制御プログラム３０５は、メッセージの出力要求とコマ
ンド入力要求が発生すると（ステップ７０８）、メッセ
ージとイベントをインタフェース情報にセットする（ス
テップ７０９）。次にインタフェース情報３０６の監視
を行っている処理制御プログラム２０１が、このイベン
トを要求として検出し（ステップ７１０）、インタフェ
ース情報３０６を取得する（ステップ７１１）。取得し
たデータはデータ変換され（ステップ７１２）、メッセ
ージとしてウインドウに表示される（ステップ７１
３）。表示後は、オペレータ７０１がコマンド入力要求
（ステップ７１４）に対してキー入力やウインドウ操作
（ステップ７１５）を行う。

【００５１】次に入力待ち状態の処理制御プログラム２
０１は（ステップ７１６）、入力されたキー入力を取得
し（ステップ７１７）、データ変換を行い（ステップ７
１２）、インタフェース情報３０６としてＲＡＭ５０９
に書き込むことにより（ステップ７１８）、テスト制御
プログラム３０５に転送する（ステップ７１９）。転送
後は処理制御プログラム２０１は再度、インタフェース
情報３０６の監視状態に入る（ステップ７０６）。テス
ト制御プログラム３０５は、前記ステップ７０８の要求
を出した後も動作中であり（ステップ７２０）、転送さ
れたインタフェース情報３０６から入力イベントを検出
すると（ステップ７２１）、インタフェース情報３０６
から入力コマンドを取得し（ステップ７２２）、取得し
たコマンドに対する動作を行う（ステップ７２３）。こ
のような一連の動作を行い、対話的に検証論理チップ５
０８の論理検証を行う。

【００５２】また、第一の実施の形態と共通したテスト
ベクトル３０３と処理制御プログラム２０１をそのまま
使用可能であり、検証対象論理構造モデル１０５を用い
た論理エミュレーションと、検証論理チップ５０８等の
実チップの単体検証を同じ環境で行うことが可能であ
り、論理モデルから実チップに至るまでの一貫した論理
検証が可能となる。

【００５３】すなわち、論理エミュレータ装置１０１を
用いた論理エミュレーションによる論理検証工程と、検
証論理チップ５０８等の実チップによる論理検証工程に
共通のソフトウェアやテストベクトルを使用できること
で、各工程別にソフトウェアやテストベクトルを用意す
る等の重複した労力を軽減でき、効率の良い論理検証が
可能となる。

【００５４】次に本発明の第三の実施の形態である論理
検証方法が実施される論理エミュレーションシステム８
００を図７に示す。図７の論理エミュレーションシステ
ム８００では図１の第一の実施の形態に論理シミュレー
タを加え、論理検証手法と論理検証レベルの異なる論理
エミュレータと論理シミュレータが混在する論理検証方
式の場合が例示されている。

【００５５】この第三の実施の形態としては、具体的に
は、たとえば論理シミュレータ８０２でマイクロプロセ
ッサ等の論理動作を行わせ、論理エミュレータ装置１０
１では、このマイクロプロセッサを含むシステムで使用
されるＩ／Ｏ制御デバイス等の論理を実装することで、
双方の実チップを使用したシステムを組み上げる前に、
両者の連携した動作における双方の論理検証を行う場合
が考えられる。

【００５６】この第三の実施の形態での論理シミュレー
タ８０２は機能レベル命令シミュレータであり、論理シ
ミュレータ８０２をマイクロ命令動作として説明する。
情報処理装置８０１（Ｄ）の上で、論理エミュレータ制
御プログラム１０９と、処理制御プログラム２０１と、
論理シミュレータ８０２を起動する。この３つのプログ
ラムの間では、処理制御プログラム２０１の接続プラグ
インタフェース２０７によって論理シミュレータ８０２
が接続され、プロセス間通信制御部２０３によってプロ
セス間通信を行う。よってシステム全体を統括し、コン
トロールしているのは処理制御プログラム２０１であ
る。

【００５７】論理検証の手順としては、第一の実施の形
態の要領で論理エミュレータ装置１０１を作動させ動作
可能状態とする。次に論理シミュレータ８０２を処理制
御プログラム２０１が起動し、論理シミュレータ８０２
に与えるテストベクトル（テスト命令列）８０６をＲＡ
Ｍモデル８０５にセットする。なお、ここで取り上げる
論理シミュレータ８０２は一般的な機能レベル命令論理
シミュレータとし、処理制御部８０３と論理モデル８０
４とＲＡＭモデル８０５を構成要素とするものとして説
明を行う。

【００５８】次に論理シミュレータ８０２でセットされ
たテストベクトル８０６のテスト命令列を順次シミュレ
ーションすると、特殊な意味を持つ命令列をシミュレー
ションするとき、その特殊命令列がマイクロ命令動作を
伴う場合に、論理シミュレータ８０２は、インタフェー
ス情報３０６に現在のＲＡＭモデル８０５の内容をセッ
トし、マイクロ命令動作を論理エミュレータ装置１０１
に対して要求する。この要求は処理制御部８０３経由で
処理制御プログラム２０１に伝えられ、セットされたイ
ンタフェース情報を論理エミュレータ装置１０１のイン
タフェース情報３０６に転送する。論理シミュレータ８
０２は要求を出した後、引き続きテスト命令列のシミュ
レーションを再開する。また、インタフェース情報を転
送した後、処理制御プログラム２０１は、論理エミュレ
ータ装置１０１を動作させ、この時点で論理シミュレー
タ８０２と論理エミュレータ装置１０１が完全に非同期
に動作を開始する。次に一定サイクルだけエミュレーシ
ョンを行うとマイクロ命令動作が完了し、第一の実施の
形態と同様の手順で論理エミュレータ装置１０１は動作
を中断する。この時、中断状態をインタフェース情報と
して論理シミュレータ８０２に転送するが、非同期に動
作している論理シミュレータ８０２と同期を取るのが同
期／非同期制御部２１７である。

【００５９】この同期／非同期制御部２１７は、論理シ
ミュレータ８０２がマイクロ命令動作要求を出したとき
に論理シミュレータ８０２側で論理エミュレーション完
了時刻をあらかじめ予想しているため、論理シミュレー
タ８０２がテスト命令列を一定命令数だけシミュレーシ
ョンすると待ち合わせを行う場合と、一定命令数だけシ
ミュレーションが完了していない場合には、割込み処理
として論理シミュレータ８０２に報告する場合とを制御
する。

【００６０】報告されたエミュレーション完了報告を処
理制御部８０３が管理し、テスト命令列のシミュレーシ
ョンを制御する。これら一連の処理を繰り返し行い、論
理検証を行う。このように論理シミュレータ８０２と論
理エミュレータ装置１０１が混在する論理検証方式で
は、インタフェース情報を互いに転送しあい、検証状態
の整合性をとりながら、検証途中では完全に非同期に動
作し、効率の良い論理検証を行う。また、論理シミュレ
ータ８０２を接続する場合には、接続プラグインタフェ
ース２０７を用いて接続するため、接続インタフェース
を統一することが可能であれば、どのような論理検証手
法であっても接続が可能であり、更に複数の異なる論理
検証手段を一括して取扱うことが可能である。

【００６１】以上のように第一の実施の形態で説明した
通り、検証対象論理構造モデル１０５に組み込まれた擬
似論理モデル３０４と、テストベクトル３０３ａに組み
込まれたテスト制御プログラム３０５と、これらと情報
の授受を行うことで、外部から論理エミュレーションを
制御する処理制御プログラム２０１を組み込むことで、
論理エミュレータ装置１０１の高速性を最大限に利用し
た高速、且つ、操作性や観測性に優れた対話型の論理検
証方式の確立が可能となる。

【００６２】また、第二の実施の形態に例示したよう
に、処理制御プログラム２０１が、たとえばＯＳ等の実
行環境に依存しないＴｃｌ／Ｔｋ等の汎用言語で記述さ
れていることにより、第一の実施の形態で使用したテス
トベクトル３０３や処理制御プログラム２０１をそのま
ま使用して、検証論理チップ５０８等の実チップの論理
検証が可能な環境を構築することができ、論理モデルか
ら実チップに至るまでの一貫した論理検証が可能とな
り、論理検証を効率良く行うことが可能である。

【００６３】また、第三の実施の形態に例示したよう
に、論理シミュレータ８０２と論理エミュレータ装置１
０１等のように、検証レベルの異なる論理検証手法を接
続し、インタフェース情報を互いに転送することで非同
期動作の整合性をとった論理検証が可能であり、たとえ
ば、マイクロプロセッサとその周辺機器のＩ／Ｏ制御デ
バイス等で構成されるシステム全体等のような、大規模
論理の装置全体としての一貫した論理検証が可能であ
る。

【００６４】以上本発明者によってなされた発明を実施
の形態に基づき具体的に説明したが、本発明は前記実施
の形態に限定されるものではなく、その要旨を逸脱しな
い範囲で種々変更可能であることはいうまでもない。

【００６５】

【発明の効果】本発明の論理検証方法によれば、論理チ
ップ全体での論理エミュレーションによるシステム論理
検証を短時間に効率よく行うことができる、という効果
が得られる。

【００６６】また、マンマシンインタフェースを充実さ
せ、論理エミュレーションにおける内部状態の観測性や
操作性、さらにはテスト容易性を向上させることができ
る、という効果が得られる。

【００６７】また、論理モデルから実チップに至るまで
の一貫した論理検証を実現することができる、という効
果が得られる。

【００６８】また、論理検証の環境構築に要する工数や
期間を短縮して、論理検証工程におけるコスト削減を実
現することができる、という効果が得られる。

【図面の簡単な説明】

【図１】本発明の第一の実施の形態である論理検証方法
が実施される情報処理システムの構成の一例を示す概念
図である。

【図２】本発明の論理検証方法を実現するためのソフト
ウェアの構成の一例を示した概念図である。

【図３】本発明の第一の実施の形態である論理検証方法
の作用の一例を示すフローチャートである。

【図４】本発明の第二の実施の形態である論理検証方法
が実施される情報処理システムの構成の一例を示す概念
図である。

【図５】本発明の第二の実施の形態である論理検証方法
にて用いられるソフトウェアの構成の一例を示した概念
図である。

【図６】本発明の第二の実施の形態である論理検証方法
の作用の一例を示すフローチャートである。

【図７】本発明の第三の実施の形態である論理検証方法
にて用いられるソフトウェアの構成の一例を示した概念
図である。

【図８】本発明の論理検証方法の参考技術である論理エ
ミュレーションシステムの構成の一例を示す概念図であ
る。

【符号の説明】

１００…論理エミュレーションシステム、１０１…論理
エミュレータ装置、１０２…制御装置、１０３…ＲＡ
Ｍ、１０４…クロック発生装置、１０５…検証対象論理
構造モデル格納エリア、１０６…テストベクトル格納エ
リア、１０７…制御信号ピン、１０８…情報処理装置、
１０９…論理エミュレータ制御プログラム、１１０…制
御部、１１１…論理コンパイラ、１１２…ＲＡＭアクセ
ス部、１１３…ＧＵＩ制御部、１１３…グラフィカルユ
ーザーインタフェース制御部、１１４…検証対象論理、
１１４ａ…検証対象論理構造モデル、２０１…処理制御
プログラム、２０２…ＧＵＩ制御部、２０３…プロセス
間通信制御部、２０４…論理エミュレータ制御部、２０
５…テストベクトル制御部、２０６…データ変換部、２
０７…接続プラグインタフェース、２０８…トリガーイ
ベント制御部、２０９…動作制御部、２１０…ＲＡＭア
クセス部、２１１…処理制御部、２１２…表示部、２１
３…入力制御部、２１４…ウインドウ制御部、２１５…
設定情報制御部、２１６…ログデータ採取制御部、２１
７…同期／非同期制御部、３００…論理エミュレーショ
ンシステム、３０１…情報処理装置、３０２…情報処理
装置、３０３…テストベクトル、３０３ａ…テストベク
トル、３０４…擬似論理モデル（第２の論理構造モデ
ル）、３０５…テスト制御プログラム、３０６…インタ
フェース情報、３０７…検証対象論理、３０７ａ…検証
対象論理構造モデル（第１の論理構造モデル）、３０８
…ログ情報、５００…論理エミュレーションシステム、
５０１…情報処理装置、５０２…専用情報処理装置、５
０３…Ｔｃｌ／Ｔｋインタプリタ、５０４…ログ情報、
５０５…デバイスドライバ、５０６…パラレルＩ／Ｏイ
ンタフェース、５０７…制御装置、５０８…検証論理チ
ップ（目的論理装置）、５０９…ＲＡＭ、６０１…ドラ
イバ制御プログラム、６０２…制御部、６０３…処理制
御プログラムインタフェース部、６０４…デバイスドラ
イバ制御部、６０５…ログデータ採取制御部、８００…
論理エミュレーションシステム、８０１…情報処理装
置、８０２…論理シミュレータ、８０３…処理制御部、
８０４…論理モデル、８０５…ＲＡＭモデル、８０６…
テストベクトル。

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.⁷ 識別記号 ＦＩ テーマコート゛(参考） Ｈ０１Ｌ 21/82 Ｔ Ｆターム(参考） 2G032 AA01 AC08 AE07 AE08 AE10 5B046 AA08 BA03 JA05 5B048 AA01 BB02 DD01 DD05 DD15 5F064 HH05 HH09 HH10 HH13 HH14 9A001 BZ05 DZ13 HZ32 JJ49 JZ45

Claims (3)

【特許請求の範囲】
1. 【請求項１】 検証対象の目的論理装置の論理構造モデ
   ルが実装された論理エミュレータまたは前記目的論理装
   置の実チップが実装された専用試験装置における論理検
   証に用いられるテストベクトルの中に、前記論理エミュ
   レータまたは前記専用試験装置の外部に設けられた処理
   制御プログラムとの間で情報の授受を行うことで、前記
   テストベクトルの入力による前記論理検証を前記処理制
   御プログラムから制御可能にするテスト制御プログラム
   を実装することを特徴とする論理検証方法。
2. 【請求項２】 請求項１記載の論理検証方法において、 前記論理エミュレータでは、前記目的論理装置と等化な
   論理機能を実現するための第１の論理構造モデルと、前
   記第１の論理構造モデルの動作環境を提供する論理機能
   の少なくとも一部を実現するための第２の論理構造モデ
   ルとを実装し、前記目的論理装置の実行環境を実現する
   ための外部ハードウェアとの接続を必要とすることな
   く、前記目的論理装置の論理検証を行うことを特徴とす
   る論理検証方法。
3. 【請求項３】 請求項１または２記載の論理検証方法に
   おいて、 前記処理制御プログラムは、 前記テスト制御プログラムとの間における情報の授受を
   行う機能、 前記論理エミュレータを制御する論理エミュレータ制御
   プログラムとの間における情報の授受を行う機能、 前記目的論理装置の論理検証をソフトウェアにて行う論
   理シミュレータとの間における情報の授受を行う機能、 前記専用試験装置との間における情報の授受を行う機
   能、 前記テスト制御プログラム、前記論理エミュレータ制御
   プログラム、前記論理シミュレータ、前記専用試験装置
   の少なくとも一つとの間で授受される前記情報の可視化
   表示やユーザ入力の受け付けを行う汎用グラフィカル・
   ユーザ・インタフェース、 のうちの少なくとも一つを備えたことを特徴とする論理
   検証方法。