JPH07287723A

JPH07287723A - 指定パス活性化検出方法

Info

Publication number: JPH07287723A
Application number: JP6080121A
Authority: JP
Inventors: Konagi Uchibe; こなぎ内部; Takashi Suzuki; 敬鈴木; Toru Shonai; 亨庄内
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1994-04-19
Filing date: 1994-04-19
Publication date: 1995-10-31

Abstract

(57)【要約】【構成】セルライブラリ１０１，論理回路記述１０２，
指定パス１０３，テストパタン１０５の各ファイルを入
力として、計算機で回路の動作を模擬する論理シミュレ
ーション方法１１８において、指定パスファイルによっ
て指定された指定パスの始まりである信号線にイベント
が伝播したとき、信号線に識別子を付け、信号線の識別
番号を記録し、イベントの伝播と共に識別子を伝え、識
別子の伝わった各信号線の識別番号を記録し、識別子が
指定パスの最後の信号線に伝播したとき、記録されてい
る識別子の付いた信号線の識別番号の集合の中に指定パ
スを構成する全ての信号線の識別番号が含まれているか
否かを調べることにより、指定パスの活性化を検出す
る。【効果】予め指定されたパスの活性化を容易に検出でき
る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は論理回路のシミュレーシ
ョンにおいて、論理シミュレーション時に活性化するパ
スを検出する方法に関する。

【０００２】

【従来の技術】クロック同期式のディジタル回路では、
フリップフロップ間の最大遅延がLSIの動作速度を決定
する。そのため回路設計では、フリップフロップ間の信
号経路(パス)の遅延を検証する必要がある。その検証方
法として、素子や配線の遅延を考慮する論理シミュレー
ションによってパスの信号の遅延を調べる方法がある。
論理シミュレーションを用いる方法では、信号がどのパ
スを伝播するか、即ち、どのパスが活性化するかはシミ
ュレーション時のテストパタンに依存する。従って、パ
スの遅延を検証するには、全てのパス、少なくとも遅延
の大きいクリティカルなパスを活性化させなくてはなら
ない。その際、パスが活性化したか否かを検出する必要
が生じる。

【０００３】従来、論理シミュレーションを用いてパス
の活性化を検出する方法には、論理シミュレータ内に活
性化パスを検出する手段を設ける方法と、論理シミュレ
ーションの結果を参照して活性化パスを検出する方法の
２種類が提案されている。

【０００４】前者の方法は、特開平2−288979 号公報で
述べられている。これは、論理シミュレーションによっ
てパス上の信号線に伝わるイベントを記録する際、その
イベントの親となるイベントの識別番号を情報として保
持することにより、イベントの伝播経路、活性化パスを
検出する方法である。

【０００５】後者の方法は特開平3−269766 号公報に述
べられており、論理シミュレーションの結果から、ある
素子の入力端子に接続する信号線でイベントが生じてか
ら、その素子の出力端子に接続する信号線でイベントが
生じるまでの時間と、その素子の遅延時間との比較によ
り、信号の伝播を調べる方法である。

【０００６】

【発明が解決しようとする課題】パスの活性化を検出す
る場合、活性化の有無を調べたいパスをあらかじめ想定
したうえで行うことが多い。その場合、上記従来例の前
者の方法では、必要なパスをあらかじめ指定する機能は
備わっておらず、発生するイベントについて全て記録し
ているため、記録されたイベントの中から、必要なパス
を探す手間が大きい。

【０００７】また、上記従来例の後者の方法では、シミ
ュレーション後にイベントの伝播時間を各素子について
調べ、素子の遅延と比較するという非常に手間のかかる
作業を要する。

【０００８】本発明の目的は、あらかじめ指定されたパ
スの活性化を容易に検出する方法を提供することにあ
る。

【０００９】

【課題を解決するための手段】本発明は、上記目的を達
成するため、論理回路記述，セルライブラリ，指定パ
ス，テストパタンの各ファイルを入力として、計算機で
回路の動作を模擬する論理シミュレーションを行い、指
定パスの活性化を検出する。検出手段として、指定パス
ファイルによって指定された指定パスの始まりである信
号線にイベントが伝播したとき、その信号線に識別子を
付け、信号線の識別番号を記録する。イベントの伝播と
共にその識別子を伝え、識別子の伝わった信号線の識別
番号を記録する。識別子が指定パスの最後の信号線に伝
播したとき、記録された同じ識別子の付いた信号線の識
別番号の集合の中に指定パスを構成する全ての信号線の
識別番号が含まれているか否かを調べる。

【００１０】指定パスを構成する信号線の識別番号の集
合と、活性化された同じ識別子を持つ信号線の集合を二
分決定グラフで表現することで、上記の同じ識別子の付
いた信号線の識別番号の集合の中に指定パスを構成する
全ての信号線の識別番号が含まれているか否かを調べる
処理を、二分決定グラフ（ＢＤＤ）を用いた論理演算に
より行う方法もある。二分決定グラフは論理関数や集合
を少ないメモリ使用量で扱うことができるデータ構造で
ある。情報処理ＶＯＬ.３４，ＮＯ.５(1993.5)に、二分
決定グラフの特集記事が掲載されている。

【００１１】また、指定パスの活性化状況を把握するた
め、検出された活性化パスを記録し、論理シミュレーシ
ョン終了時に指定パスファイルで指定された指定パスの
中の活性化パスの割合を計算する。また、活性化されな
かった指定パスを抽出し、出力する。

【００１２】更に、指定パスファイルを任意の遅延計算
方法により求めた遅延制約違反パスを指定パスとして作
成する。

【００１３】

【作用】上記手段により、あらかじめ指定したパスにつ
いてのみ、パスが活性化した場合パスの始めから終りま
での全ての信号線に同じ識別子が記録される。従って、
論理シミュレーションによって指定パスを構成する全て
の信号線に同じ識別子が記録されたか否かを判定するだ
けで、その指定パスの活性化を検出できる。また、その
判定は、同じ識別子を持つ信号線の集合と、指定パスを
構成する信号線の集合の包含関係を調べることで行え
る。更に、集合を論理関数で表すと、包含関係の判定は
簡単な論理演算で行える。二分決定グラフは論理関数を
少ない記憶量で表現するデータ構造であり、二分決定グ
ラフを用いた論理関数間の論理演算は簡単なグラフの操
作で行えるため、処理速度も速い。

