JPH08287134A - 論理回路の検証方法 - Google Patents

Abstract

(57)【要約】 【目的】 論理回路の検証を効率良く行うことが可能な
技術を提供する。 【構成】 論理回路の動作をシミュレートする論理回路
シミュレーションと前記論理回路上で実行されるソフト
ウェアの処理をシミュレートするアーキテクチャシミュ
レーションを行って前記論理回路がその設計仕様を満た
しているかどうかを検証する論理回路の検証方法であっ
て、前記アーキテクチャシミュレーションの実行条件を
定義した論理定義を作成し、前記論理回路に前記論理回
路シミュレーションを実行し、前記論理回路シミュレー
ションの結果が前記制御定義中の前記実行条件を満たす
ときに前記アーキテクチャシミュレーションを実行し、
前記論理回路シミュレーション及び前記アーキテクチャ
シミュレーションの結果と前記論理回路の設計仕様を比
較して前記論理回路全体の検証を行うものである。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理回路の検証方法に
関し、特に、論理回路シミュレーションとアーキテクチ
ャシミュレーションによって論理回路を検証する論理回
路の検証方法に適用して有効な技術に関するものであ
る。

【０００２】

【従来の技術】従来の計算機に用いられているマイクロ
プロセッサ等の機能は、論理回路から成るハードウェア
と前記論理回路上で実行されるソフトウェアによって実
現されている。

【０００３】前記論理回路を設計する場合には、ＣＡＤ
（Ｃｏｍｐｕｔｅｒ ＡｉｄｅｄＤｅｓｉｇｎ）システ
ムが用いられ、前記論理回路の設計仕様に基づいて前記
論理回路の動作を記述した論理回路データを前記ＣＡＤ
システムに入力し、前記論理回路データを使用して前記
論理回路を検証した後、前記論理回路データに基づいて
前記論理回路の製造を行っている。

【０００４】前記論理回路の検証では、前記論理回路デ
ータに対して論理回路シミュレーションを行っており、
前記論理回路シミュレーションは、入力されたＣＡＤシ
ステム内の論理回路データを構成する論理素子の動作を
シミュレートし、ある論理回路の入力端子に「０」或い
は「１」のデジタル信号を入力したときに、当該論理回
路の出力端子に出力される信号値を計算し、前記の計算
された出力信号値が当該設計仕様を満たすものであるか
を検証するものである。

【０００５】前記マイクロプロセッサの機能は、前記論
理回路であるハードウェアだけでなく、前記論理回路上
で実行されるソフトウェアと共に実現されており、前記
ソフトウェアで実現される機能に相当する論理回路デー
タは存在しないので、前記論理回路全体の機能について
は、論理回路シミュレーションだけでは検証することが
できない。

【０００６】また、前記マイクロプロセッサのある機能
が論理回路であるハードウェアによって実現される場合
であっても、当該論理回路の設計が完了していないとき
には当該論理回路の論理回路データが入力されていない
ので、当該論理回路の論理回路シミュレーションを実行
することができない。

【０００７】そこで、前記のソフトウェアで実現される
機能及び設計の完了していない論理回路の機能について
はアーキテクチャシミュレーションを行い、設計の完了
した論理回路については論理回路シミュレーションを行
って、前記論理回路全体の検証を行っている。

【０００８】前記アーキテクチャシミュレーションは、
前記のソフトウェアで実現される機能や設計の完了して
いない論理回路の機能を、Ｃ言語等のプログラム言語で
記述し、前記のプログラムを実行することによって当該
機能のシミュレーションを行うものであり、前記論理回
路シミュレーションを実行中に必要に応じて実行されて
いる。

【０００９】前記論理回路シミュレーションとアーキテ
クチャシミュレーションを併用する論理シミュレーショ
ン装置については、特開平２−２６８３４１号に記載さ
れている。

【００１０】その概要は、ＣＡＤシステムに入力された
論理回路の機能について論理回路シミュレーションを行
うと同時に、ソフトウェアで実現される機能をプログラ
ム言語で記述したアーキテクチャシミュレーションを実
行して、論理回路全体の機能のシミュレーションを行う
ものである。

【００１１】例えば、初期設定部、試験部、結果判定部
から成るある機能のうち、初期設定部と結果判定部がソ
フトウェアによって実現され、試験部が論理回路によっ
て実現される場合、初期設定部と結果判定部の機能をプ
ログラム言語で記述して初期設定部にアーキテクチャシ
ミュレーションを行い、前記アーキテクチャシミュレー
ションの結果を試験部の論理回路シミュレーションの入
力として前記論理回路シミュレーションを行い、前記論
理回路シミュレーションの結果を結果判定部のアーキテ
クチャシミュレーションの入力として前記アーキテクチ
ャシミュレーションを行うことで前記機能全体の検証を
行う。

【００１２】前記論理シミュレーション装置では、前記
論理回路から論理回路シミュレーション結果を取り出し
て、入力データとしてアーキテクチャシミュレータに渡
す為の回路である検証用回路を前記論理回路データに付
加している。

【００１３】前記検証用回路が付加された論理回路デー
タは、設計仕様を記述した論理回路データとは異なる論
理回路データになるので、アーキテクチャシミュレーシ
ョンを行う場合には、論理回路シミュレーション用の論
理回路データとは別にアーキテクチャシミュレーション
用の論理回路データを作成している。

