【手続補正書】
【提出日】平成16年6月4日(2004.6.4)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
複数の論理素子がファンイン−ファンアウト構造のネットリストで表現された論理回路のデータと、
その論理回路に入力されるべき信号のデータと、
その両データに基づいて前記各論理素子の論理的動作をイベント駆動方法にて検証する論理検証方法において、
前記複数の論理素子の内、発振機能を備えた論理素子に対して、次段の論理素子に信号変化を伝達するための通常イベントに加えて、発振機能を備えた論理素子自身の発振による信号変化を示すための自己着信イベントを設け、
自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、
そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するようにした論理検証方法。
【請求項２】
請求項１に記載の論理検証方法において、
発振機能を備えた論理素子は、一定の発振周期の発振信号を出力する固定周期発振器素子、又は、発振周期が可変する発振信号を出力する可変発振器素子である論理検証方法。
【請求項３】
請求項２に記載の論理検証方法において、
可変発振器素子は、外部クロック信号と帰還信号を入力しその両信号の位相差に基づいて発振周期が可変する発振信号を出力するＰＬＬ素子であって、その２つの信号の少なくともいずれかの信号が変化する時に前記位相差に基づく発振周期を求めるための演算が行われ、
前記新たな自己着信イベントの着信時刻はその演算された前記発振周期の発振による信号変化の時刻を現在処理している自己着信イベントの着信時刻に加算した時刻にするようにした論理検証方法。
【請求項４】
請求項３に記載の論理検証方法において、
前記位相差に基づく発振周期の演算は、その時の位相差に対して予め定めたパラメタを乗算した値を補正値とし、その補正値を用いて先の発振周期を補正して求めたものである論理検証方法。
【請求項５】
複数の論理素子がファンイン−ファンアウト構造のネットリストで表現された論理回路のデータを記録した論理データファイルと、
その論理回路に入力されるべき信号データを記録した信号データファイルと、
その両データに基づいて前記各論理素子の論理的動作をイベント駆動方法にて検証する論理検証装置において、
前記複数の論理素子の内、発振機能を備えた論理素子に対して、次段の論理素子に信号変化を伝達するための通常イベントに加えて、発振機能を備えた論理素子自身の発振による信号変化を示すための自己着信イベントを設け、
自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、
そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するイベント処理を行うイベント処理・生成部を備えた論理検証装置。
【請求項６】
複数の論理素子がファンイン−ファンアウト構造のネットリストで表現された論理回路のデータと、
その論理回路に入力されるべき信号のデータと、
その両データに基づいて前記各論理素子の論理的動作をイベント駆動方法にて検証するための論理検証プログラムを格納する記録媒体であって、
前記複数の論理素子の内、発振機能を備えた論理素子に対して、次段の論理素子に信号変化を伝達するための通常イベントに加えて、発振機能を備えた論理素子自身の発振による信号変化を示すための自己着信イベントを設け、
自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、
そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するための論理検証プログラムを記録した記録媒体。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】００２８
【補正方法】変更
【補正の内容】
【００２８】
【課題を解決するための手段】
請求項１に記載の発明は、複数の論理素子がファンイン−ファンアウト構造のネットリストで表現された論理回路のデータと、その論理回路に入力されるべき信号のデータと、その両データに基づいて前記各論理素子の論理的動作をイベント駆動方法にて検証する論理検証方法において、前記複数の論理素子の内、発振機能を備えた論理素子に対して、次段の論理素子に信号変化を伝達するための通常イベントに加えて、発振機能を備えた論理素子自身の発振による信号変化を示すための自己着信イベントを設け、自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するようにした。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】００２９
【補正方法】変更
【補正の内容】
【００２９】
請求項２に記載の発明は、請求項１に記載の論理検証方法において、発振機能を備えた論理素子は一定の発振周期の発振信号を出力する固定周期発振器素子、又は、発振周期が可変する発振信号を出力する可変発振器素子である。
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】００３０
【補正方法】削除
【補正の内容】
【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】００３１
【補正方法】変更
【補正の内容】
【００３１】
請求項３に記載の発明は、請求項２に記載の論理検証方法において、可変発振器素子は外部クロック信号と帰還信号を入力しその両信号の位相差に基づいて発振周期が可変する発振信号を出力するＰＬＬ素子であって、その２つの信号の少なくともいずれかの信号が変化する時に前記位相差に基づく発振周期を求めるための演算が行われ、前記新たな自己着信イベントの着信時刻はその演算された前記発振周期の発振による信号変化の時刻を現在処理している自己着信イベントの着信時刻に加算した時刻にするようにした。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】００３２
【補正方法】変更
【補正の内容】
【００３２】
請求項４に記載の発明は、請求項３に記載の論理検証方法において、前記位相差に基づく発振周期の演算はその時の位相差に対して予め定めたパラメタを乗算した値を補正値とし、その補正値を用いて先の発振周期を補正して求めたものである。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】００３３
【補正方法】変更
【補正の内容】
【００３３】
請求項５に記載の発明は、複数の論理素子がファンイン−ファンアウト構造のネットリストで表現された論理回路のデータを記録した論理データファイルと、その論理回路に入力されるべき信号データを記録した信号データファイルと、その両データに基づいて前記各論理素子の論理的動作をイベント駆動方法にて検証する論理検証装置において、前記複数の論理素子の内、発振機能を備えた論理素子に対して、次段の論理素子に信号変化を伝達するための通常イベントに加えて、発振機能を備えた論理素子自身の発振による信号変化を示すための自己着信イベントを設け、自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するイベント処理を行うイベント処理・生成部を備えた。
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】００３４
【補正方法】変更
【補正の内容】
【００３４】
請求項６に記載の発明は、複数の論理素子がファンイン−ファンアウト構造のネットリストで表現された論理回路のデータと、その論理回路に入力されるべき信号のデータと、その両データに基づいて前記各論理素子の論理的動作をイベント駆動方法にて検証するための論理検証プログラムを格納する記録媒体であって、前記複数の論理素子の内、発振機能を備えた論理素子に対して、次段の論理素子に信号変化を伝達するための通常イベントに加えて、発振機能を備えた論理素子自身の発振による信号変化を示すための自己着信イベントを設け、自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するための論理検証プログラムを記録した。
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】００３５
【補正方法】変更
【補正の内容】
【００３５】
（作用）
請求項１に記載の発明によれば、発振機能を備えた論理素子に対する自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントが生成されるとともに、そのイベント処理している自己着信イベントと同じ着信箇所であってその自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントが生成されるようにした。従って、発振機能を備えた論理素子の論理モデルは、構成が簡単で物理モデルとその端子構成が一致するモデルにすることができるとともに論理検証を容易にすることができる。
【手続補正１０】
【補正対象書類名】明細書
【補正対象項目名】００３６
【補正方法】変更
【補正の内容】
【００３６】
請求項２に記載の発明によれば、発振機能を備えた論理素子は、一定の発振周期の発振信号を出力する固定周期発振器素子、又は、発振周期が可変する発振信号を出力する可変発振器素子であるため、それらの論理モデルは、構成が簡単で物理モデルとその端子構成が一致するモデルにすることができるとともに論理検証を容易にすることができる。
【手続補正１１】
【補正対象書類名】明細書
【補正対象項目名】００３７
【補正方法】削除
【補正の内容】
【手続補正１２】
【補正対象書類名】明細書
【補正対象項目名】００３８
【補正方法】変更
【補正の内容】
【００３８】
請求項３及び請求項４に記載の発明によれば、ＰＬＬ素子に対する自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントが生成されるとともに、そのイベント処理している自己着信イベントと同じ着信箇所であってその自己着信イベントの着信時刻にそのＰＬＬ素子の位相差に基づいて演算された発振周期の発振による信号変化の時刻を加算した時刻を着信時刻とする新たな自己着信イベントが生成されるようにした。従って、ＰＬＬ素子の論理モデルは、構成が簡単で物理モデルとその端子構成が一致するモデルにすることができるとともに論理検証を容易することができる。
【手続補正１３】
【補正対象書類名】明細書
【補正対象項目名】００３９
【補正方法】変更
【補正の内容】
【００３９】
請求項５に記載の発明によれば、イベント処理・生成部は発振機能を備えた論理素子自身の発振の信号変化を示すための自己着信イベントを生成し、自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成する。
【手続補正１４】
【補正対象書類名】明細書
【補正対象項目名】００４１
【補正方法】変更
【補正の内容】
【００４１】
請求項６に記載の発明によれば、自己着信イベントに基づくイベント着信処理を行う際、そのイベント処理している自己着信イベントの着信時刻及び着信箇所を同じとする通常イベントを生成するとともに、そのイベント処理している自己着信イベントと同じ着信箇所であって、その自己着信イベントの着信時刻にその発振機能を備えた論理素子の発振による信号変化の時刻よりも後の時刻を着信時刻とする新たな自己着信イベントを生成するための論理検証プログラムを記録媒体から読み出し例えば論理検証装置で実行させることにより、発振機能を備えた論理素子の論理モデルを構成が簡単で物理モデルとその端子構成が一致するモデルに形成して論理検証をさせることができる。
【手続補正１５】
【補正対象書類名】明細書
【補正対象項目名】０１３８
【補正方法】削除
【補正の内容】
【手続補正１６】
【補正対象書類名】明細書
【補正対象項目名】０１３９
【補正方法】変更
【補正の内容】
【０１３９】
請求項３及び請求項４に記載の発明によれば、論理検証においてＰＬＬ素子の論理モデルを構成が簡単で物理モデルとその端子構成が一致するモデルにして検証することができる。
【手続補正１７】
【補正対象書類名】明細書
【補正対象項目名】０１４０
【補正方法】変更
【補正の内容】
【０１４０】
請求項５に記載の発明によれば、論理検証において発振機能を備えた論理素子の論理モデルを構成が簡単で物理モデルとその端子構成が一致するモデルにして論理検証を行うことができる。
【手続補正１８】
【補正対象書類名】明細書
【補正対象項目名】０１４１
【補正方法】変更
【補正の内容】
【０１４１】
請求項６に記載の発明によれば、論理検証において発振機能を備えた論理素子の論理モデルを構成が簡単で物理モデルとその端子構成が一致するモデルにして論理検証をさせることができる。