【００１４】論理シミュレーションによってパスの遅延
検証を行うには、遅延の大きいクリティカルパスを活性
化させなくてはならない。従って、活性化を検出したい
パスは主にそのようなクリティカルパスである。そこ
で、遅延の大きいパス、即ち遅延制約違反パスを他の任
意の遅延計算方法で求めて指定パスとすることにより、
クリティカルパスの活性化を検出することができる。

【００１５】

【実施例】図１は本発明の一実施例の構成の説明図であ
る。論理シミュレーション１１８は、素子の種類や遅延
等の情報を記述したセルライブラリ１０１，回路の素子
とその接続情報を記述した回路記述１０２から初期設定
手段１０６により素子テーブル１０７を作成する。回路
記述１０２と活性化を検出したいパスを示す指定パスフ
ァイル１０３から初期設定手段１０６により出力信号線
テーブル１０８を作成する。指定パスファイル１０３は
指定パスファイル作成手段１０４から作成することがで
きる。また、テストパタン１０５から初期設定手段１０
６により外部入力テーブル１１０を作成する。これらの
作成したテーブルを基に、指定パス活性化検出手段１１
３を含む論理シミュレーション実行手段１１２により論
理シミュレーションを実行し、シミュレーション結果フ
ァイル１１６を出力する。論理シミュレーション実行時
に発生したイベントの情報をタイムホイール１１１に登
録する。指定パス活性化検出は、二分決定グラフ処理手
段１１５を用いて行うこともできる。

【００１６】本実施例では、最初に二分決定グラフを用
いない処理について説明し、最後に二分決定グラフを用
いた場合のパス活性化検出方法について述べる。指定パ
スの活性化検出の結果を基に、活性化されたパスの割合
を求め、活性化されなかったパスを指摘するパスカバレ
ジ１１４を行い、パスカバレジ結果ファイル１１７を出
力する。

【００１７】以下、図２ないし図６を用いて１０７〜１
１０のテーブルの構造を、図７ないし図１４を用いて１
０６，１１２，１１３，１１４の処理手順を説明する。
また、図１５ないし図２９を用いて具体例についての処
理を説明する。

【００１８】図２は素子テーブル１０７を説明する図で
ある。素子テーブル１０７は各素子固有の素子名２０
１，素子タイプ２０２，素子の遅延時間２０３，入力信
号線数２０４と入力信号線テーブル２０８へのポインタ
２０５，出力信号線数２０６と出力信号線テーブル１０
８へのポインタ２０７を格納する。入力信号線テーブル
２０８は出力信号線テーブルへのポインタ２０９を格納
し、ポインタ２０５が指す要素から入力信号線数２０４
の要素が指す信号線が素子の入力信号線となる。

【００１９】図３は出力信号線テーブル１０８の説明図
である。出力信号線テーブル１０８は各信号線固有の信
号線名３０１，信号値３０２，ファンアウト接続素子数
303とファンアウト接続素子テーブル３０９へのポイン
タ３０４，信号線が指定パスに含まれるか、含まれる場
合パス内のどの位置であるかを表すマーク３０５，指定
パスに含まれる信号線について一意に与えられるリテラ
ル番号３０６，イベントの伝播と共に伝える活性化識別
子３０７，信号線が指定パスの最終端であるときに限り
パスリスト３１１へのポインタ３０８を格納する。ファ
ンアウト接続素子テーブル３０９は、素子テーブル１０
７へのポインタ３１０を格納し、ポインタ３０４が指す
要素からファンアウト接続素子数３０３の要素が指す素
子が信号線のファンアウト接続素子である。パスリスト
３１１は指定パステーブル１０９で、その信号線が最終
端となっている指定パスへのポインタ３１２を格納し、
リストポインタ３１３でつなぐ。

【００２０】図４は指定パステーブル１０９の二分決定
グラフを用いない場合の構成を示す説明図である。指定
パステーブル１０９は、指定パスファイル１０３により
指定されたパスのパス名４０１、そのパスが活性化され
たか否かを表すフラグ４０２，指定パスリスト４０４へ
のポインタ４０３を格納する。指定パスリスト４０４に
は、パスを構成する信号線のリテラル番号４０５を最終
端から入力方向の順で格納し、リストポインタ４０６で
つなぐ。

【００２１】図５は外部入力テーブル１１０の説明図で
ある。ある時刻にどの信号線をどんな信号値にするかと
いう情報、即ち、時刻５０１と外部入力リスト５０３へ
のポインタ５０２を格納する。外部入力リストには信号
名５０４と信号値５０５を格納し、リストポインタ５０
６でつなぐ。

【００２２】図６はタイムホイール１１１の説明図であ
る。タイムホイール１１１はイベント情報６０１を時刻
毎に登録するデータ構造であり、ポインタ６０５により
リストにつないでイベントリスト６０６として保持す
る。イベント情報６０１の内容は出力信号線テーブル１
０８へのポインタ６０２，信号値６０３，活性化識別子
６０４である。

【００２３】図７は本実施例の処理を示す図である。初
期設定７０１では図２ないし図５に示したテーブルを作
成し、初期値を設定する。また、時刻を初期状態ｔ０に
設定し、終了時刻を定める。ループ７０２は時刻ｔが終
了時刻となるまで、処理703ないし７０５を繰り返す。
処理７０３は外部入力がある場合、外部入力となる信号
線へのポインタ，信号値，活性化識別子をイベントリス
ト６０６に登録する処理である。処理７０４では、イベ
ントリストに登録されているイベント情報601を取り出
し、それを基に出力信号線テーブル１０７の信号値３０
２，活性化識別子３０７の値を更新し、活性化識別子毎
に分類されたリストに、信号線のリテラル番号を登録す
る。更にイベントの発生した信号線が指定パスの最終端
である場合には、指定パスが活性化したか否かを調べ
る。最後に、出力信号線テーブルで信号値が更新された
信号線を指すポインタを信号変化テーブルに登録する。
処理７０５では、処理７０４で信号変化テーブルに登録
されたポインタが指す各信号線について、その信号線の
ファンアウト接続素子の出力信号線へのイベント伝播を
調べ、伝播がある場合にはイベントが伝播する時刻のイ
ベントリストにイベント情報を登録する。パスカバレジ
処理７０６は活性化検出の結果を基に指定パスの中で活
性化したパスの割合と活性化しなかったパス名４０１を
出力する。