【００１４】前記ＣＡＤシステムに入力された論理回路
データを使用し、前記の様な論理回路の検証を行った後
に、前記論理回路データに基づいて論理回路の作成が行
われ、前記の作成された論理回路が前記設計仕様を満た
すものであるかどうかの検証が行われる。

【００１５】前記の作成された論理回路の検証は、前記
論理回路データに基づいて作成された論理回路の各部の
電気信号を測定し、前記論理回路の設計仕様から定まる
前記論理回路の各部の電気信号の設計値である診断デー
タと、前記論理回路の各部の電気信号の測定値を比較し
て、前記の作成された論理回路がその設計仕様を満たす
ものであるかどうかを検証している。

【００１６】

【本発明が解決しようとする課題】本発明者は、前記従
来技術を検討した結果、以下の問題点を見い出した。

【００１７】すなわち、従来の論理回路シミュレーショ
ンとアーキテクチャシミュレーションを併用した論理回
路の検証方法では、論理回路データを二重に作成してい
た為、前記の二重の論理回路データから成る設計ファイ
ルの管理や、不良解析及び不良対策に伴う前記の二重の
論理回路データの修正等の作業に要する負担が多大なも
のとなるという問題があった。

【００１８】また、複雑な論理回路では論理の組み合わ
せの数が膨大なものとなる為、診断データの作成に多く
の時間がかかるという問題があった。

【００１９】本発明の目的は、論理回路の検証を効率良
く行うことが可能な技術を提供することにある。

【００２０】本発明の他の目的は、論理回路を記述した
論理回路データを二重化することなく論理回路の検証を
行うことが可能な技術を提供することにある。

【００２１】本発明の他の目的は、論理回路の診断デー
タを高速に作成することが可能な技術を提供することに
ある。

【００２２】本発明の前記並びにその他の目的と新規な
特徴は、本明細書の記述及び添付図面によって明かにな
るであろう。

【００２３】

【課題を解決するための手段】本願において開示される
発明のうち、代表的なものの概要を簡単に説明すれば、
下記のとおりである。

【００２４】すなわち、論理回路の動作をシミュレート
する論理回路シミュレーションと前記論理回路上で実行
されるソフトウェアの処理をシミュレートするアーキテ
クチャシミュレーションを行って前記論理回路がその設
計仕様を満たしているかどうかを検証する論理回路の検
証方法であって、前記アーキテクチャシミュレーション
の実行条件を定義した論理定義を作成し、前記論理回路
のある論理回路部分について前記論理回路部分を構成す
る論理素子の動作をシミュレートして前記論理回路シミ
ュレーションを実行し、前記論理回路シミュレーション
の結果が前記制御定義中の前記実行条件を満たすときに
前記アーキテクチャシミュレーションを実行し、前記論
理回路シミュレーション及び前記アーキテクチャシミュ
レーションの結果と前記論理回路の設計仕様を比較して
前記論理回路全体の検証を行うものである。

【００２５】また、論理回路の動作をシミュレートする
論理回路シミュレーションと前記論理回路上で実行され
るソフトウェアの処理をシミュレートするアーキテクチ
ャシミュレーションを行って前記論理回路がその設計仕
様を満たしているかどうかを検証する論理回路の検証方
法であって、前記アーキテクチャシミュレーションの実
行条件を定義した論理定義を前記論理回路の記述を変更
することなく作成し、前記論理回路のある論理回路部分
について前記論理回路部分を構成する論理素子の動作を
シミュレートして前記論理回路シミュレーションを実行
し、前記論理回路シミュレーションの結果が前記制御定
義中の前記実行条件を満たすときに前記アーキテクチャ
シミュレーションを実行し、前記論理回路シミュレーシ
ョン及び前記アーキテクチャシミュレーションの結果と
前記論理回路の設計仕様を比較して前記論理回路全体の
検証を行うものである。

【００２６】また、論理回路上の電気信号を測定して前
記論理回路がその設計仕様を満たしているかどうかを検
証する論理回路の検証方法において、前記論理回路の動
作をシミュレートする論理回路シミュレーションと前記
論理回路上で実行されるソフトウェアの処理をシミュレ
ートするアーキテクチャシミュレーションを実行し、前
記論理回路シミュレーション及び前記アーキテクチャシ
ミュレーションの結果から前記論理回路の診断データを
作成し、前記診断データと前記論理回路上の電気信号の
測定値を比較して前記論理回路の検証を行うものであ
る。

【００２７】

【作用】上述した手段によれば、本発明の論理回路の検
証方法では、まず、前記アーキテクチャシミュレーショ
ンの実行条件を定義した制御定義を作成する。

【００２８】前記制御定義は、当該論理回路を記述した
論理回路データを使用した論理回路シミュレーションに
よって決定される前記論理回路データの信号値の値に応
じて前記アーキテクチャシミュレーションを実行するこ
とを定義したものである。

【００２９】次に、前記論理回路データの入力部分を構
成する論理素子に入力信号値を設定し、前記論理素子の
動作をシミュレートして前記論理回路データの出力信号
値を計算することにより、前記論理回路シミュレーショ
ンを実行する。

【００３０】前記論理回路シミュレーションを行った後
に、前記制御定義を参照し、前記論理回路シミュレーシ
ョンによって決定された前記論理回路データの出力信号
値が前記アーキテクチャシミュレーションの実行条件を
満たすときに、前記出力信号値をアーキテクチャシミュ
レーションの入力信号値として入力し、前記アーキテク
チャシミュレーションを実行する。

【００３１】前記論理回路シミュレーション及び前記ア
ーキテクチャシミュレーションを前記論理回路データ全
てに行って、その結果が当該論理回路の設計仕様を満た
すものであるかを検証する。

