(57)【要約】【課題】論理回路のハードウェア記述を検証するための検証項目の抽出漏れまたは論理回路の設計ミスを検出するために、論理回路の条件分岐文と演算文とを対応付けた解析結果ファイル１９９を出力する。【解決手段】条件分岐文抽出部１１０は、論理回路１０９から条件分岐文を抽出する。演算文抽出部１２０は、論理回路１０９から演算文を抽出する。抽出結果照合部１３０は、条件分岐文の出力信号変数のうち演算文の演算処理変数と同じ出力信号変数を統合対象変数として選択する。抽出結果照合部１３０は、統合対象変数に基づいて条件分岐文と演算文とを統合する。解析結果出力部１４０は、統合した情報を示す解析結果ファイル１９９を出力する。【選択図】図２
2014178726.tif 000002
【特許請求の範囲】
【請求項１】
電子回路の動作が記述されたハードウェア記述から１つ以上の条件分岐文を抽出する条件分岐文抽出部と、
前記条件分岐文抽出部によって抽出された条件分岐文毎に、条件分岐文の分岐条件を満たした場合に値が設定される設定変数を抽出する条件分岐内容抽出部と、
前記ハードウェア記述に含まれる１つ以上の演算文を抽出する演算文抽出部と、
前記演算文抽出部によって抽出された演算文毎に、演算文に含まれる演算変数を抽出する演算内容抽出部と、
前記条件分岐内容抽出部によって抽出された設定変数のうち前記演算内容抽出部によって抽出されたいずれかの演算変数と同じ設定変数を統合変数として選択する統合変数選択部と、
前記条件分岐文抽出部によって抽出された条件分岐文のうち前記統合変数選択部によって選択された前記統合変数に対応する条件分岐文を選択する条件分岐文選択部と、
前記演算内容抽出部によって抽出された演算文のうち前記統合変数と同じ演算変数に対応する演算文を選択する演算文選択部と、
前記条件分岐文選択部によって選択された前記条件分岐文と、前記演算文選択部によって選択された前記演算文とを対応付けた情報を前記ハードウェア記述の解析結果として出力する解析結果出力部と
を備えることを特徴とする電子回路解析装置。
【請求項２】
前記条件分岐内容抽出部は、前記条件分岐文抽出部によって抽出された条件分岐文の分岐条件毎に、分岐条件と設定変数と設定変数に設定される設定値とを抽出し、
前記演算内容抽出部は、前記演算文抽出部によって抽出された演算文毎に、演算変数を含んだ演算式と、演算式の演算結果が設定される出力変数とを抽出し、
前記解析結果出力部は、前記条件分岐文選択部によって選択された前記条件分岐文の分岐条件と、前記条件分岐文選択部によって選択された前記条件分岐文の設定値と、前記演算文選択部によって選択された前記演算文の演算式と、前記演算文選択部によって選択された前記演算文の出力変数と、を対応付けて前記解析結果を生成する
ことを特徴とする請求項１記載の電子回路解析装置。
【請求項３】
前記解析結果出力部は、前記演算文の前記演算式に含まれる演算変数のうち前記統合変数と同じ演算変数を前記条件分岐文の前記設定値に置き換えることによって、前記条件分岐文の前記設定値と前記演算文の前記演算式とを対応付ける
ことを特徴とする請求項２記載の電子回路解析装置。
【請求項４】
前記条件分岐文抽出部は、条件分岐文の種類毎に、前記ハードウェア記述に含まれる１つ以上の条件分岐文を抽出する
ことを特徴とする請求項１から請求項３いずれかに記載の電子回路解析装置。
【請求項５】
前記演算文抽出部は、前記ハードウェア記述に含まれる１つ以上の演算文として、１つ以上の算術演算文と１つ以上の論理演算文とを抽出する
ことを特徴とする請求項１から請求項４いずれかに記載の電子回路解析装置。
【請求項６】
条件分岐文抽出部と、条件分岐内容抽出部と、演算文抽出部と、演算内容抽出部と、統合変数選択部と、条件分岐文選択部と、演算文選択部と、解析結果出力部とを備える電子回路解析装置を用いる電子回路解析方法であって、
前記条件分岐文抽出部は、電子回路の動作が記述されたハードウェア記述から１つ以上の条件分岐文を抽出し、
前記条件分岐内容抽出部は、前記条件分岐文抽出部によって抽出された条件分岐文毎に、条件分岐文の分岐条件を満たした場合に値が設定される設定変数を抽出し、
前記演算文抽出部は、前記ハードウェア記述に含まれる１つ以上の演算文を抽出し、
前記演算内容抽出部は、前記演算文抽出部によって抽出された演算文毎に、演算文に含まれる演算変数を抽出し、
前記統合変数選択部は、前記条件分岐内容抽出部によって抽出された設定変数のうち前記演算内容抽出部によって抽出されたいずれかの演算変数と同じ設定変数を統合変数として選択し、
前記条件分岐文選択部は、前記条件分岐文抽出部によって抽出された条件分岐文のうち前記統合変数選択部によって選択された前記統合変数に対応する条件分岐文を選択し、
前記演算文選択部は、前記演算内容抽出部によって抽出された演算文のうち前記統合変数と同じ演算変数に対応する演算文を選択し、
前記解析結果出力部は、前記条件分岐文選択部によって選択された前記条件分岐文と、前記演算文選択部によって選択された前記演算文とを対応付けた情報を前記ハードウェア記述の解析結果として出力する
ことを特徴とする電子回路解析方法。
【請求項７】
請求項１から請求項５いずれかに記載の電子回路解析装置としてコンピュータを機能させるための電子回路解析プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、電子回路のハードウェア記述を解析するための電子回路解析装置、電子回路解析方法および電子回路解析プログラムに関するものである。
【背景技術】
【０００２】
図１９は、従来の論理回路検証方法の手順を示すフローチャートである。
従来の論理回路検証方法の手順について、図１９に基づいて説明する。
【０００３】
（１）担当者Ｅは、論理回路の仕様書に基づいて論理回路を設計（コーディング）する。
（２）担当者Ａは、論理回路の仕様書から検証項目を抽出し、検証項目一覧表を作成する。
（３）担当者Ｂは、検証項目一覧表に基づいて、検証項目を検証するための検証パタンを作成する。
（４）担当者Ｃは、検証パタンに基づいて論理回路を検証する。
（５）担当者Ｄは、検証項目の網羅率を示す検証カバレッジを算出する。
なお、担当者Ａ、担当者Ｂ、担当者Ｃ、担当者Ｄ、担当者Ｅは、同一人物の場合もあれば、異なる場合もある。
【０００４】
図１９に示す従来の論理回路検証方法には、例えば、以下のような問題が生じる。
上記（１）において論理回路の設計品質は担当者Ｅに依存するため、論理回路の設計ミスが発生し得る。
上記（２）において検証項目の抽出の網羅性は担当者Ａに依存するため、検証項目の抽出漏れが発生し得る。
上記（４）において論理回路の検証品質は担当者Ｃに依存するため、設計ミスの検出漏れが発生し得る。
【０００５】
特許文献１は、上記（４）において設計ミスを検出するため、論理回路内の演算処理の排他性を考慮し、論理回路に含まれる条件分岐に関するアサーション情報を生成することを提案している。
【０００６】
論理回路では、条件分岐文内の演算処理で得られた演算結果を条件分岐文後の演算処理で用いたり、その反対に条件分岐文前の演算処理で得られた演算結果を条件分岐文内の演算処理で用いたりすることがある。
そのため、条件分岐文を正しく設計しても、条件分岐文の前後の演算処理で設計ミスをする場合がある。
その場合、特許文献１の技術では、条件分岐文の前後の演算処理に関する設計ミスを検出することが出来ない。
また、条件分岐文内の演算処理で設計ミスをした場合、または、条件分岐文とは関係のない演算処理で設計ミスをした場合についても、特許文献１の技術では演算処理の設計ミスを検出することが出来ない。
【先行技術文献】
【特許文献】
【０００７】
【特許文献１】特開２０１１−１０８１１６号公報
【発明の概要】
【発明が解決しようとする課題】
【０００８】
本発明は、例えば、論理回路（電子回路の一例）のハードウェアを検証するための検証項目の抽出漏れまたは論理回路の設計ミスを検出できるようにすることを目的とする。
【課題を解決するための手段】
【０００９】
本発明の電子回路解析装置は、
電子回路の動作が記述されたハードウェア記述から１つ以上の条件分岐文を抽出する条件分岐文抽出部と、
前記条件分岐文抽出部によって抽出された条件分岐文毎に、条件分岐文の分岐条件を満たした場合に値が設定される設定変数を抽出する条件分岐内容抽出部と、
前記ハードウェア記述に含まれる１つ以上の演算文を抽出する演算文抽出部と、
前記演算文抽出部によって抽出された演算文毎に、演算文に含まれる演算変数を抽出する演算内容抽出部と、
前記条件分岐内容抽出部によって抽出された設定変数のうち前記演算内容抽出部によって抽出されたいずれかの演算変数と同じ設定変数を統合変数として選択する統合変数選択部と、
前記条件分岐文抽出部によって抽出された条件分岐文のうち前記統合変数選択部によって選択された前記統合変数に対応する条件分岐文を選択する条件分岐文選択部と、
前記演算内容抽出部によって抽出された演算文のうち前記統合変数と同じ演算変数に対応する演算文を選択する演算文選択部と、
前記条件分岐文選択部によって選択された前記条件分岐文と、前記演算文選択部によって選択された前記演算文とを対応付けた情報を前記ハードウェア記述の解析結果として出力する解析結果出力部とを備える。
【発明の効果】
【００１０】
本発明によれば、論理回路（電子回路の一例）のハードウェア記述を解析した解析結果として条件分岐文と演算文とを対応付けた情報を生成することができる。
そして、ユーザは、検証項目一覧表と解析結果とを比較することによって、検証項目の抽出漏れまたは論理回路の設計ミスを検出することができる。
【図面の簡単な説明】
【００１１】
【図１】実施の形態１における論理回路検証方法の手順を示すフローチャートである。
【図２】実施の形態１における論理回路解析装置１００の機能構成図である。
【図３】実施の形態１における論理回路解析装置１００の論理回路解析処理（Ｓ１００）を示すフローチャートである。
【図４】実施の形態１における論理回路１０９の一例を示す図である。
【図５】実施の形態１における条件分岐文抽出結果ファイル１９１の一例を示す図である。
【図６】実施の形態１における論理回路１０９の一例を示す図である。
【図７】実施の形態１における条件分岐文抽出結果ファイル１９１の一例を示す図である。
【図８】実施の形態１における条件分岐文抽出結果ファイル１９１の一例を示す図である。
【図９】実施の形態１における論理回路１０９の一例を示す図である。
【図１０】実施の形態１における演算文抽出結果ファイル１９２の一例を示す図である。
【図１１】実施の形態１における論理回路１０９の一例を示す図である。
【図１２】実施の形態１における演算文抽出結果ファイル１９２の一例を示す図である。
【図１３】実施の形態１における抽出結果照合部１３０の構成図である。
【図１４】実施の形態１における抽出結果照合処理（Ｓ１３０）を示すフローチャートの一例である。
【図１５】実施の形態１における出力信号変数一覧表１９４の一例を示す図である。
【図１６】実施の形態１における演算処理変数一覧表１９５の一例を示す図である。
【図１７】実施の形態１における照合結果ファイル１９３の一例を示す図である。
【図１８】実施の形態１における論理回路解析装置１００のハードウェア資源の一例を示す図である。
【図１９】従来の論理回路検証方法の手順を示すフローチャートである。
【発明を実施するための形態】
【００１２】
実施の形態１．
電子回路（例えば、論理回路）のハードウェア記述を検証するための検証項目の抽出漏れまたは電子回路の設計ミスを検出するために、電子回路のハードウェア記述を解析した解析結果として条件分岐文と演算文とを対応付けた統合情報を生成する形態について説明する。
【００１３】
図１は、実施の形態１における論理回路検証方法の手順を示すフローチャートである。
実施の形態１における論理回路検証方法の手順について、図１に基づいて説明する。
【００１４】
Ｓ００１において、担当者Ｅは、ＬＳＩ（Ｌａｒｇｅ  Ｓｃａｌｅ  Ｉｎｔｅｇｒａｔｉｏｎ）またはその他の論理回路の仕様書１０１に基づいて論理回路（電子回路の一例）を設計する。
ここで、論理回路の設計とは、ＨＤＬ、ｖｅｒｉｌｏｇ  ＨＤＬまたはその他のハードウェア記述言語を用いて記述する論理回路のコーディングを意味する。
以下、論理回路を設計することによって得られたハードウェア記述を単に「論理回路１０９」という。
Ｓ００１の後、処理はＳ１００に進む。
【００１５】
Ｓ１００において、論理回路解析装置１００は、論理回路１０９を解析し、担当者Ａによって作成される検証項目一覧表１０２と比較する解析結果ファイル１９９を生成する。
Ｓ１００の後、処理はＳ００３に進む。
【００１６】
Ｓ００２において、担当者Ａは、論理回路１０９に設計ミスがあるか否かを検証するための検証項目を仕様書１０１から抽出し、抽出した検証項目を示す検証項目一覧表１０２を生成する。
Ｓ００２の後、処理はＳ０１０に進む。
【００１７】
Ｓ０１０において、担当者Ａは、Ｓ００２で作成した検証項目一覧表１０２とＳ１００で生成された解析結果ファイル１９９とを比較し、Ｓ００２で検証項目の抽出漏れが有ったか否かを判断する。
検証項目の抽出漏れが有った場合（ＹＥＳ）、処理はＳ０１１に進む。
検証項目の抽出漏れが無かった場合（ＮＯ）、処理はＳ００３に進む。
【００１８】
Ｓ０１１において、担当者Ａは、抽出漏れの検証項目が含まれるように検証項目一覧表１０２を修正する。
Ｓ０１１の後、処理はＳ００３に進む。
【００１９】
Ｓ００３において、担当者Ｂは、検証項目一覧表１０２に示される検証項目について論理回路１０９を検証するための検証パタン１０３を作成する。例えば、検証パタン１０３は、論理回路１０９の動作をシミュレートするシミュレータに対する入力データである。
Ｓ００３の後、処理はＳ００４に進む。
【００２０】
Ｓ００４において、担当者Ｃは、検証パタン１０３を用いて論理回路１０９を検証し、検証結果ファイル１０４を作成する。
例えば、担当者Ｃは、論理回路１０９のシミュレータに検証パタン１０３を入力し、シミュレータから出力される検証結果ファイル１０４を取得する。
Ｓ００４の後、論理回路検証方法の手順は終了する。
【００２１】
Ｓ００１からＳ００４は、従来の論理回路検証方法と同様である。Ｓ１００、Ｓ０１０およびＳ０１１は、実施の形態１における論理回路検証方法の特徴点である。
担当者Ａ、担当者Ｂ、担当者Ｃ、担当者Ｅは一部または全てが同じ人であっても構わない。
論理回路１０９の設計（Ｓ００１）が遅れた場合、検証項目一覧表１０２と解析結果ファイル１９９とを比較（Ｓ０１０）する前に、検証パタン１０３（Ｓ００３）を作成しても構わない。但し、検証項目一覧表１０２を修正（Ｓ０１１）した場合、検証パタン１０３は修正後の検証項目一覧表１０２に基づいて作成し直す。
【００２２】
図２は、実施の形態１における論理回路解析装置１００の機能構成図である。
実施の形態１における論理回路解析装置１００の機能構成について、図２に基づいて説明する。
【００２３】
論理回路解析装置１００（電子回路解析装置の一例）は、条件分岐文抽出部１１０（条件分岐内容抽出部の一例）と、演算文抽出部１２０（演算内容抽出部の一例）と、抽出結果照合部１３０（統合変数選択部、条件分岐文選択部、演算文選択部の一例）と、解析結果出力部１４０と、装置記憶部１９０とを備える。
【００２４】
条件分岐文抽出部１１０は、論理回路１０９（ハードウェア記述）に含まれる条件分岐文（例えば、ａｓｓｉｇｎ文またはｉｆ文など）を抽出し、抽出した条件分岐文の内容を表す条件分岐文抽出結果ファイル１９１を生成する。
例えば、条件分岐文抽出部１１０は、ａｓｓｉｇｎ文を抽出するａｓｓｉｇｎ文抽出部１１１と、ｉｆ文を抽出するｉｆ文抽出部１１２とを備える。
但し、条件分岐文抽出部１１０は、ａｓｓｉｇｎ文抽出部１１１とｉｆ文抽出部１１２とのいずれか一方だけを備えても構わない。また、条件分岐文抽出部１１０は、ａｓｓｉｇｎ文抽出部１１１またはｉｆ文抽出部１１２以外の抽出部（ｃａｓｅ文を抽出するｃａｓｅ文抽出部など）を備えても構わない。
例えば、条件分岐文抽出結果ファイル１９１は、抽出されたａｓｓｉｇｎ文の内容を表すａｓｓｉｇｎ文抽出結果１９１ａと、抽出されたｉｆ文の内容を表すｉｆ文抽出結果１９１ｂとを含む（図示省略）。
但し、条件分岐文抽出結果ファイル１９１は、ａｓｓｉｇｎ文抽出結果１９１ａとｉｆ文抽出結果１９１ｂとのいずれか一方だけを含んでも構わない。また、条件分岐文抽出結果ファイル１９１は、ａｓｓｉｇｎ文抽出結果１９１ａまたはｉｆ文抽出結果１９１ｂ以外の抽出結果（ｃａｓｅ文抽出結果など）を含んでも構わない。
【００２５】
演算文抽出部１２０は、論理回路１０９に含まれる演算文（例えば、算術演算文または論理演算文など）を抽出し、抽出した演算文の内容を表す演算文抽出結果ファイル１９２を生成する。
例えば、演算文抽出部１２０は、算術演算文を抽出する算術演算文抽出部１２１と、論理演算文を抽出する論理演算文抽出部１２２とを備える。
但し、演算文抽出部１２０は、算術演算文抽出部１２１と論理演算文抽出部１２２とのいずれか一方だけを備えても構わない。また、演算文抽出部１２０は、算術演算文抽出部１２１または論理演算文抽出部１２２以外の抽出部を備えても構わない。
例えば、演算文抽出結果ファイル１９２は、抽出された算術演算文の内容を表す算術演算文抽出結果１９２ａと、抽出された論理演算文の内容を表す論理演算文抽出結果１９２ｂとを含む（図示省略）。
但し、演算文抽出結果ファイル１９２は、算術演算文抽出結果１９２ａと論理演算文抽出結果１９２ｂとのいずれか一方だけを含んでも構わない。また、演算文抽出結果ファイル１９２は、算術演算文抽出結果１９２ａまたは論理演算文抽出結果１９２ｂ以外の抽出結果を含んでも構わない。
【００２６】
抽出結果照合部１３０は、条件分岐文抽出結果ファイル１９１と演算文抽出結果ファイル１９２とを照合し、照合結果ファイル１９３を生成する。
照合結果ファイル１９３は、条件分岐文と演算文との両方に含まれる変数について、条件分岐文抽出結果ファイル１９１と演算文抽出結果ファイル１９２とを統合（結合）したものである。
【００２７】
解析結果出力部１４０は、解析結果ファイル１９９に含まれる情報を示す解析結果ファイル１９９を生成し、生成した解析結果ファイル１９９を出力する。
但し、解析結果出力部１４０は、条件分岐文抽出結果ファイル１９１または演算文抽出結果ファイル１９２を用いて解析結果ファイル１９９を生成しても構わない。
【００２８】
装置記憶部１９０は、論理回路解析装置１００で使用されるデータを記憶する。
例えば、装置記憶部１９０は、論理回路１０９、条件分岐文抽出結果ファイル１９１、演算文抽出結果ファイル１９２、照合結果ファイル１９３および解析結果ファイル１９９などを記憶する。
【００２９】
図３は、実施の形態１における論理回路解析装置１００の論理回路解析処理（Ｓ１００）を示すフローチャートである。
実施の形態１における論理回路解析装置１００の処理方法について、図３に基づいて説明する。
【００３０】
Ｓ１１０において、条件分岐文抽出部１１０は、論理回路１０９（ハードウェア記述）に含まれる条件分岐文を抽出し、抽出した条件分岐文の内容を表す条件分岐文抽出結果ファイル１９１を生成する。
【００３１】
例えば、条件分岐文抽出部１１０は、以下のように条件分岐文抽出結果ファイル１９１を生成する。
条件分岐文抽出部１１０のａｓｓｉｇｎ文抽出部１１１は、論理回路１０９からａｓｓｉｇｎ文を抽出し、抽出したａｓｓｉｇｎ文の内容を表すａｓｓｉｇｎ文抽出結果１９１ａを生成する。
条件分岐文抽出部１１０のｉｆ文抽出部１１２は、論理回路１０９からｉｆ文を抽出し、抽出したｉｆ文の内容を表すｉｆ文抽出結果１９１ｂを生成する。
そして、条件分岐文抽出部１１０は、ａｓｓｉｇｎ文抽出結果１９１ａとｉｆ文抽出結果１９１ｂとを含んだ条件分岐文抽出結果ファイル１９１を生成する。
Ｓ１１０の後、処理はＳ１２０に進む。
【００３２】
図４は、実施の形態１における論理回路１０９の一例を示す図である。
図５は、実施の形態１における条件分岐文抽出結果ファイル１９１の一例を示す図である。
実施の形態１における条件分岐文抽出処理（Ｓ１１０）の一例について、図４および図５に基づいて説明する。
【００３３】
論理回路１０９がａｓｓｉｇｎ文を含む場合、条件分岐文抽出部１１０のａｓｓｉｇｎ文抽出部１１１は、論理回路１０９からａｓｓｉｇｎ文を抽出し、抽出したａｓｓｉｇｎ文を表すａｓｓｉｇｎ文抽出結果１９１ａを生成する。
そして、条件分岐文抽出部１１０は、ａｓｓｉｇｎ文抽出結果１９１ａを含んだ条件分岐文抽出結果ファイル１９１を生成する。
【００３４】
例えば、ａｓｓｉｇｎ文は、Ｕｎｉｘ（登録商標、以下同様）のｇｒｅｐコマンド「ｇｒｅｐ  ‘？’  ｓａｍｐｌｅ．ｖ」を用いて、論理回路１０９のファイル「ｓａｍｐｌｅ．ｖ」から抽出することができる。ａｓｓｉｇｎ文では「？」の前に条件が指定される。
【００３５】
図５に含まれるａｓｓｉｇｎ文抽出結果１９１ａは、５つの項目「出力信号」「条件信号」「条件文」「条件値」「出力値」を含んでいる。
「出力信号」は、演算処理される信号（出力信号）を識別する変数を示す。
「条件信号」は、条件値と比較される信号（条件信号）を識別する変数を示す。
「条件文」は、条件文を識別する識別子を示す。
「条件値」は、条件信号と比較される条件値を示す。
「出力値」は、出力信号に設定される値（出力値）を示す。
これらの項目の内容については、以下の図においても同様である。
【００３６】
但し、ａｓｓｉｇｎ文抽出結果１９１ａは、いずれかの項目を含まなくても、その他の項目を含んでも構わない。例えば、「条件文」の欄は必須ではない。
【００３７】
図６は、実施の形態１における論理回路１０９の一例を示す図である。
図７は、実施の形態１における条件分岐文抽出結果ファイル１９１の一例を示す図である。
実施の形態１における条件分岐文抽出処理（Ｓ１１０）の一例について、図６および図７に基づいて説明する。
【００３８】
論理回路１０９がｉｆ文を含む場合、条件分岐文抽出部１１０のｉｆ文抽出部１１２は、論理回路１０９からｉｆ文を抽出し、抽出したｉｆ文を表すｉｆ文抽出結果１９１ｂを生成する。なお、論理回路１０９は、「ｉｆ」をキーワードとして検索できるように、ｉｆ文内の演算処理にコメント「／／ｉｆ」が記載されている。
そして、条件分岐文抽出部１１０は、ｉｆ文抽出結果１９１ｂを含んだ条件分岐文抽出結果ファイル１９１を生成する。
【００３９】
例えば、「ｉｆ」「ｅｌｓｅ  ｉｆ」または「ｅｌｓｅ」を含むＩＦ文は、Ｕｎｉｘのｅｇｒｅｐコマンド「ｅｇｒｅｐ  ‘ｉｆ｜ｅｌｓｅ’  ｓａｍｐｌｅ．ｖ」を用いて、論理回路１０９のファイル「ｓａｍｐｌｅ．ｖ」から抽出することができる。
【００４０】
図７に含まれるｉｆ文抽出結果１９１ｂは、５つの項目「出力信号」「条件文」「条件信号」「条件値」「出力値」を含んでいる。
但し、ｉｆ文抽出結果１９１ｂは、いずれかの項目を含まなくても、その他の項目を含んでも構わない。例えば、「条件文」の欄は必須ではない。
【００４１】
図８は、実施の形態１における条件分岐文抽出結果ファイル１９１の一例を示す図である。
図８に示すように、条件分岐文抽出結果ファイル１９１のｉｆ文抽出結果１９１ｂは、「同期クロック」を含んでもよい。
「同期クロック」は、出力信号が同期するクロック（同期クロック）の識別子を示す。
【００４２】
図３に戻り、Ｓ１２０から説明を続ける。
【００４３】
Ｓ１２０において、演算文抽出部１２０は、論理回路１０９に含まれる演算文を抽出し、抽出した演算文の内容を表す演算文抽出結果ファイル１９２を生成する。
【００４４】
例えば、演算文抽出部１２０は、以下のように演算文抽出結果ファイル１９２を生成する。
演算文抽出部１２０の算術演算文抽出部１２１は、論理回路１０９から算術演算文（例えば、四則演算を含んだ命令文）を抽出し、抽出した算術演算文の内容を表す算術演算文抽出結果１９２ａを生成する。
演算文抽出部１２０の論理演算文抽出部１２２は、論理回路１０９から論理演算文（例えば、論理積または論理和などを含んだ命令文）を抽出し、抽出した論理演算文の内容を表す論理演算文抽出結果１９２ｂを生成する。
そして、演算文抽出部１２０は、算術演算文抽出結果１９２ａと論理演算文抽出結果１９２ｂとを含んだ演算文抽出結果ファイル１９２を生成する。
Ｓ１２０の後、処理はＳ１３０に進む。
【００４５】
図９は、実施の形態１における論理回路１０９の一例を示す図である。
図１０は、実施の形態１における演算文抽出結果ファイル１９２の一例を示す図である。
実施の形態１における演算文抽出処理（Ｓ１２０）の一例について、図９および図１０に基づいて説明する。
【００４６】
論理回路１０９が加算文および減算文を含む場合、演算文抽出部１２０の算術演算文抽出部１２１は、論理回路１０９から加算文および減算文を抽出し、抽出した加算文および演算文を表す算術演算文抽出結果１９２ａを生成する。
そして、演算文抽出部１２０は、算術演算文抽出結果１９２ａを含んだ演算文抽出結果ファイル１９２を生成する。
【００４７】
例えば、加算演算子「＋」を含む加算文は、Ｕｎｉｘのｇｒｅｐコマンド「ｇｒｅｐ  ‘＋’  ｓａｍｐｌｅ．ｖ」を用いて、論理回路１０９のファイル「ｓａｍｐｌｅ．ｖ」から抽出することができる。
同様に、減算演算子「−」を含む減算文は、ｇｒｅｐコマンド「ｇｒｅｐ  ‘−’  ｓａｍｐｌｅ．ｖ」を用いて抽出することができる。
なお、乗算演算子「＊」を含んだ乗算文、除算演算子「／」を含んだ除算文またはその他の算術演算子を含んだ算術演算文についても、同様に抽出することができる。
【００４８】
図１０に含まれる算術演算文抽出結果１９２ａは、３つの項目「出力信号」「演算種類」「演算内容」を含んでいる。但し、算術演算文抽出結果１９２ａは、その他の項目を含んでも構わない。「演算種類」は演算（演算子）の種類を示し、「演算内容」は演算処理の内容（演算式）を示す。
【００４９】
図１１は、実施の形態１における論理回路１０９の一例を示す図である。
図１２は、実施の形態１における演算文抽出結果ファイル１９２の一例を示す図である。
実施の形態１における演算文抽出処理（Ｓ１２０）の一例について、図１１および図１２に基づいて説明する。
【００５０】
論理回路１０９が論理積または論理和を含んだ論理演算文を含む場合、演算文抽出部１２０の論理演算文抽出部１２２は、論理回路１０９から論理積または論理和を含んだ論理演算文を抽出し、抽出した論理演算文を表す論理演算文抽出結果１９２ｂを生成する。
そして、演算文抽出部１２０は、論理演算文抽出結果１９２ｂを含んだ演算文抽出結果ファイル１９２を生成する。
【００５１】
例えば、論理積を表す演算子「＆」を含んだ論理演算文は、Ｕｎｉｘのｇｒｅｐコマンド「ｇｒｅｐ  ‘＆’  ｓａｍｐｌｅ．ｖ」を用いて、論理回路１０９のファイル「ｓａｍｐｌｅ．ｖ」から抽出することができる。
同様に、論理和を表す演算子「｜」を含んだ論理演算文は、Ｕｎｉｘのｇｒｅｐコマンド「ｇｒｅｐ  ‘｜’  ｓａｍｐｌｅ．ｖ」を用いて抽出することができる。
なお、その他の論理演算子を含んだ論理演算文についても同様に抽出することができる。
【００５２】
図１２に含まれる論理演算文抽出結果１９２ｂは、３つの項目「出力信号」「演算種類」「演算内容」を含んでいる。但し、論理演算文抽出結果１９２ｂは、その他の項目を含んでも構わない。
【００５３】
図３に戻り、Ｓ１３０から説明を続ける。
【００５４】
Ｓ１３０において、抽出結果照合部１３０は、条件分岐文抽出結果ファイル１９１と演算文抽出結果ファイル１９２とを照合し、照合結果ファイル１９３を生成する。
照合結果ファイル１９３は、条件分岐文と演算文との両方に含まれる変数について、条件分岐文抽出結果ファイル１９１と演算文抽出結果ファイル１９２とを統合（結合）したものである。
Ｓ１３０の後、処理はＳ１４０に進む。
【００５５】
図１３は、実施の形態１における抽出結果照合部１３０の構成図である。
図１３に示すように、抽出結果照合部１３０は、出力信号変数抽出部１３１と、演算処理変数抽出部１３２と、統合対象変数選択部１３３（統合変数選択部の一例）と、統合分岐文選択部１３４（条件分岐文選択文の一例）と、統合対象変数統合部１３５（演算文選択部の一例）とを備える。
抽出結果照合部１３０の各構成の機能については、抽出結果照合処理（Ｓ１３０）と共に説明する。
【００５６】
図１４は、実施の形態１における抽出結果照合処理（Ｓ１３０）を示すフローチャートの一例である。
実施の形態１における抽出結果照合処理（Ｓ１３０）の一例について、図１４に基づいて説明する。
【００５７】
Ｓ１３１において、出力信号変数抽出部１３１は、条件分岐文抽出結果ファイル１９１から出力信号用の変数（以下、出力信号変数という）を抽出する。
例えば、条件分岐文抽出結果ファイル１９１が、図５のａｓｓｉｇｎ文抽出結果１９１ａと図７のｉｆ文抽出結果１９１ｂとを含んでいるものとする。
この場合、出力信号変数抽出部１３１は、図５のａｓｓｉｇｎ文抽出結果１９１ａから出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿１」を抽出し、図７のｉｆ文抽出結果１９１ｂから出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿２」「ｔｅｓｔ＿ｓｉｇｎａｌ＿４」を抽出する。
そして、出力信号変数抽出部１３１は、図１５に示すような出力信号変数一覧表１９４を生成する。
図１５は、実施の形態１における出力信号変数一覧表１９４の一例を示す図である。
Ｓ１３１の後、処理はＳ１３２に進む。
【００５８】
Ｓ１３２において、演算処理変数抽出部１３２は、演算文抽出結果ファイル１９２から演算演算式（演算文の右辺）に用いられている変数（以下、演算処理変数という）を抽出する。
例えば、演算文抽出結果ファイル１９２が、図１０の算術演算文抽出結果１９２ａと図１２の論理演算文抽出結果１９２ｂとを含んでいるものとする。
この場合、演算処理変数抽出部１３２は、図１０の算術演算文抽出結果１９２ａから演算処理変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿４」「ｔｅｓｔ＿ｓｉｇｎａｌ＿２１」を抽出する。また、演算処理変数抽出部１３２は、図１２の論理演算文抽出結果１９２ｂから演算処理変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿２」「ｔｅｓｔ＿ｓｉｇｎａｌ＿４０」「ｔｅｓｔ＿ｓｉｇｎａｌ＿６０」「ｔｅｓｔ＿ｓｉｇｎａｌ＿６１」「ｔｅｓｔ＿ｓｉｇｎａｌ＿８０」「ｔｅｓｔ＿ｓｉｇｎａｌ＿８１」「ｔｅｓｔ＿ｓｉｇｎａｌ＿８２」を抽出する。
そして、演算処理変数抽出部１３２は、図１６に示すような演算処理変数一覧表１９５を生成する。
図１６は、実施の形態１における演算処理変数一覧表１９５の一例を示す図である。
Ｓ１３２の後、処理はＳ１３３に進む。
【００５９】
Ｓ１３３において、統合対象変数選択部１３３は、Ｓ１３１で抽出された出力信号変数のうち、Ｓ１３２で抽出された演算処理変数と同じ変数を選択する。以下、Ｓ１３３で選択する出力信号変数を「統合対象変数」という。
例えば、Ｓ１３１で図１５の出力信号変数一覧表１９４が生成され、Ｓ１３２で図１６の演算処理変数一覧表１９５が生成されたものとする。
この場合、統合対象変数選択部１３３は、出力信号変数一覧表１９４に含まれる出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿２」「ｔｅｓｔ＿ｓｉｇｎａｌ＿４」を統合対象変数として選択する。
Ｓ１３３の後、処理はＳ１３４に進む。
【００６０】
Ｓ１３４において、統合分岐文選択部１３４は、Ｓ１３３で選択された統合対象変数と同じ出力信号変数を用いている条件分岐文を条件分岐文抽出結果ファイル１９１から選択する。以下、Ｓ１３４で選択する条件分岐文を「統合分岐文」という。
例えば、Ｓ１３３で統合対象変数として出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿２」「ｔｅｓｔ＿ｓｉｇｎａｌ＿４」が選択されたものとする。
この場合、統合分岐文選択部１３４は、図７のｉｆ文抽出結果１９１ｂから出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿２」を含んだ項番１の情報と、出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿４」を含んだ項番２の情報とを統合分岐文の情報として取得する。
Ｓ１３４の後、処理はＳ１３５に進む。
【００６１】
Ｓ１３５において、統合対象変数統合部１３５は、Ｓ１３３で選択された統合対象変数と同じ演算処理変数を用いている演算文（以下、統合演算文という）を選択する。
統合対象変数統合部１３５は、統合演算文の情報に、Ｓ１３４で選択された統合分岐文の情報を統合することによって、照合結果ファイル１９３を生成する。
例えば、Ｓ１３３で図７のｉｆ文抽出結果１９１ｂから出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿２」を含んだ項番１の情報と、出力信号変数「ｔｅｓｔ＿ｓｉｇｎａｌ＿４」を含んだ項番２の情報とが選択されたものとする。
この場合、統合対象変数統合部１３５は、図７の項番１の情報と図１２の項番１の情報とを統合した情報を照合結果（１）として生成し、図７の項番２の情報と図１０の項番１の情報とを統合した情報を照合結果（２）として生成する。各照合結果（１）（２）の演算内容に含まれる演算処理変数は出力値に置き換えられている。
そして、統合対象変数統合部１３５は、図１７に示すように照合結果（１）と照合結果（２）とを含んだ照合結果ファイル１９３を生成する。
図１７は、実施の形態１における照合結果ファイル１９３の一例を示す図である。
Ｓ１３５の後、抽出結果照合処理（Ｓ１３０）は終了する。
【００６２】
図３に戻り、Ｓ１４０から説明を続ける。
【００６３】
Ｓ１４０において、解析結果出力部１４０は、解析結果ファイル１９９に含まれる情報を示す解析結果ファイル１９９を生成し、生成した解析結果ファイル１９９を出力する。
例えば、解析結果出力部１４０は、解析結果ファイル１９９を装置記憶部１９０に記憶し、ディスプレイに表示する。
但し、解析結果出力部１４０は、条件分岐文抽出結果ファイル１９１または演算文抽出結果ファイル１９２を用いて解析結果ファイル１９９を生成しても構わない。
【００６４】
例えば、解析結果出力部１４０は、以下のような解析結果ファイル１９９を出力する。
（１）解析結果出力部１４０は、照合結果ファイル１９３（図１７参照）を解析結果ファイル１９９として出力する。
（２）解析結果出力部１４０は、条件分岐文抽出結果ファイル１９１（図５、図７、図８参照）を解析結果ファイル１９９として出力する。
（３）解析結果出力部１４０は、演算文抽出結果ファイル１９２（図１０、図１２参照）を解析結果ファイル１９９として出力する。
（４）解析結果出力部１４０は、照合結果ファイル１９３と条件分岐文抽出結果ファイル１９１と演算文抽出結果ファイル１９２とのうち２つ以上のファイルを組み合わせて解析結果ファイル１９９を生成し、生成した解析結果ファイル１９９を出力する。
なお、出力する解析結果ファイル１９９の種類は、ユーザによって指定されてもよいし、予め決められていてもよい。
【００６５】
図１８は、実施の形態１における論理回路解析装置１００のハードウェア資源の一例を示す図である。
図１８において、論理回路解析装置１００（コンピュータの一例）は、ＣＰＵ９０１（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）を備えている。ＣＰＵ９０１は、バス９０２を介してＲＯＭ９０３、ＲＡＭ９０４、通信ボード９０５（通信装置）、ディスプレイ９１１（表示装置）、キーボード９１２、マウス９１３、ドライブ９１４、磁気ディスク装置９２０などのハードウェアデバイスと接続され、これらのハードウェアデバイスを制御する。ドライブ９１４は、ＦＤ（Ｆｌｅｘｉｂｌｅ  Ｄｉｓｋ）、ＣＤ（Ｃｏｍｐａｃｔ  Ｄｉｓｃ）、ＤＶＤ（Ｄｉｇｉｔａｌ  Ｖｅｒｓａｔｉｌｅ  Ｄｉｓｃ）などの記憶媒体を読み書きする装置である。
ＲＯＭ９０３、ＲＡＭ９０４、磁気ディスク装置９２０およびドライブ９１４は記憶装置の一例である。キーボード９１２、マウス９１３および通信ボード９０５は入力装置の一例である。ディスプレイ９１１および通信ボード９０５は出力装置の一例である。
【００６６】
通信ボード９０５は、有線または無線で、ＬＡＮ（Ｌｏｃａｌ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、インターネット、電話回線などの通信網に接続している。
【００６７】
磁気ディスク装置９２０には、ＯＳ９２１（オペレーティングシステム）、プログラム群９２２、ファイル群９２３が記憶されている。
【００６８】
プログラム群９２２には、実施の形態において「〜部」として説明する機能を実行するプログラムが含まれる。プログラム（例えば、電子回路解析プログラム）は、ＣＰＵ９０１により読み出され実行される。すなわち、プログラムは、「〜部」としてコンピュータを機能させるものであり、また「〜部」の手順や方法をコンピュータに実行させるものである。
【００６９】
ファイル群９２３には、実施の形態において説明する「〜部」で使用される各種データ（入力、出力、判定結果、計算結果、処理結果など）が含まれる。
【００７０】
実施の形態において構成図およびフローチャートに含まれている矢印は主としてデータや信号の入出力を示す。
フローチャートなどに基づいて説明する実施の形態の処理はＣＰＵ９０１、記憶装置、入力装置、出力装置などのハードウェアを用いて実行される。
【００７１】
実施の形態において「〜部」として説明するものは「〜回路」、「〜装置」、「〜機器」であってもよく、また「〜ステップ」、「〜手順」、「〜処理」であってもよい。すなわち、「〜部」として説明するものは、ファームウェア、ソフトウェア、ハードウェアまたはこれらの組み合わせのいずれで実装されても構わない。
【００７２】
実施の形態１により、論理回路（電子回路の一例）のハードウェア記述を解析した解析結果ファイル１９９として、条件分岐文と演算文とを対応付けた情報を生成することができる。
そして、ユーザは、検証項目一覧表１０２と解析結果ファイル１９９とを比較することによって、検証項目の抽出漏れまたは論理回路１０９の設計ミスを検出することができる。
【００７３】
実施の形態１において、例えば、以下のような電子回路解析装置（１００）について説明した。括弧内に、対応する構成の符号または名称を記す。
電子回路解析装置は、条件分岐文抽出部（１１０）と、条件分岐内容抽出部（１１０）と、演算文抽出部（１２０）と、演算内容抽出部（１２０）と、統合変数選択部（１３３）と、条件分岐文選択部（１３４）と、演算文選択部（１３５）と、解析結果出力部（１４０）とを備える。
条件分岐文抽出部は、電子回路の動作が記述されたハードウェア記述（１０９）から１つ以上の条件分岐文を抽出する。
条件分岐内容抽出部は、前記条件分岐文抽出部によって抽出された条件分岐文毎に、条件分岐文の分岐条件を満たした場合に値が設定される設定変数（出力信号変数）を抽出する。
演算文抽出部は、前記ハードウェア記述に含まれる１つ以上の演算文を抽出する。
演算内容抽出部は、前記演算文抽出部によって抽出された演算文毎に、演算文に含まれる演算変数（演算処理変数）を抽出する。
統合変数選択部は、前記条件分岐内容抽出部によって抽出された設定変数のうち前記演算内容抽出部によって抽出されたいずれかの演算変数と同じ設定変数を統合変数（統合対象変数）として選択する。
条件分岐文選択部は、前記条件分岐文抽出部によって抽出された条件分岐文のうち前記統合変数選択部によって選択された前記統合変数に対応する条件分岐文（統合分岐文）を選択する。
演算文選択部は、前記演算内容抽出部によって抽出された演算文のうち前記統合変数と同じ演算変数に対応する演算文（統合演算文）を選択する。
解析結果出力部は、前記条件分岐文選択部によって選択された前記条件分岐文と、前記演算文選択部によって選択された前記演算文とを対応付けた情報を前記ハードウェア記述の解析結果（１９３、１９９）として出力する。
【００７４】
前記条件分岐内容抽出部（１１０）は、前記条件分岐文抽出部によって抽出された条件分岐文の分岐条件毎に、分岐条件（条件信号、条件値）と設定変数（出力信号）と設定変数に設定される設定値とを抽出する（図５、図７、図８参照）。
前記演算内容抽出部（１２０）は、前記演算文抽出部によって抽出された演算文毎に、演算変数（演算処理変数）を含んだ演算式（演算内容）と、演算式の演算結果が設定される出力変数（出力信号）を抽出する（図１０、図１２参照）。
前記解析結果出力部（１４０）は、前記条件分岐文選択部によって選択された前記条件分岐文の分岐条件と、前記条件分岐文選択部によって選択された前記条件分岐文の設定値と、前記演算文選択部によって選択された前記演算文の演算式と、前記演算文選択部によって選択された前記演算文の出力変数と、を対応付けて前記解析結果（１９３）を生成する（図１７参照）。
【００７５】
前記解析結果出力部（１４０）は、前記演算文の前記演算式に含まれる演算変数のうち前記統合変数と同じ演算変数を前記条件分岐文の前記設定値に置き換えることによって、前記条件分岐文の前記設定値と前記演算文の前記演算式とを対応付ける（図１７参照）。
【符号の説明】
【００７６】
１００  論理回路解析装置、１０１  仕様書、１０２  検証項目一覧表、１０３  検証パタン、１０４  検証結果ファイル、１０９  論理回路、１１０  条件分岐文抽出部、１１１  ａｓｓｉｇｎ文抽出部、１１２  ｉｆ文抽出部、１２０  演算文抽出部、１２１  算術演算文抽出部、１２２  論理演算文抽出部、１３０  抽出結果照合部、１３１  出力信号変数抽出部、１３２  演算処理変数抽出部、１３３  統合対象変数選択部、１３４  統合分岐文選択部、１３５  統合対象変数統合部、１４０  解析結果出力部、１９０  装置記憶部、１９１  条件分岐文抽出結果ファイル、１９１ａ  ａｓｓｉｇｎ文抽出結果、１９１ｂ  ｉｆ文抽出結果、１９２  演算文抽出結果ファイル、１９２ａ  算術演算文抽出結果、１９２ｂ  論理演算文抽出結果、１９３  照合結果ファイル、１９４  出力信号変数一覧表、１９５  演算処理変数一覧表、１９９  解析結果ファイル、９０１  ＣＰＵ、９０２  バス、９０３  ＲＯＭ、９０４  ＲＡＭ、９０５  通信ボード、９１１  ディスプレイ、９１２  キーボード、９１３  マウス、９１４  ドライブ、９２０  磁気ディスク装置、９２１  ＯＳ、９２２  プログラム群、９２３  ファイル群。
【図１】
2014178726.tif 000003
【図２】
2014178726.tif 000004
【図３】
2014178726.tif 000005
【図４】
2014178726.tif 000006
【図５】
2014178726.tif 000007
【図６】
2014178726.tif 000008
【図７】
2014178726.tif 000009
【図８】
2014178726.tif 000010
【図９】
2014178726.tif 000011
【図１０】
2014178726.tif 000012
【図１１】
2014178726.tif 000013
【図１２】
2014178726.tif 000014
【図１３】
2014178726.tif 000015
【図１４】
2014178726.tif 000016
【図１５】
2014178726.tif 000017
【図１６】
2014178726.tif 000018
【図１７】
2014178726.tif 000019
【図１８】
2014178726.tif 000020
【図１９】
2014178726.tif 000021