【００２４】図８は図７における初期設定７０１の処理
の説明図である。８０１は回路記述１０２を基に、素子
テーブル（図２）の素子名，入力信号線数，入力信号線
テーブルへのポインタ，出力信号線数，出力信号線テー
ブルへのポインタ、及び入力信号線テーブルの各要素の
値を、出力信号線テーブル（図３）の信号線名，ファン
アウト接続素子数，ファンアウト接続素子テーブルへの
ポインタ及びファンアウト接続素子テーブルの各要素の
値を設定する。８０２はセルライブラリを基に素子テー
ブルの素子のタイプ(ＡＮＤ，ＯＲ等の種類)、遅延時間
を設定する。

【００２５】８０３はテストパタンを基に外部入力テー
ブルに外部入力のある時刻と、その時刻にある外部入力
をリストにつないで登録する（図５）。８０４はパス指
定を参照し、少なくとも一つの指定パスに含まれる全て
の信号線に１以上の固有のリテラル番号を割当て、出力
信号線テーブルのリテラル番号を設定する。どの指定パ
スにも含まれない信号線のリテラル番号には０を設定す
る。８０５はパス指定に基づき、指定パステーブルのパ
ス名を設定し、指定パスリストに８０４で定めたリテラ
ル番号を登録する。８０６は時刻を初期時刻ｔ０に設定
し、終了時刻を定める。８０７は初期値となる信号値を
出力信号線テーブルに設定する。８０８は指定パスを参
照し、信号線が指定パスの最初ならばＦ、最終端ならば
Ｌ、指定パスの中間にあるならばＭ、また、指定パスに
含まれない信号線にはＥを出力信号線テーブルのマーク
に設定する。出力信号線テーブルに登録されている信号
線のうち、８０８で設定されたマークがＬである全ての
信号線について８０９を行う。８０９はその信号線を最
終端に持つ指定パスを指す指定パステーブルへのポイン
タをパスリストに登録する。８１０は出力信号テーブル
の識別子を全て０とする。８１１は識別子カウンタの値
を１に設定する。８１２は指定パスに含まれる全ての信
号線、即ち、出力信号線テーブルでマークがＥでない信
号線の信号線名と信号値をシミュレーション結果ファイ
ルに出力する。

【００２６】図９は図７の外部入力登録７０３の処理の
詳細を示す図である。時刻ｔの外部入力リストに登録さ
れている全ての外部入力について９０１〜９０４を行
う。

【００２７】９０１は時刻ｔの外部入力の信号線を指す
出力信号線テーブルへのポインタと信号値を外部入力テ
ーブルを参照してイベントリスト６０６に登録する。９
０２は外部入力の信号線のマークがＦならば９０３へ、
Ｆ以外ならば９０４へ分岐する分岐条件である。９０３
はイベントリストに識別子カウンタの数を登録し、識別
子カウンタの値を１増やす。９０４はイベントリストの
識別子に０を登録する。

【００２８】図１０（ａ）は図７の信号変化更新７０４
の処理の説明図である。時刻ｔの全てのイベントについ
て、イベントの信号値が、イベントの出力信号線テーブ
ルへのポインタｓｐが指す信号線の信号値と異なる場
合、１００１〜１００５を行う。

【００２９】１００１は出力信号線テーブルの信号値を
イベントの信号値に更新する。1002は出力信号線テーブ
ルのｓｐが指す信号線の活性化識別子３０７をイベント
の活性化識別子６０４に更新する。１００２で登録され
た出力信号線テーブルの活性化識別子が０でないなら
ば、１００３〜１００４を行う。１００３は１００２で
登録された出力信号線テーブルの活性化識別子とリテラ
ル番号を、活性化識別子ハッシュテーブルの、活性化識
別子を引き数するハッシュ関数の関数値のアドレスにつ
ながる活性化識別子リストに登録する。ハッシュ関数は
定義域（この場合は活性化識別子の数）より値域が小さ
くなる関数で、引数の剰余を取る関数等がよく用いられ
る。

【００３０】図１０（ｂ）は活性化識別子ハッシュテー
ブルを表す図である。ハッシュテーブルには活性化識別
子リストを指すポインタを格納する。活性化識別子リス
トは同じハッシュ値を持つ活性化識別子をリストでつな
ぎ、各要素１０１２には、活性化識別子１０１３と二つ
のリストポインタ１０１４，１０１５を格納する。

【００３１】１０１４はその活性化識別子を持つ信号線
のリテラル番号のリストへのポインタで、１０１５は次
要素へのポインタである。１０１４の指す要素１０１６
はリテラル番号１０１７と、リストポインタ１０１８を
格納する。活性化識別子とリテラル番号の登録の際に
は、その活性化識別子が既に活性化識別子リストに存在
する場合はその活性化識別子のリテラル番号のリストに
ｓｐが指す信号線のリテラル番号を登録する。存在しな
い場合には、活性化識別子を活性化識別子リストに登録
した上でリテラル番号を登録する。ｓｐが指す信号線の
マークがＬならば、１００４を行う。１００４は指定パ
スが活性化したか否かを検出する処理である。活性化識
別子リストに登録されたリテラル番号と、指定パスリス
トに登録されたリテラル番号の比較により行う。１００
５はポインタｓｐを信号変化テーブル１０２０に登録す
る。

【００３２】図１０（ｃ）は信号変化テーブル１２２０
を表す説明図である。信号変化テーブル１２２０は出力
信号線テーブル１０７を指すポインタを格納する。

【００３３】図１１は図１０の活性化パスチェック１０
０４の二分決定グラフを用いない処理の詳細を示す図で
ある。信号変化テーブルに登録された全てのポインタｓ
ｐに対し、１１０１〜１１０９を行う。１１０１はポイ
ンタｃｐを定める。ｓｐが指す信号線の活性化識別子を
ｃとするとき、活性化識別子リストの活性化識別子ｃの
リストポインタが指す要素のリストポインタをｃｐとす
る。ループ１１０２はｓｐが指す信号線のパスリストの
ポインタが指す指定パスのうち、フラグがOFFである全
ての指定パスについて１１０３〜１１０８を行う。１１
０３はパスＰのリストポインタが指す要素のリストポイ
ンタをｐｐとする。ｐｐが指す要素のリストポインタが
空でない間、処理１１０５〜１１０８を行う。ｐｐが指
す要素のリテラル番号がｃｐが指す要素のリテラル番号
と異なる間、１１０４〜１１０６を行う。１１０４はｃ
ｐが指す要素のリストポインタが空でないならば１１０
５へ、空ならば１１０６へと分岐する分岐条件である。
１１０５はｃｐをｃｐが指す要素のリストポインタとす
る。１１０６は処理を中止し、ループ１１０２を抜け
る。１１０７はｐｐをｐｐが指す要素のリストポインタ
とする。１１０８はｃｐをｃｐが指す要素のリストポイ
ンタとする。ｐｐがＮＵＬＬならば１１０９を行う。１
１０９は指定パステーブルのパスＰのフラグをＯＮにす
る。