【００３２】以上の様に、本発明の論理回路の検証方法
では、前記論理定義を参照することにより、前記論理回
路シミュレーション中に前記アーキテクチャシミュレー
ションを実行するので、論理回路の検証を効率良く行う
ことが可能である。

【００３３】また、本発明の論理回路の検証方法では、
前記アーキテクチャシミュレーションの実行条件を定義
した制御定義を、前記論理回路を記述した論理回路デー
タ中に作成するのではなく、前記論理回路データとは別
に作成する。

【００３４】前記制御定義は、前記論理回路を記述した
論理回路データを使用した論理回路シミュレーションに
よって決定される前記論理回路データの信号値の値に応
じて前記アーキテクチャシミュレーションを実行するこ
とを定義したものであり、また、前記実行条件を判定す
る際に必要となる当該論理回路データの信号値が格納さ
れている場所を格納している。

【００３５】次に、前記論理回路データの入力部分を構
成する論理素子に入力信号値を設定し、前記論理素子の
動作をシミュレートして当該論理回路の出力信号値を計
算することにより、前記論理回路シミュレーションを実
行する。

【００３６】前記論理回路シミュレーションを行った後
に、前記制御定義を参照し、前記実行条件の判定に必要
な前記論理回路データの信号値を調べて、前記論理回路
シミュレーションによって決定された当該論理回路の出
力信号値が前記アーキテクチャシミュレーションの実行
条件を満たすときに、前記出力信号値をアーキテクチャ
シミュレーションの入力信号値として入力し、前記アー
キテクチャシミュレーションを実行する。

【００３７】前記論理回路シミュレーション及び前記ア
ーキテクチャシミュレーションを前記論理回路データ全
てに行って、その結果が当該論理回路の設計仕様を満た
すものであるかを検証する。

【００３８】以上の様に、本発明の論理回路の検証方法
では、論理回路データにアーキテクチャシミュレーショ
ンを実行する為の検証用回路を付加することなく、アー
キテクチャシミュレーションを実行するので、論理回路
データを二重化することなく論理回路の検証を行うこと
が可能である。

【００３９】また、本発明の論理回路の検証方法では、
前記論理回路シミュレーションと前記アーキテクチャシ
ミュレーションの結果によって得られる論理回路各部の
信号値から、前記論理回路データに基づいて作成された
論理回路の診断データを作成する。

【００４０】前記論理回路シミュレーション及び前記ア
ーキテクチャシミュレーションの結果に物理的な階層分
割を行って、前記の作成された論理回路上の電気信号を
測定する際に測定箇所となる信号線の前記シミュレーシ
ョン結果を抽出し、当該測定箇所の診断データを作成す
る。

【００４１】前記論理回路データに基づいて作成された
論理回路を実際に動作させ、前記論理回路上の電気信号
を測定し、前記電気信号の測定値と前記診断データを比
較して前記論理回路の検証を行う。

【００４２】以上の様に、本発明の論理回路の検証方法
では、論理回路シミュレーションとアーキテクチャシミ
ュレーションの結果によって当該論理回路の診断データ
を作成するので、論理回路の診断データを高速に作成す
ることが可能である。

【００４３】

【実施例】以下、本発明について、一実施例とともに図
面を参照して詳細に説明する。

【００４４】図１は、本発明の論理回路の検証方法を実
施する論理回路シミュレータとアーキテクチャシミュレ
ータの概略構成を示す図である。図１において、１０１
は論理回路シミュレータ、１０２は論理回路、１０３と
１０４は信号線、１０５と１０６はデータの流れを示す
矢印、１０７は制御定義、１０８は定義部、１０９はト
リガ定義部、１１０はアーキテクチャシミュレータの呼
び出しを示す矢印、１１１はアーキテクチャシミュレー
タからの戻りを示す矢印、１１２はアーキテクチャシミ
ュレータに信号値が渡されることを示す矢印、１１３は
アーキテクチャシミュレータから信号値が戻されること
を示す矢印、１１４はアーキテクチャシミュレータ、１
１５は信号値を入力する入力関数、１１６は信号値を出
力する出力関数である。

【００４５】図１に示す様に、本実施例の論理回路の検
証方法では、論理回路シミュレータ１０１が、論理回路
１０２の信号値と制御定義１０７に定義された起動条件
により、アーキテクチャシミュレータ１１４を起動す
る。

【００４６】例えば、論理回路１０２には、制御定義１
０７の宣言部１０８に記述した信号名称ＳＩＧＡの信号
線１０３と信号名称ＳＩＧＢの信号線１０４が存在し、
論理回路シミュレータ１０１を実行することにより、信
号線１０３と信号線１０４の信号値が変化する。

【００４７】前記の信号線１０３と信号線１０４の信号
値の変化は、直ちにデータの流れ１０５、１０６に従っ
て制御定義１０７の宣言部１０８を介してトリガ定義部
１０９に伝えられる。

【００４８】トリガ定義部１０９は、信号線１０３また
は信号線１０４の値が代入された変数ＳＩＧの値を調
べ、ＳＩＧを値が「０」よりも大きいときに、アーキテ
クチャシミュレータ１１４を起動する。

【００４９】起動されたアーキテクチャシミュレータ１
１４では、宣言部１０８に定義された各信号線の信号値
を入力関数１１５により取り込み、設計仕様に応じた内
部処理を行った後に、出力関数１１６により宣言部１０
８に定義された各信号線に出力信号値を設定する。

【００５０】アーキテクチャシミュレータ１１４の実行
を終了すると、制御定義１０７に戻り、制御定義１０７
の処理を全て終了した後、論理回路１０２の論理回路シ
ミュレーションを続行する。

【００５１】前記の処理を繰り返すことによって、論理
回路シミュレータ１０１と、アーキテクチャシミュレー
タ１１４の連動による論理回路全体の検証が行われる。

【００５２】図２は、本実施例の論理回路の検証方法に
よって検証の対象となる論理回路の一例を示す図であ
る。図２において、２０１は論理回路、２０２はＡＮＤ
論理素子、２０３はフリップフロップ論理素子、２１１
は入力端子である。

【００５３】図２に示す様に、本実施例の論理回路の検
証方法で検証の対象となる論理回路は、ハードウェアを
作成する為の部品接続情報を回路記述で表現している。
それぞれの論理素子は、前記論理素子を接続する信号線
にユニークな名称を持ち、各論理素子間の接続に矛盾を
起こさない構成で回路記述が行われている。

【００５４】たとえば、論理回路２０１の入力端子２１
１は、ＡＮＤ論理素子２０２の入力端子に信号名称ＤＡ
ＴＡによって接続され、ＡＮＤ論理素子２０２の出力端
子は、信号名称ＤＡＴＡ１によってフリップフロップ論
理素子２０３のＤ入力端子に接続されている。

【００５５】論理回路２０１が動作すると、各信号線の
信号値が変化することにより、各論理素子に前記信号値
が伝播され、前記の伝播された信号値に従って接続され
た論理素子がハードウェア設計で定められた論理機能の
演算を行った後、前記演算結果である信号値を素子の出
力端子に出力する。

【００５６】図３は、本実施例の論理回路の検証方法の
制御定義の一例を示す図である。図３において、３０１
は制御定義、３０２は宣言部、３０３はパラメタ、３０
４は信号線、３１０はトリガ定義部、４０１はアーキテ
クチャシミュレータである。

【００５７】図３に示す様に、本実施例の論理回路の検
証方法において、制御定義３０１の宣言部３０２では、
アーキテクチャシミュレータ４０１の起動及び信号値を
渡す為の引数として用いるパラメタ３０３とともに、論
理回路２０１の信号名称を信号線３０４として定義し、
論理回路２０１とアーキテクチャシミュレータ４０１を
対応させている。

【００５８】信号線３０４として定義された論理回路２
０１の信号線が変化したとき、その信号線３０４が定義
されたパラメタ３０３を使用しているトリガ定義部３１
０を起動し、定義された条件判定を行った後、条件が成
立すればその記述内に定義されたアーキテクチャシミュ
レータ４０１を起動する。

【００５９】パラメタ３０３のＴＲＧに定義されている
信号名称ＤＡＴＡ１の信号線３０４（１）及び信号名称
ＣＴＲＬの信号線３０４（２）の信号値の変化が発生し
たとき、トリガ定義部３１０の条件判定を行い、信号名
称ＤＡＴＡ１の信号線３０４（１）の信号値がハイ、信
号名称ＣＴＲＬの信号線３０４（２）の信号値がローの
とき、すなわちパラメタ３０３のＴＲＧが２（２進数で
１０）のときトリガ定義部３１０の条件が成立し、引数
として宣言部３０２で定義されているＡＲＧ１（信号名
称ＡＤＲ１、ＡＤＲ２）、ＡＲＧ２（信号名称ＯＵＴ
１）を用いてアーキテクチャシミュレータ４０１を起動
する。起動されたアーキテクチャシミュレータ４０１
は、引数ＡＲＧ１及びＡＲＧ２を用いて各種の内部処理
を行う。

【００６０】図４は、本実施例の論理回路の検証方法の
アーキテクチャシミュレータの一例を示す図である。図
４において、４０１はアーキテクチャシミュレータであ
る。

【００６１】図４に示す様に、本実施例の論理回路の検
証方法では、アーキテクチャシミュレータ４０１の内部
記憶であるＭＥＭのＡＲＧ１の示すアドレスに存在する
内容をＡＲＧ２に出力する。すなわち、アーキテクチャ
シミュレータ４０１の内部メモリＭＥＭから信号名称Ａ
ＤＲ１、ＡＤＲ２が示すアドレスに存在する値を信号名
称ＯＵＴ１に出力する。

【００６２】アーキテクチャシミュレータ４０１の動作
を終了すると、呼び出し元である制御定義３０１に制御
を戻し、また制御定義３０１の動作を終了すると、論理
回路のシミュレーションへと制御を戻す。

【００６３】図５は、本実施例の論理回路の検証方法の
論理表現テーブルを示す図である。図５において、５０
１は論理表現テーブル、５０２は素子機能、５０３は入
力数、５０４は出力数、５０５は素子ディレイ、５０６
は入力信号値１、５０７は入力信号値２、５０８は出力
信号値、５０９は入力１接続先、５１０は入力２接続
先、５１１は出力１接続先、５１２は信号名テーブルポ
インタ、５１３は制御定義テーブルポインタである。

【００６４】図５に示す様に、本実施例の論理回路の検
証方法において、論理表現テーブル５０１は、論理回路
上の論理素子をシミュレーション実行可能な形式に変換
したテーブルであり、論理回路上の各論理素子毎に１個
の論理表現テーブル５０１が作成されている。