【００３４】図１２は図７の出力信号変化登録７０５の
処理の詳細を表す説明図である。

【００３５】１００５により信号変化テーブルに登録さ
れた全てのポインタｓｐについて1201〜１２０６を行
う。ポインタｓｐが指す信号線のマークがＥでないなら
ば1201を行う。１２０１はｓｐが指す信号線の信号線名
をシミュレーション結果ファイルに出力する。ｓｐが指
す信号線の全てのファンアウト接続素子ｇに対し、1202
〜１２０６を行う。１２０２は素子ｇの入力信号の信号
値を出力信号線テーブルに登録されている値とし、素子
ｇのタイプを基に出力信号線ｏｓの信号値ｏｖを計算す
る。１２０３は現時刻ｔに素子ｇの遅延を加えた時刻の
イベントリストに信号線ｏｓへのポインタと信号値ｏｖ
を登録する。１２０４は信号線ｏｓのマークがＦならば
１２０５へＦでなければ１２０６へと分岐する分岐条件
である。1205は時刻ｔ＋（素子ｇの遅延時間）の信号線
ｏｓのイベントの活性化識別子に識別子カウンタの値を
登録し、カウンタの値を１増やす。１２０６は時刻ｔ＋
（素子ｇの遅延時間）の信号線ｏｓのイベントの活性化
識別子にｓｐが指す信号線の活性化識別子を登録する。

【００３６】図１３は図７のパスカバレジ７０６の処理
の詳細を示す説明図である。1301は指定パステーブルで
フラグがＯＮになっているパスの数ｎを数える処理であ
る。１３０２は１３０１で求めたｎを全指定パス数で割
り、活性化されたパスの割合を求め、結果をファイルに
出力する処理である。１３０３は活性化されなかった指
定パス名を結果ファイルに出力する処理である。

【００３７】図１４（ａ）は図１０の活性化パスチェッ
ク１００４を二分決定グラフを用いて行う処理を表す図
である。図１４（ｂ）は二分決定グラフを用いる場合の
指定パステーブルを表す図である。二分決定グラフ１４
１０は、図４の指定パスリスト４０４に登録されている
リテラル番号を変数と見なしたとき、全ての変数の論理
積を表す関数である。即ち、指定パスリスト４０４に登
録されているリテラル番号が正整数１〜ｒであるとする
とき、正整数ｉを変数ｘｉとして論理積を取った関数ｆ
＝ｘ１・ｘ２・．．．・ｘｒを二分決定グラフで表した
ものである。図１４（ｃ）は二分決定グラフを用いる場
合の活性化識別子ハッシュテーブルを表す図である。１
４２０は図１０の一つの活性化識別子につながるリテラ
ル番号のリスト１０１６に登録されている全てのリテラ
ル番号の集合を（ｂ）と同様の手順で関数に表現したも
のである。１４０１における関数ｆが１４２０である。

【００３８】１４０２の関数ｇが１４１０である。１４
０３は〜ｆ＋ｇを計算する。〜ｆ＋ｇが恒真関数ならば
指定パスリストのパスＰのフラグ１４１１をＯＮにす
る。

【００３９】次に、図１５の回路とデータを用いて実施
例の処理内容を具体的に説明する。

【００４０】図１５（ａ）は回路の例である。Ｇ０は仮
想入力素子、Ｇ１はＮＡＮＤゲート、Ｇ２，Ｇ３はＮＯ
Ｒゲートで、信号線をＳ１〜Ｓ７とする。図１５（ｂ）
は図１５（ａ）の回路を記述した回路記述の例である。
図１５（ｃ）はセルライブラリの一部を表す図である。
ＮＡＮＤゲートの遅延を２、ＮＯＲゲートの遅延を３と
する。図１５（ｄ）は指定パスファイルの例である。パ
スＰＳ１：Ｓ２→Ｓ５→Ｓ６と、パスＰＳ２：Ｓ３→Ｓ
５→Ｓ６が指定パスであることを示す。指定パスファイ
ルは指定パスファイル作成手段を用いて作成できる。例
えば、パス上の全ての素子の遅延の合計が最大となるパ
スをグラフの探索アルゴリズム等を用いて求め、指定パ
スとすることができる。図１５（ａ）では、ＰＳ１，Ｐ
Ｓ２がそのようなパスになっている。図１５（ｅ）はテ
ストパタンを表す図である。外部入力は時刻１にＳ２→
１、時刻２にＳ３→０の二つである。

【００４１】図１６は図１５の回路データについて図７
の初期設定７０１が終了したときの素子テーブル１０
７，信号線テーブル１０８，指定パステーブル１０９，
外部入力テーブル１１０を表す図である。図１５（ｂ）
の回路記述と（ｃ）のセルライブラリから、図８の処理
８０１，８０２により、素子テーブルと入力信号線テー
ブルの１６０１〜１６０８，出力信号線テーブルとファ
ンアウト接続素子テーブルの１６０９，１６１１，１６
１２，１６１９を設定する。図１５（ｅ）のテストパタ
ンから、８０３により外部入力テーブル１６２４を作成
する。図１５(ｄ)の指定パスファイルから、指定パスに
含まれる信号線はＳ２，Ｓ３，Ｓ５，Ｓ６，Ｓ７の五つ
であるので、８０４によりそれぞれのリテラル番号をＲ
１〜Ｒ５と定め、１６１４に設定する。８０５により、
指定パステーブルを作成し、1620〜１６２３を設定す
る。８０６で初期時刻は０とする。図１５（ｅ）から、
信号線Ｓ１，Ｓ２，Ｓ３，Ｓ４の初期値はそれぞれ０，
０，１，０である。８０７により、１６１１を設定す
る。パスＰ１において、パスの最初の信号線はＳ２であ
り、Ｓ６はパスの最終端に、Ｓ５はパスの中間に位置す
る。従って、Ｓ２，Ｓ５，Ｓ６のマークはそれぞれＦ，
Ｍ，Ｌとなる。他の信号線についても同様に見ていく
と、８０８により１６１３が設定される。ここで、マー
クがＬである信号線はＳ６とＳ７である。８０９によ
り、Ｓ６を最終端とする指定パスはＰＳ１であるから、
１６１６が指すパスリストの要素１６１７には、指定パ
ステーブルのPS１を指すポインタが入る。同様にＳ７に
つながるパスリストの要素１６１８はPS２を指すポイン
タである。８１０より出力信号線テーブルの全ての信号
線の活性化識別子の値を０にする。８１１より識別子カ
ウンタ１６２５の値を１とする。