【００６５】論理表現テーブル５０１の素子機能５０２
は、ＡＮＤ、ＯＲ等の論理素子を設定し、それぞれの論
理表現テーブル５０１の動作を表現している。また、入
力数５０３及び出力数５０４は、当該論理素子の入力端
子及び出力端子へ接続されている信号線の数を表し、素
子機能５０２での出力信号値の演算を行うとき、必要と
なる入力信号線の入力信号値５０６の個数と、前記信号
値を伝播すべき論理表現テーブルを示す出力接続先５１
１の個数を示す。

【００６６】素子ディレイ５０５は、当該論理素子の信
号値の出力に要する遅延時刻を設定し、入力信号値５０
６及び５０７に信号変化が発生したとき、論理演算結果
の出力信号値５０８を出力接続先５１１が示す論理表現
テーブル５０１に伝播するときの遅延時刻として使用す
る。すなわち、当該論理素子の素子ディレイが２ｎｓで
あれば、当該論理素子の出力信号値５０８が変化したと
き、２ｎｓ後に出力接続先５１１で示される論理素子に
変化後の出力信号値５０８を伝播する。

【００６７】信号名テーブルポインタ５１２は、当該論
理素子の出力端子の信号名称を持つ信号名テーブルが格
納されているアドレスを持ち、当該論理素子の出力信号
の名称を参照することが可能である。

【００６８】制御定義テーブルポインタ５１３は、論理
表現テーブル５０１の出力信号の名称が、制御定義３０
１の宣言部３０２で定義されているとき、前記出力信号
の名称と使用しているトリガ定義部３１０から作成され
る制御定義テーブルの格納アドレスを示すものである。

【００６９】図６は、本実施例の論理回路の検証方法で
検証の対象となる論理回路の信号名を格納した信号名テ
ーブルを示す図である。図６において、５２０は信号名
テーブル、５２１は信号名、５２２は論理表現テーブル
ポインタ、５２３は信号名テーブル５２０の階層情報で
ある。

【００７０】図６に示す様に、本実施例の論理回路の検
証方法において、信号名テーブル５２０は、シミュレー
ション対象の論理回路上の全ての信号名称を信号名５２
１に持ち、当該信号名称を持つ論理表現テーブル５０１
が格納されたアドレスを論理表現テーブルポインタ５２
２に持っている。この信号名テーブル５２０により、制
御定義３０１の宣言部３０２で定義された信号名称と論
理表現テーブル５０１を関連づけすることが可能であ
る。

【００７１】図７は、本実施例の論理回路の検証方法の
制御定義の内容を格納した制御定義テーブルを示す図で
ある。図７において、５３０は制御定義テーブル、５３
１は使用パラメタ数、５３２は条件判定式、５３３はパ
ラメタ１の定義信号数、５３４は定義信号の信号名テー
ブルポインタ、５３５はパラメタ２の定義信号数、５３
６は定義信号の信号名テーブルポインタ、５３７はアー
キテクチャシミュレータアドレス、５３８は定義引数の
個数、５３９は引数１の信号名数、５４０は引数１の信
号名テーブルポインタ、５４１は引数２の信号名数、５
４２は引数２の信号名テーブルポインタである。

【００７２】図７に示す様に、本実施例の論理回路の検
証方法の制御定義テーブル５３０は、制御定義３０１で
定義されている内容をシミュレーションで取り扱い易い
構造に変換したものであり、各トリガ定義部３１０毎に
制御定義テーブル５３０が作成されている。

【００７３】トリガ定義部３１０で判定条件として使用
されるパラメタ３０３は、複数使用することが可能であ
り、この使用個数を使用パラメタ数５３１に設定し、各
パラメタごとに、その定義信号数をパラメタの定義信号
数５３３、５３５に設定し、信号線３０４の信号名テー
ブル５２０の格納アドレスを信号名テーブルポインタ５
３４、５３６に設定する。

【００７４】トリガ定義部３１０の条件判定文は、条件
判定式５３２に設定し、論理回路シミュレータ１０１は
こ前記の条件判定を行う為に、各パラメタで定義された
信号線３０４の信号名テーブルポインタが指す信号名テ
ーブル５２０から論理表現テーブルポインタ５２２を抽
出し、論理表現テーブル５０１の出力信号値５０８を取
り出して前記パラメタの値として用いる。

【００７５】前記条件判定が成立すると、制御定義テー
ブル５３０に登録してあるアーキテクチャシミュレータ
アドレス５３７に示すアドレスへ制御を移し、当該アー
キテクチャシミュレータを実行する。このとき、制御定
義テーブル５３０の定義引数の個数５３８が格納された
アドレスを前記アーキテクチャシミュレータへの引数と
して渡す。

【００７６】前記アーキテクチャシミュレータは、引数
として与えられた定義引数の個数５３８のアドレスによ
り、信号値の入力関数及び信号値の出力関数を用いて、
制御定義テーブル５３０に登録されている当該引数の信
号数５３９、５４１と、その個数分の定義信号の信号名
テーブルポインタ５４０、５４２を参照する。

【００７７】次に、前記アーキテクチャシミュレータ
は、信号名テーブルポインタ５４０、５４２から信号名
テーブル５２０を参照し、信号名テーブル５２０の論理
表現テーブルポインタ５２２から論理表現テーブル５０
１を参照して、各信号線の信号値を論理表現テーブル５
０１の出力信号値５０８から得る。

【００７８】また、各信号線の信号値を設定する場合に
も前記と同様にして、信号名テーブルポインタ５４０か
ら信号名テーブル５２０を参照し、信号名テーブル５２
０の論理表現テーブルポインタ５２２から論理表現テー
ブル５０１にアクセスして、各信号線の論理表現テーブ
ル５０１の出力信号値５０８に当該信号値を設定する。

【００７９】以下に、本実施例の論理回路の検証方法に
おいて、ある事象の発生により処理を実行するイベント
ドリブンによって論理回路の検証を行う手順について説
明する。

【００８０】図８は、本実施例の論理回路の検証方法の
処理手順を示すフローチャートである。

【００８１】図９は、本実施例の論理回路の検証方法を
実行する際の時間の経過を示すタイムホイールとイベン
トテーブルを示す図である。図９において、７００はタ
イムホイール、７１０はイベントテーブル、７１１はイ
ベント、７１２はフラグである。

【００８２】図９に示す様に、本実施例の論理回路の検
証方法において、イベントドリブンによって論理回路の
検証を行うときには、まず、タイムホイール７００にイ
ベントテーブル７１０中の処理しようとするイベント７
１１を設定し、シミュレーション時刻を示すタイムホイ
ール７００の矢印を移動させて、前記矢印が指すイベン
トを実行する。また、イベントテーブル７１０に示され
たイベント７１１は、当該イベントの種類を示すフラグ
７１２を持っている。

【００８３】本実施例の論理回路の検証方法では、図８
に示す様に、まず、ステップ６０１において、論理回路
情報を、シミュレーション実行可能な形式に変換する為
の論理回路情報展開を行い、各論理素子の接続状態を論
理表現テーブルに変換する。

【００８４】このとき、各論理素子の入力端子数及び出
力端子数を、それぞれ論理表現テーブル５０１の入力数
５０３、出力数５０４に設定し、各端子の数の入力信号
値５０６、５０７及び出力信号値５０８を格納する記憶
領域を確保する。

【００８５】これらの端子に接続される信号線の接続先
は、ネットリストなどから、その接続先を抽出し、入力
接続先５０９、５１０と出力接続先５１１に接続先の論
理表現テーブルの先頭アドレスを設定する。

【００８６】また、各入出力端子に接続される信号線
は、信号名テーブル５２０にその信号名称を信号名５２
１として登録し、前記信号線が出力端子に接続するとき
は論理表現テーブル５０１の先頭アドレスを信号名テー
ブル５２０の論理表現テーブルポインタ５２２に登録す
るとともに、論理表現テーブル５０１の信号名テーブル
ポインタ５１２に、前記信号名を登録した信号名テーブ
ルのアドレスを設定する。また、ネットリストに存在す
るインスタンス名等の階層情報は、信号名テーブル５２
０の階層情報５２３として登録する。

【００８７】検証の対象である論理回路全ての論理表現
テーブル５０１と信号名テーブル５２０を作成したの
ち、ステップ６０２において、予め入力情報としてカー
ド等の記憶媒体に作成した制御定義３０１及び、プログ
ラム言語によって作成された後に実行形式に変換された
アーキテクチャシミュレータ４０１を読み込み、制御定
義テーブル５３０を作成する。

【００８８】制御定義テーブル５３０の使用パラメタ数
５３１は、制御定義３０１のトリガ定義部３１０の判定
条件に使用されたパラメタ３０３の数を設定し、それぞ
れのパラメタに対する条件判定式５３２は、ＡＮＤ、Ｏ
Ｒ、比較演算子等の論理式で登録する。

【００８９】また、判定条件に用いたパラメタ３０３の
定義内容については、まず各パラメタの定義信号数５３
３、５３５を設定し、前記設定した定義信号数に応じて
定義信号の信号名テーブルポインタ５３４、５３６を設
定する。

【００９０】前記判定条件に用いたパラメタ内容を設定
し、また、シミュレーション時刻を「０」に設定した
後、パラメタの個数を定義引数の個数５３８に登録し、
信号名の個数を引数の信号名数５３９に、当該信号名テ
ーブルポインタを引数の信号名テーブルポインタ５４０
に設定する。

【００９１】引数の信号名数５３９で示される個数分
の、信号名テーブルポインタ５４０を設定したのち、次
の引数に対する信号名数５４１及びその構成要素である
信号名の信号名テーブルポインタ５４２を順次設定す
る。

【００９２】ステップ６０３では、呼び出されるアーキ
テクチャシミュレータをダイナミックにメモリ上に配置
し、その論理的なアドレスをアーキテクチャシミュレー
タアドレス５３７に設定する。

【００９３】同一判定条件で複数個のアーキテクチャシ
ミュレータを実行する制御定義がある場合には、前記の
の設定を繰り返して制御定義テーブル５３０を完成す
る。

【００９４】ステップ６０４では、異なる判定条件が存
在すると、その判定条件に対して、ステップ６０２から
ステップ６０３を繰り返し、全ての判定条件に対する制
御定義テーブル５３０を作成する。

【００９５】次のステップ６０５においては、予め記憶
媒体に作成して準備した入力テストパターンを読み込
み、前記入力テストパターンに対応する信号線の入力信
号値を信号線の接続先である論理表現テーブル５０１に
設定し、論理表現テーブル５０１のアドレスを、タイム
ホイール７００の時刻「０」に接続するイベントテーブ
ル７１０のイベント７１１に、論理回路シミュレーショ
ンを開始するイベントとして登録する。

【００９６】入力された初期値を全て論理表現テーブル
５０１に設定し、その信号値によるイベント７１１を登
録完了したのち、ステップ６０６からシミュレーション
時刻に従った論理回路シミュレーションを実行する。