【００４２】８１２によりシミュレーション結果出力フ
ァイルに１６２６が出力される。

【００４３】図１７は時刻ｔ＝１における外部入力登録
７０３後のイベント情報と出力信号テーブルの一部を表
す図である。外部入力テーブル１６２４より、時刻１に
おいてＳ２を１とする入力があるため、外部入力登録７
０３の処理を行う。タイムホイールの時刻１のイベント
として、信号線Ｓ２を指すポインタ１７０１，入力信号
値１を登録する（１７０２）。また、Ｓ２のマークはＦ
であるから、イベントの活性化識別子にはその時点での
識別子カウンタ１６２５の値１を登録し(1703)、識別子
カウンタの値を１増やし、２とする（１７０５）。

【００４４】図１８は時刻ｔ＝１における信号変化更新
処理７０４後の活性化識別子ハッシュテーブルと出力信
号線テーブルの一部を表す説明図である。ｔ＝１には図
１７に示した一つのイベントが存在する。信号線Ｓ２の
信号値１７０４は０であり、イベントの信号値１７０２
と異なる。従って、１００１により出力信号テーブルの
Ｓ２の信号値を１にする（１８０６）。イベントの活性
化識別子１７０３は１であるから、１００２により出力
信号線テーブルの活性化識別子を１とする（１８０
７）。活性化識別子は０ではないので、１００３により
活性化識別子ハッシュテーブルに登録する。ハッシュ関
数をｈ（ｘ）＝ｘｍｏｄ３とすると（ｘは活性化識別
子）、テーブルのアドレスｈ（１）＝１のポインタ１８
０１が指す要素に活性化識別子１を登録する（１８０
２）。リストポインタ１８０３が指す要素には信号線Ｓ
２のリテラル番号Ｒ２を登録する（１８０４）。Ｓ２の
マークはＬではないので、指定パス活性化チェック１０
０４は行わない。最後に信号変化テーブルにＳ２を指す
ポインタを登録する（１８０５）。

【００４５】図１９は時刻ｔ＝１における出力信号変化
登録７０５の処理でイベントを登録したタイムホイール
の図である。信号変化テーブルに登録されたポインタは
Ｓ２を指すもの一つであるから（１８０５）、このポイ
ンタを取り出して処理を行えばよい。信号線Ｓ２のマー
クはＥではないため、出力ファイルに信号線名Ｓ２を出
力する。Ｓ２のファンアウト接続素子はＧ１のみである
から（図１６参照）、素子Ｇ１に対し、処理１２０２〜
１２０６を行う。素子Ｇ１の入力信号はＳ２とＳ３であ
り、Ｓ２の信号値１８０６は１、Ｓ３の信号値１６１０
は１であるから、１と１のＮＡＮＤを計算すると、素子
Ｇ１の出力信号線Ｓ５の信号値は０である。素子Ｇ１の
遅延１６０３は２であるから、１２０３によりタイムホ
イールの現時刻ｔ＝１に２を加えたｔ＝３の位置にイベ
ントを登録する。Ｓ５を指すポインタ１９０２と、信号
値に０を登録する（１９０３）。信号線Ｓ５のマーク16
13はＦではないので、１２０５により１８０５が指す信
号線Ｓ２の活性化識別子１（１８０７）をイベントの活
性化識別子として登録する（１９０４）。これでｔ＝１
の処理は全て終了し、時刻を一つ進め、ｔ＝２とする。

【００４６】図２０は時刻ｔ＝２における外部入力登録
後のイベント情報と出力信号テーブルの一部を表す説明
図である。外部入力テーブルより、時刻２においてＳ３
を０とする入力があるため、外部入力登録７０３の処理
を行う。タイムホイールの時刻２のイベントとして、信
号線Ｓ３を指すポインタ２００１，入力信号値０を登録
する（２００２）。また、Ｓ３のマークはＦであるか
ら、イベントの活性化識別子には識別子カウンタ１７０
５の値２を登録し（２００３）、識別子カウンタの値を
１増やし３とする（２００５）。

【００４７】図２１は時刻ｔ＝２における信号変化更新
処理後の活性化識別子ハッシュテーブルと出力信号線テ
ーブルの一部を表す説明図である。ｔ＝２におけるイベ
ントは図２０の一つである。信号線Ｓ３の信号値２００
４は１であり、イベントの信号値２００２と異なる。従
って、１００１により出力信号テーブルのＳ３の信号値
を０にする（２１０６）。イベントの活性化識別子２０
０３は２であるから、１００２により出力信号線テーブ
ルの活性化識別子を２とする（２１０７）。活性化識別
子は０でないので、１００３により活性化識別子ハッシ
ュテーブルに登録する。ｔ＝１のときと同様に、テーブ
ルのアドレスｈ（２）＝２のポインタが指す要素に活性
化識別子２を登録する（２１０２）。リストポインタ２
１０３が指す要素には信号線Ｓ３のリテラル番号Ｒ２を
登録する（２１０４）。Ｓ３のマークはＬでないので、
指定パス活性化チェック１００４は行わない。最後に信
号変化テーブルにＳ３を指すポインタを登録する（２１
０５）。

【００４８】図２２は時刻ｔ＝２における出力信号変化
登録７０５の処理でイベントを登録したタイムホイール
を表す図である。信号変化テーブルに登録されたポイン
タはＳ３を指すもの一つであるから、このポインタを取
り出して処理を行う。以後図１９と同様の処理を行い、
タイムホイールのｔ＝４の位置にイベント、即ちＳ５を
指すポインタ２２０２、信号値１（２２０３），活性化
識別子２（２２０４）を登録する。これでｔ＝２の処理
は全て終了となり、時刻を一つ進め、ｔ＝３とする。

【００４９】図２３は時刻ｔ＝３における信号変化更新
処理後の活性化識別子ハッシュテーブルと出力信号線テ
ーブルの一部を表す図である。ｔ＝３のイベントは図１
９の一つである。信号線Ｓ５の信号値１６１０は１であ
り、イベントの信号値1903と異なる。従って、１００１
により出力信号テーブルのＳ５の信号値を０にする（２
３０６）。イベントの活性化識別子１９０４は１である
から、１００２により出力信号線テーブルの活性化識別
子を１とする（２３０７）。活性化識別子は０でないの
で、１００３により活性化識別子ハッシュテーブルに登
録する。テーブルのアドレスｈ（１）のポインタ２３０
１が指す活性化識別子１の要素2302のリストポインタ２
３０３が指す要素に、信号線Ｓ５のリテラル番号Ｒ３を
登録する（２３０４）。Ｓ５のマークはＬでないので、
指定パス活性化チェック1004は行わない。最後に信号変
化テーブルにＳ５を指すポインタを登録する(２３０
５)。