【００９７】すなわち、ステップ６０６においては、シ
ミュレーション時刻を示すタイムホイール７００の対応
する時刻に接続されるイベントテーブル７１０に存在す
るイベント７１１を順次取り込み、フラグ７１２が
「０」のときステップ６０８、１のときステップ６０９
を実行する（ステップ６０７）。

【００９８】ステップ６０８では、イベント７１１が示
す論理表現テーブル５０１の入力信号値５０６、５０７
を基に、素子機能５０２に基づいた出力信号値を算出
し、出力信号値５０８にその信号値を設定する。

【００９９】また、当該論理素子の論理表現テーブル５
０１が持つ素子ディレイ５０５を加えた時刻のタイムホ
イール７００に接続されるイベントテーブル７１０上
に、当該論理素子の出力信号線の接続先である出力接続
先５１１の値（アドレス）をイベント７１１として登録
する。

【０１００】このとき論理表現テーブル５０１上の制御
定義テーブルポインタ５１３がゼロ以外（すなわち、制
御定義テーブルがこの論理表現テーブル５０１に接続さ
れている状態）のとき、接続先の制御定義テーブルポイ
ンタ５１３もイベントテーブル７１０上にイベント７１
１として登録し、フラグ７１２を「１」に設定する。こ
のイベント７１１のフラグ７１２が「１」のときは制御
定義テーブル５３０へのイベントであることを示す。

【０１０１】ステップ６０９では、イベント７１１が示
す制御定義テーブル５３０の処理を実行する。まず、制
御定義テーブル５３０の使用パラメタ数５３１で示され
るパラメタ数の信号名テーブルポインタ５３４から信号
名テーブル５２０を取り出し、その中に定義された論理
表現テーブルポインタ５２２が示す論理表現テーブル５
０１の中の出力信号値５０８から各パラメタの入力信号
値を求め、条件判定式５３２を実行したのち、前記の条
件が成立したら制御定義テーブル５３０の各引数の信号
名数５３８、５４１のアドレスを引数としてアーキテク
チャシミュレータアドレス５３３に示されるアドレスに
制御を移す。

【０１０２】すなわち、この時点でアーキテクチャシミ
ュレータが呼び出される。呼び出されたアーキテクチャ
シミュレータでは、渡された引数により信号値を読む入
力関数が、制御定義テーブル５３０の当該引数の信号名
テーブルポインタ５４０、５４２から信号名テーブル５
２０を介し、論理表現テーブル５０１に設定されている
出力信号値５０８を読み込むことにより入力信号値を得
ることができる。

【０１０３】また、出力信号値を設定する信号値の出力
関数では、同様にして論理表現テーブル５０１の出力信
号値５０８に目的とする値を設定し、出力接続先５１１
の内容を素子ディレイ５０５後のイベントテーブル７１
０上にイベント７１１として登録する。

【０１０４】実行中のシミュレーション時刻と同じ時刻
のイベントテーブル７１０上のイベント７１１がなくな
るまで、ステップ６０５から繰り返し（ステップ６１
０）、次のシミュレーション時刻に進め（ステップ６１
１）、シミュレーション終了時刻までこれらの処理を繰
り返す（ステップ６１２）。

【０１０５】以上の様に、本実施例の論理回路の検証方
法によれば、アーキテクチャシミュレーションの実行条
件を定義した論理定義を参照することにより、論理回路
シミュレーション中にアーキテクチャシミュレーション
を実行するので、論理回路の検証を効率良く行うことが
可能である。

【０１０６】また、本実施例の論理回路の検証方法によ
れば、論理回路データにアーキテクチャシミュレーショ
ンを実行する為の検証用回路を付加することなく、アー
キテクチャシミュレーションを実行するので、前記論理
回路データを二重化することなく論理回路の検証を行う
ことが可能である。

【０１０７】以下に、本発明の論理回路の検証方法にお
いて、論理回路の診断データを作成する手順について説
明する。

【０１０８】本実施例の論理回路の検証方法では、論理
回路を記述した論理回路データを使用して論理回路シミ
ュレーション及びアーキテクチャシミュレーションを実
行し、前記論理回路の各部の動作や前記論理回路上で実
行されるソフトウェアのシミュレーションを行って、前
記論理回路の各部の信号値を計算し、前記信号値を記憶
装置に格納する。

【０１０９】次に、前記論理回路データに基づいて作成
された論理回路上の電気信号を測定する際に、測定箇所
となる信号線の前記シミュレーション結果を抽出して、
前記測定箇所の診断データを作成する。

【０１１０】つまり、信号名テーブル５２０の階層情報
５２３に記載された物理的な階層記述を示すインスタン
ス名を抽出し、同一インスタンス名を持つ信号名５２
１、すなわち当該階層の信号線の信号値を、前記記憶装
置に格納した信号値から抽出して前記論理回路の診断デ
ータを作成する。

【０１１１】次に、前記論理回路データに基づいて作成
された論理回路を実際に動作させて、前記論理回路上の
各部の電気信号を測定し、前記の測定値と前記診断デー
タを比較することによって前記論理回路の検証を行う。

【０１１２】以上の様に、本実施例の論理回路の検証方
法では、論理回路シミュレーション及びアーキテクチャ
シミュレーションの結果によって当該論理回路の診断デ
ータを作成するので、論理回路の診断データを高速に作
成することが可能である。

【０１１３】以上、本発明を、前記実施例に基づき具体
的に説明したが、本発明は、前記実施例に限定されるも
のではなく、その要旨を逸脱しない範囲において種々変
更可能であることは勿論である。

【０１１４】

【発明の効果】本願において開示される発明のうち代表
的なものによって得られる効果を簡単に説明すれば、下
記のとおりである。

【０１１５】すなわち、アーキテクチャシミュレーショ
ンの実行条件を定義した論理定義を参照することによ
り、論理回路シミュレーション中にアーキテクチャシミ
ュレーションを実行するので、論理回路の検証を効率良
く行うことが可能である。

【０１１６】また、論理回路を記述した論理回路データ
にアーキテクチャシミュレーションを実行する為の検証
用回路を付加することなく、アーキテクチャシミュレー
ションを実行するので、前記論理回路データを二重化す
ることなく論理回路の検証を行うことが可能である。

【０１１７】また、本発明の論理回路の検証方法では、
論理回路シミュレーション及びアーキテクチャシミュレ
ーションの結果によって論理回路の診断データを作成す
るので、論理回路の診断データを高速に作成することが
可能である。

【図面の簡単な説明】

【図１】本発明の論理回路の検証方法を実施する論理回
路シミュレータとアーキテクチャシミュレータの概略構
成を示す図である。

【図２】本実施例の論理回路の検証方法の検証の対象と
なる論理回路の一例を示す図である。

【図３】本実施例の論理回路の検証方法の制御定義の一
例を示す図である。

【図４】本実施例の論理回路の検証方法のアーキテクチ
ャシミュレータの一例を示す図である。

【図５】本実施例の論理回路の検証方法の論理表現テー
ブルを示す図である。

【図６】本実施例の論理回路の検証方法の信号名テーブ
ルを示す図である。

【図７】本実施例の論理回路の検証方法の制御定義テー
ブルを示す図である。

【図８】本実施例の論理回路の検証方法の処理手順を示
すフローチャートである。

【図９】本実施例の論理回路の検証方法の処理を実行す
る際の時間の経過を示すタイムホイールとイベントテー
ブルを示す図である。

【符号の説明】

１０１…論理回路シミュレータ、１０２…論理回路、１
０３…信号線、１０４…信号線、１０８…宣言部、１０
９…トリガ定義部、１１０…アーキテクチャシミュレー
タ呼び出し、１１１…アーキテクチャシミュレータから
の戻り、１１４…アーキテクチャシミュレータ、２０１
…論理回路、３０１…制御定義、３０２…宣言部、３０
３…パラメタ、３０４（１）、３０４（２）…信号線、
３１０…トリガ定義部、４０１…アーキテクチャシミュ
レータ、５０１…論理表現テーブル、５２０…信号名テ
ーブル、５３０…制御定義テーブル、７００…タイムホ
イール、７１０…イベントテーブル、７１１…イベン
ト、７１２…フラグ。

Claims (3)

【特許請求の範囲】
1. 【請求項１】 論理回路の動作をシミュレートする論理
   回路シミュレーションと前記論理回路上で実行されるソ
   フトウェアの処理をシミュレートするアーキテクチャシ
   ミュレーションを行って前記論理回路がその設計仕様を
   満たしているかどうかを検証する論理回路の検証方法で
   あって、 前記アーキテクチャシミュレーションの実行条件を定義
   した論理定義を作成し、前記論理回路のある論理回路部
   分について前記論理回路部分を構成する論理素子の動作
   をシミュレートして前記論理回路シミュレーションを実
   行し、前記論理回路シミュレーションの結果が前記制御
   定義中の前記実行条件を満たすときに前記アーキテクチ
   ャシミュレーションを実行し、前記論理回路シミュレー
   ション及び前記アーキテクチャシミュレーションの結果
   と前記論理回路の設計仕様を比較して前記論理回路全体
   の検証を行うことを特徴とする論理回路の検証方法。
2. 【請求項２】 論理回路の動作をシミュレートする論理
   回路シミュレーションと前記論理回路上で実行されるソ
   フトウェアの処理をシミュレートするアーキテクチャシ
   ミュレーションを行って前記論理回路がその設計仕様を
   満たしているかどうかを検証する論理回路の検証方法で
   あって、 前記アーキテクチャシミュレーションの実行条件を定義
   した論理定義を前記論理回路の記述を変更することなく
   作成し、前記論理回路のある論理回路部分について前記
   論理回路部分を構成する論理素子の動作をシミュレート
   して前記論理回路シミュレーションを実行し、前記論理
   回路シミュレーションの結果が前記制御定義中の前記実
   行条件を満たすときに前記アーキテクチャシミュレーシ
   ョンを実行し、前記論理回路シミュレーション及び前記
   アーキテクチャシミュレーションの結果と前記論理回路
   の設計仕様を比較して前記論理回路全体の検証を行うこ
   とを特徴とする論理回路の検証方法。
3. 【請求項３】 論理回路上の電気信号を測定して前記論
   理回路がその設計仕様を満たしているかどうかを検証す
   る論理回路の検証方法において、 前記論理回路の動作をシミュレートする論理回路シミュ
   レーションと前記論理回路上で実行されるソフトウェア
   の処理をシミュレートするアーキテクチャシミュレーシ
   ョンを実行し、前記論理回路シミュレーション及び前記
   アーキテクチャシミュレーションの結果から前記論理回
   路の診断データを作成し、前記診断データと前記論理回
   路上の電気信号の測定値を比較して前記論理回路の検証
   を行うことを特徴とする論理回路の検証方法。