【００５０】図２４は時刻ｔ＝３における出力信号変化
登録７０５の処理でイベントを登録したタイムホイール
を表す説明図である。信号変化テーブルに登録されてい
るポインタはＳ５を指す一つだけであるから、このポイ
ンタを取り出して処理を行えばよい。信号線Ｓ５のマー
クはＥではないため、出力ファイルに信号線名Ｓ５を出
力する。Ｓ５のファンアウト接続素子Ｇ２，Ｇ３に対し
処理１２０２〜1206を行う。素子Ｇ２の入力信号はＳ１
とＳ５であり、Ｓ１の信号値１６１０は０、Ｓ５の信号
値２３０６は０であるから、０と０のＮＯＲを計算する
と、素子Ｇ２の出力信号線Ｓ６の信号値は１である。素
子Ｇ２の遅延１６０３は３であるから、１２０３により
タイムホイールの時刻ｔ＝３に３を加えたｔ＝６の位置
にイベントを登録する。Ｓ６を指すポインタ２４０２
と、信号値に１を登録する(2403)。信号線Ｓ６のマーク
１６１３はＦではないので、１２０５により２３０５が
指す信号線Ｓ５の活性化識別子１をイベントの活性化識
別子として登録する(2404)。素子Ｇ３の入力信号はＳ４
とＳ５であり、Ｓ４の信号値１６１０は０、Ｓ５の信号
値２３０６は０であるから、素子Ｇ３の出力信号線Ｓ７
の信号値は１である。以後素子Ｇ２と同様に、タイムホ
イールのｔ＝６の位置に、イベント、即ち、Ｓ７を指す
ポインタ２４０５、信号値１(２４０６)，活性化識別子
１(２４０７)を登録する。これでｔ＝３の処理は全て終
了するため、時刻を一つ進めｔ＝４とする。

【００５１】図２５は時刻ｔ＝４における信号変化更新
処理後の活性化識別子ハッシュテーブルと出力信号線テ
ーブルの一部を表す説明図である。ｔ＝４のイベントは
図２２の一つである。図２３と同様に、１００１により
出力信号線テーブルのＳ５の信号値を１にし（２５０
６）、１００２により出力信号線テーブルの活性化識別
子を２とする（２５０７）。活性化識別子は０でないの
で、１００３により活性化識別子ハッシュテーブルに登
録する。テーブルのアドレスｈ（２）＝２のポインタ２
５０１が指す活性化識別子２の要素２５０２のリストポ
インタ２５０３が指す要素に、信号線Ｓ５のリテラル番
号Ｒ３を登録する（２５０４）。Ｓ５のマークはＬでは
ないので、指定パス活性化チェック１００４は行わな
い。最後に信号変化テーブルにＳ５を指すポインタを登
録する（２５０５）。

【００５２】図２６は時刻ｔ＝４における出力信号変化
登録７０５の処理でイベントを登録したタイムホイール
を表す説明図である。信号変化テーブルに登録されたポ
インタ２５０５はＳ５を指すもの一つであるから、この
ポインタを取り出して処理を行えばよい。信号線Ｓ５の
マークはＥではないため、出力ファイルに信号線名Ｓ５
を出力する。Ｓ５のファンアウト接続素子Ｇ２，Ｇ３に
対し処理１２０２〜１２０６を行う。素子Ｇ２の入力信
号はＳ１とＳ５であり、Ｓ１の信号値1610は０、Ｓ５の
信号値２５０６は１であるから、０と１のＮＯＲを計算
すると、素子Ｇ２の出力信号線Ｓ６の信号値は０であ
る。素子Ｇ２の遅延１６０３は３であるから、１２０３
によりタイムホイールの現時刻ｔ＝４に３を加えたｔ＝
７の位置にイベントを登録する。Ｓ６を指すポインタ２
６０２と、信号値に０を登録する（２６０３）。信号線
Ｓ６のマーク１６１３はＦではないので、１２０５によ
り２５０５が指す信号線Ｓ５の活性化識別子２をイベン
トの活性化識別子として登録する（２６０４）。素子Ｇ
３についても、素子Ｇ２と同様の処理を行い、タイムホ
イールのｔ＝７に、イベント、即ちＳ７を指すポインタ
２６０５，信号値０（２６０６），活性化識別子２（２
６０７）を登録する。これでｔ＝４の処理は全て終了
し、時刻を一つ進め、ｔ＝５とする。ｔ＝５では、外部
入力も登録されているイベントも存在しないため、時刻
をｔ＝６とする。

【００５３】図２７は時刻ｔ＝６における信号変化更新
処理後の出力信号線テーブルの一部，指定パステーブ
ル，活性化識別子ハッシュテーブルを表す説明図であ
る。ｔ＝６のイベントは図２４からわかるように二つあ
る。信号線Ｓ６の信号値１６１０は０であり、イベント
の信号値２４０３と異なる。従って、１００１により出
力信号テーブルのＳ６の信号値を１にする（２７０
１）。イベントの活性化識別子２４０４は１であるか
ら、１００２により出力信号線テーブルの活性化識別子
を１とする（２７０３）。活性化識別子は０でないの
で、１００３によりハッシュテーブルに登録する。テー
ブルのアドレスｈ（１）のポインタ２７２７が指す活性
化識別子１の要素２７２８のリストポインタ２７２９が
指す要素に、信号線Ｓ６のリテラル番号Ｒ４を登録する
（２７３０）。Ｓ６のマーク２７０２はＬであるから、
指定パス活性化チェック１００４を行う。１１０１によ
りｃｐは2731である。Ｓ６のパスリスト２７０４が指す
指定パスＰＳ１のフラグ２７１０はＯＦＦであるから、
１１０３〜１１０９を行う。１１０３よりｐｐは２７１
３である。２７１３はＮＵＬＬでないため、１１０４〜
１１０８を行う。ｐｐ(2713)が指す要素のリテラル番号
２７１４，ｃｐ(２７３１)が指す要素のリテラル番号２
７３２は共にＲ３であるから、次に１１０７を行う。１
１０７よりｐｐは2715に、１１０８よりｃｐは２７３３
になる。ｐｐはＮＵＬＬでないので、処理1104〜１１０
８を行う。ｐｐが指す要素のリテラル番号２７１６とｃ
ｐが指す要素のリテラル番号２７３４は共にＲ１である
から、次に１１０７を行う。１１０７によりｐｐは２７
１７に、１１０８よりｃｐは２７３５になる。ｐｐはＮ
ＵＬＬであるから、ループを終了し、１１０９を行い、
指定パスＰＳ１のフラグをＯＮにする（２７４７）。信
号線Ｓ７の信号値１６１０は０であり、イベントの信号
値２４０６と異なる。従って、１００１により出力信号
線テーブルのＳ７の信号値を１にする（２７０５）。イ
ベントの活性化識別子２４０７は１であるから、１００
２により出力信号線テーブルの活性化識別子を１とする
（２７０７）。活性化識別子は０でないので、１００３
により活性化識別子ハッシュテーブルに登録する。テー
ブルのアドレスｈ（１）のポインタ２７３６が指す活性
化識別子１の要素２７３７のリストポインタ２７３８が
指す要素に、信号線Ｓ７のリテラル番号Ｒ５を登録する
（２７３９）。Ｓ７のマーク２７０６はＬであるから、
指定パス活性化チェック１００４を行う。１１０１によ
りｃｐは２７４０である。

【００５４】Ｓ７のパスリスト２７０８が指す指定パス
ＰＳ２のフラグ２７１９はＯＦＦであるから、１１０２
〜１１０８を行う。１１０２よりｐｐは２７２２であ
る。２７２２はＮＵＬＬでないため、１１０４〜１１０
８を行う。ｐｐ（２７２２）が指す要素のリテラル番号
２７２３はｃｐ（２７４０)が指す要素のリテラル番号
２７４１と異なるため、１１０４〜１１０６を行う。ｃ
ｐ２７４０が指す要素のリストポインタ２７４２はＮＵ
ＬＬでないため、ｃｐを２７４２とする。ｐｐが指す要
素のリテラル番号２７２３とｃｐが指す要素のリテラル
番号２７４３は共にＲ３であるから、次に１１０７を行
う。１１０７よりｐｐは２７２４に、１１０８よりｃｐ
は２７４４になる。ｐｐはＮＵＬＬでないので、処理１
１０３〜１１０８を行う。ｐｐが指す要素のリテラル番
号２７２５とｃｐが指す要素のリテラル番号２７４５は
異なるため、１１０４を行う。ｃｐ２７４４が指す要素
のリストポインタ２７４６はＮＵＬＬであるから、１１
０６を行いループを抜ける。ｐｐ2724はＮＵＬＬでない
ため、１１０９は行わない。Ｓ６，Ｓ７共にファンアウ
ト接続素子は持たないので、ｔ＝６における処理は終了
となる。時刻をｔ＝７とする。

【００５５】図２８は時刻ｔ＝７における信号変化更新
処理後の出力信号線テーブルの一部，指定パステーブ
ル，活性化識別子ハッシュテーブルを表す説明図であ
る。ｔ＝７のイベントは図２６からわかるように二つあ
る。信号線Ｓ６の時刻ｔ＝６における信号値２７０１は
１であり、イベントの信号値０（２６０３）と異なる。
従って、１００１により出力信号テーブルのＳ６の信号
値を０にする(２８０１)。イベントの活性化識別子２６
０４は２であるから、１００２により出力信号線テーブ
ルの活性化識別子を２とする（２８０３）。活性化識別
子は０でないので、１００３により活性化識別子ハッシ
ュテーブルに登録する。テーブルのアドレスｈ（２）の
ポインタ２８２０が指す活性化識別子２の要素２８２１
のリストポインタ２８２２が指す要素に、信号線Ｓ６の
リテラル番号Ｒ４を登録する（2823）。Ｓ６のマーク２
８０２はＬであるが、Ｓ６のパスリスト２８０４が指す
指定パスＰＳ１のフラグ２８１０はＯＮであるため、指
定パス活性化チェックの処理は行わない。信号線Ｓ７の
信号値２７０５は１であり、イベントの信号値２６０６
と異なる。従って、１００１により出力信号テーブルの
Ｓ７の信号値を０にする（２８０５）。イベントの活性
化識別子２６０７は２であるから、１００２により出力
信号線テーブルの活性化識別子を２とする（２８０
７）。活性化識別子は０でないので、１００３によりハ
ッシュテーブルに登録する。テーブルのアドレスｈ
（２）のポインタ２８２４が指す活性化識別子２の要素
２８２５のリストポインタ２８２６が指す要素に、信号
線Ｓ７のリテラル番号Ｒ５を登録する(2827)。Ｓ７のマ
ーク２８０６はＬであるから、指定パス活性化チェック
１００４を行う。１１０１によりｃｐは２８２８であ
る。Ｓ７のパスリスト２８０８が指す指定パスＰＳ２
（２８１１）のフラグ２８１２はＯＦＦであるから、１
１０３〜１１０９を行う。１１０３よりｐｐは２８１５
である。２８１５はＮＵＬＬでないため、１１０４〜１
１０８を行う。ｐｐ(２８１５)が指す要素のリテラル番
号２８１６はｃｐ(２８２８)が指す要素のリテラル番号
２８２９と異なるため、１１０４〜１１０６を行う。ｃ
ｐ（２８２８）が指す要素のリストポインタ2830はＮＵ
ＬＬでないため、ｃｐを２８３０とする。ｐｐが指す要
素のリテラル番号２８１６とｃｐが指す要素のリテラル
番号２８３１は共にＲ３であるから、次に１１０７を行
う。１１０７よりｐｐは２８１７に、１１０８よりｃｐ
は２８３２になる。ｐｐはＮＵＬＬでないので、処理１
１０４〜１１０８を行う。ｐｐが指す要素のリテラル番
号２８１８とｃｐが指す要素のリテラル番号２８３３は
共にＲ２であるから、次に１１０７を行う。１１０７よ
りｐｐは２８１９に、1108よりｃｐは２８３４になる。
ｐｐはＮＵＬＬであるから、ループを終了し、1109を行
い、指定パスＰＳ２のフラグをＯＮにする（２８３
５）。Ｓ６，Ｓ７共にファンアウト接続素子は持たない
ので、ｔ＝７における処理は終了となる。これで登録さ
れたイベント，外部入力は全てなくなるため、シミュレ
ーションの処理は終了となる。

【００５６】パスカバレジ７０６は、指定パス二つ共に
フラグがＯＮとなったため、活性化された割合は１であ
り、活性化されなかったパスはないため、その旨結果フ
ァイルに出力する。

【００５７】本実施例によれば、論理シミュレーション
実行時のパスの活性化検出方法において、予め指定され
たパスの活性化を少ない手間で検出することができる。
予め指定するパスは遅延の大きいパス等、活性化を検出
する意味のあるパスとして作成できる。また、パスの活
性化状況を把握することができる。

【００５８】図２９は１００４を図１４の処理で行う場
合に用いる二分決定グラフ(ＢＤＤ)の例を表す図であ
る。２９０１は図２８の識別子２８２５につながるリテ
ラル番号Ｒ２，Ｒ３，Ｒ４，Ｒ５の論理積の関数、ｆ＝
Ｒ２・Ｒ３・Ｒ４・Ｒ５を表す二分決定グラフ（ＢＤ
Ｄ）で、２９０２は２８１３が指す指定パスリストのリ
テラル番号Ｒ２，Ｒ３，Ｒ５の論理積の関数、ｇ＝Ｒ２
・Ｒ３・Ｒ５を表す二分決定グラフ（ＢＤＤ）である。
ＢＤＤ処理手段を用いて、これらのＢＤＤ作成し、〜ｆ
＋ｇの論理演算を行う（ここで、・は論理積、＋は論理
和、〜は否定演算を表す）。

【００５９】本実施例によれば、処理を少ないメモリ使
用量で行うことができる。

【００６０】

【発明の効果】本発明によれば、論理シミュレーション
実行時のパスの活性化検出方法において、予め指定され
たパスの活性化を、記録された全てのイベントから探し
出す必要がなく、少ない手間で検出することができる。
また、遅延制約違反パスを指定パスとすることができ
る。更に、処理におけるメモリ使用量を少なくでき、パ
スの活性化状況を把握できる。

【図面の簡単な説明】

【図１】本発明の構成の説明図。

【図２】素子テーブルのデータ構造の説明図。

【図３】出力信号線テーブルのデータ構造の説明図。

【図４】指定パステーブルのデータ構造の説明図。

【図５】外部入力テーブルのデータ構造の説明図。

【図６】タイムホイールとイベント情報のデータ構造の
説明図。

【図７】本発明の処理方式の説明図。

【図８】図７の初期設定の処理方式の説明図。

【図９】図７の外部入力登録の処理方式の説明図。

【図１０】図７の信号変化更新の処理方式とその処理に
用いるテーブルの説明図。

【図１１】図１０の指定パス活性化チェックの二分決定
グラフを用いない処理方式の説明図。

【図１２】図７の出力信号変化登録の処理方式の説明
図。

【図１３】図７のパスカバレジの処理方式の説明図。

【図１４】図１０の指定パス活性化チェックの二分決定
グラフを用いる処理方式とその処理における指定パステ
ーブル、活性化識別子ハッシュテーブルのデータ構造の
説明図。

【図１５】回路と入力ファイルの例の説明図。

【図１６】図１５の回路データを基に図７の初期設定に
より作成した各テーブルの説明図。

【図１７】時刻１における外部入力登録処理によるテー
ブルの更新の説明図。

【図１８】時刻１での信号変化更新処理によるテーブル
の更新の説明図。

【図１９】時刻１における出力信号変化登録処理により
登録されたイベント情報の説明図。

【図２０】時刻２における外部入力登録処理によるテー
ブルの更新の説明図。

【図２１】時刻２における信号変化更新処理によるテー
ブルの更新の説明図。

【図２２】時刻２における出力信号変化登録処理により
登録されたイベント情報の説明図。

【図２３】時刻３における信号変化更新処理によるテー
ブルの更新の説明図。

【図２４】時刻３における出力信号変化登録処理により
登録されたイベント情報の説明図。

【図２５】時刻４における信号変化更新処理によるテー
ブルの更新の説明図。

【図２６】時刻４における出力信号変化登録により登録
されたイベントの説明図。

【図２７】時刻６における信号変化更新処理によるテー
ブルの更新の説明図。

【図２８】時刻７における信号変化更新処理によるテー
ブルの更新の説明図。

【図２９】図２８の指定パス等を表す二分決定グラフ。

【符号の説明】

１０１…セルライブラリ、１０２…回路記述、１０３…
指定パス、１０４…指定パスファイル作成手段、１０５
…テストパタン、１０６…初期設定手段、107…素子テ
ーブル、１０８…出力信号線テーブル、１０９…指定パ
ステーブル、１１０…外部入力テーブル、１１１…タイ
ムホイール、１１２…論理シミュレーション実行手段、
指定パス活性化検出手段、１１４…パスカバレジ、１１
５…二分決定グラフ処理手段、１１６…シミュレーショ
ン結果、１１７…パスカバレジ結果、１１８…論理シミ
ュレーション方法。

Claims

【特許請求の範囲】

【請求項１】論理回路記述，セルライブラリ，指定パ
ス，テストパタンの各ファイルを入力として、計算機で
回路の動作を模擬する論理シミュレーションにおいて、
指定パスファイルによって指定された指定パスの始まり
である信号線にイベントが伝播したとき、前記信号線に
識別子を付け、前記信号線の識別番号を記録し、イベン
トの伝播と共に前記識別子を伝え、前記識別子の伝わっ
た各信号線の識別番号を記録し、前記識別子が前記指定
パスの最後の信号線に伝播したとき、記録されている前
記識別子の付いた信号線の識別番号の集合の中に指定パ
スを構成する全ての信号線の識別番号が含まれているか
否かを調べることにより、指定パスの活性化を検出する
ことを特徴とする指定パス活性化検出方法。
【請求項２】請求項１において、指定パスを構成する信
号線の識別番号の集合と、活性化された同じ識別子を持
つ信号線の識別番号の集合を二分決定グラフで表現し、
前記識別子の付いた信号線の識別番号の集合の中に指定
パスを構成する全ての信号線の識別番号が含まれている
か否かを調べる処理を前記二分決定グラフを用いた論理
演算により行う指定パス活性化検出方法。
【請求項３】請求項１において、検出された活性化パス
を記録し、論理シミュレーション終了時に前記指定パス
ファイルで指定された指定パスの中の活性化パスの割合
を計算し、更に活性化されなかった前記指定パスを抽出
し、出力する活性化パスカバレジ方法。
【請求項４】請求項３において、任意の遅延計算方法に
より求めた遅延制約違反パスを前記指定パスファイルの
内容とする指定パスファイル作成方法。