(57)【要約】【課題】本発明は、ハードウェア記述言語による論理設計作業の大幅な効率化に貢献できる論理設計支援装置を提供することを目的とする。【解決手段】本発明の課題は、ハードウェア記述言語により記述されたハードウェア記述を読み込み、構文および記述の解析を行って違反情報の出力を行う論理設計支援装置において、上記ハードウェア記述から構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定する機能ブロック定義位置特定部と、上記違反情報を出力するときに上記機能ブロック定義位置特定部によって特定された該当する機能ブロックの定義位置を併せて出力する違反情報出力部とを備える論理設計支援装置によって達成される。【選択図】  図２
2005044023.tif 000002
【特許請求の範囲】
【請求項１】
ハードウェア記述言語により記述されたハードウェア記述を読み込み、構文および記述の解析を行って違反情報の出力を行う論理設計支援装置において、
上記ハードウェア記述から構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定する機能ブロック定義位置特定部と、
上記違反情報を出力するときに上記機能ブロック定義位置特定部によって特定された該当する機能ブロックの定義位置を併せて出力する違反情報出力部とを備えたことを特徴とする論理設計支援装置。
【請求項２】
前回の違反情報と今回の違反情報とを上記機能ブロックの定義位置を考慮して比較することにより新旧の違反情報を区別する新旧比較判断部を備えた請求項１に記載の論理設計支援装置。
【請求項３】
違反情報に対し修正の必要がない旨の確認情報を入力し、当該違反情報に確認済みフラグを付加して管理する確認情報入力部を備えた請求項１または２のいずれか一項に記載の論理設計支援装置。
【請求項４】
新旧比較判断部は、今回の違反情報にしか存在しない違反情報に新規フラグを追加し、前回の違反情報にしか存在しない違反情報に修正済みフラグを追加し、前回および今回の双方の違反情報に存在しかつ確認済みフラグのない違反情報に未修正フラグを追加する請求項３に記載の論理設計支援装置。
【請求項５】
ハードウェア記述内での行数に依存しない定義位置は機能ブロックの種類毎の出現順位である請求項１乃至４のいずれか一項に記載の論理設計支援装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明はハードウェア記述言語（ＨＤＬ）による論理設計を支援する論理設計支援装置に関するものである。
【０００２】
【従来の技術】
近年のＬＳＩ（大規模集積回路）の設計においては、回路規模の増大および機能の複雑化に対応すべく、「ＶＨＤＬ」「Ｖｅｒｉｌｏｇ−ＨＤＬ」等のハードウェア記述言語（ＨＤＬ）を用いることが多くなってきている。これらのハードウェア記述言語は電子回路や論理回路の機能／構造を記述することに適したものであり、設計レベルを論理ゲートレベルから抽象度の高いレジスタートランスファーレベル（ＲＴＬ）に上げることができる。
【０００３】
図１３はハードウェア記述言語によるハードウェア記述（ＨＤＬ記述）の例を示したものであるが、設計対象ＬＳＩの論理回路についての設計情報をこのように所定の文法に基づいて記述することにより、最終的には論理合成ツールと呼ばれる装置を用いて論理回路（ネットリスト）が自動的に合成される。
【０００４】
ところで、ハードウェア記述はオペレータ（設計者）がエディタ等を用いて作成するものであり、対象の複雑さとも相俟って開発過程では多くの構文上もしくは記述上の誤りが含まれ得ることから、その後の修正作業を効率的に進められるよう、論理設計支援装置と呼ばれるものが導入されるに至っている。
【０００５】
この種の論理設計支援装置は、ハードウェア記述言語により記述されたハードウェア記述を読み込み、記述内容に対して構文および記述の解析を行って、解析結果という形で違反情報の出力を行うものであり、オペレータは出力された違反情報を参考にハードウェア記述の修正を行っていくことになる。
【０００６】
図１４は前述した図１３のハードウェア記述に対して従来の論理設計支援装置により構文および記述の解析を行った結果を示したものであり、「＃ＥＲＲ−１４０」「＃ＥＲＲ−５３」等の違反のタイプ（種類）と、「ファイルｔｅｓｔ．ｖの８行目のｉｆ文は実行されません。リセット（セット）信号のエッジ極性が間違っています。」「ｅｎがセンシティビティリストに存在していません。」「ファイルｔｅｓｔ．ｖの２３行目」等の違反の発生した行数、変数および違反内容等が違反情報として含まれている。
【０００７】
なお、違反情報としては、前述した論理合成ツールで論理合成を実行できないレベルの「エラー（ＥＲＲ）」と、論理合成は可能であるが記述の間違いや記述の再利用のために定められたルール等を満たしていないことを示す「ワーニング（ＷＡＲ）」とが存在する。（図１４の例では「エラー（ＥＲＲ）」のみが示されている。）。
【０００８】
一方、ハードウェア記述言語を用いた論理設計に関していくつかの先行技術が存在しており、論理合成を行う毎のテスト容易化のための回路修正を不要とするレジスタートランスファーレベルでのテスト容易化検証方法（例えば、特許文献１参照。）や、論理合成された論理回路の分析を容易にする方法（例えば、特許文献２参照。）等が開示されている。
【０００９】
【特許文献１】
特開平１１−１５８６９号
【００１０】
【特許文献２】
特表平９−５１２１１５号
【００１１】
【発明が解決しようとする課題】
上述したように、ハードウェア記述言語を用いた論理設計作業の効率化を図るため、従来より論理設計支援装置が導入されていたが、以下のような理由で十分なものではなかった。
【００１２】
すなわち、図１４に示したような構文および記述の解析結果からは、その時点のハードウェア記述についての違反情報が得られるが、修正を何度も繰り返している場合、その違反情報が新たに発生したものであるのか、あるいは以前から残ってしまっているものなのかの判断が簡単には行えなかった。実際の修正作業においては、既に修正した違反が解消されたのか否かの確認を行い、更に修正するまでもないとの判断で放置した違反を確認した上で、新たに発生した違反を認識して修正に注力する必要があるが、従来の論理設計支援装置から出力される違反情報からは直接的にそれらを認識することができなかった。特に、設計の初期段階では相当数のエラーやワーニングが発生するため、作業効率に与える影響は大であった。
【００１３】
一方、新たに発生した違反と以前から残っている違反とを機械的に区別するためには、前回の解析結果と今回の解析結果とを単純に比較するしかないが、図１４に示した違反情報では「ファイルｔｅｓｔ．ｖの８行目のｉｆ文は実行されません。」「ファイルｔｅｓｔ．ｖの２３行目」のようにハードウェア記述における行数で違反箇所が特定されるため、ハードウェア記述の修正（行の挿入もしくは削除等）によって行数が変更されると、実質的に同じ部分の違反であっても別物と判断されてしまうことになる。その結果、前回に発生していた違反がどうなったかを、今回発生した違反と対応付けて把握することはできなかった。
【００１４】
本発明は上記の問題点に鑑み提案されたものであり、その目的とするところは、新旧の違反情報を区別可能で、論理設計作業の大幅な効率化に貢献できる論理設計支援装置を提供することにある。
【００１５】
本発明は、更に、新旧の違反情報を区別可能とすることを発展させ、違反の履歴を管理可能にして一層の利便性を向上し得る論理設計支援装置を提供することも目的としている。
【００１６】
【課題を解決するための手段】
本発明は上記の課題を解決するため、ハードウェア記述言語により記述されたハードウェア記述を読み込み、構文および記述の解析を行って違反情報の出力を行う論理設計支援装置において、上記ハードウェア記述から構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定する機能ブロック定義位置特定部と、上記違反情報を出力するときに上記機能ブロック定義位置特定部によって特定された該当する機能ブロックの定義位置を併せて出力する違反情報出力部とを備えるようにしている。
【００１７】
これにより、ハードウェア記述に対して修正が行われても同じ機能ブロックについての違反は同じものであると認識されることになり、新旧の違反情報が区別可能となる。
【００１８】
また、本発明は上記の手段に加え、前回の違反情報と今回の違反情報とを上記機能ブロックの定義位置を考慮して比較することにより新旧の違反情報を区別する新旧比較判断部を備えるようにすることができる。これにより、新旧の違反情報を自動的に明確な形で分類することができる。
【００１９】
また、本発明は上記の手段に加え、違反情報に対し修正の必要がない旨の確認情報を入力し、当該違反情報に確認済みフラグを付加して管理する確認情報入力部を備えるようにすることができる。これにより、意図的に修正を行わなかった違反に対しての記録を残すことができる。
【００２０】
また、新旧比較判断部は、今回の違反情報にしか存在しない違反情報に新規フラグを追加し、前回の違反情報にしか存在しない違反情報に修正済みフラグを追加し、前回および今回の双方の違反情報に存在しかつ確認済みフラグのない違反情報に未修正フラグを追加するものとすることができる。これにより、発生した違反の履歴を分類して管理することができる。
【００２１】
【発明の実施の形態】
以下、本発明の実施の形態を図面に基づいて説明する。
【００２２】
図１は本発明の一実施形態である論理設計支援装置のハードウェア構成を示すブロック図である。
【００２３】
図１において、本発明の論理設計支援装置は、主たる情報処理を行うＣＰＵ１１、プログラムおよびデータを格納するメモリ１２、および、周辺機器を制御するＩ／Ｏコントローラ１３を有した処理装置本体１と、論理設計のオペレータ（設計者）に対して処理メニュー、各種メッセージおよび処理結果を表示する表示装置２と、オペレータから操作指示を受け付けるキーボード、マウス等の入力装置３と、処理に必要なファイル、データベース等を格納したハードディスク等の記憶装置４とから構成されている。
【００２４】
図２は処理装置本体１の内部構成をより詳細に示した機能ブロック図であり、ハードウェア記述言語を用いたハードウェア記述を作成し編集するためのエディタ部１４と、本発明における主要な処理、すなわちハードウェア記述言語により記述されたハードウェア記述を記憶装置４から読み込み、構文および記述の解析を行って違反情報の出力を行う論理設計支援処理部１５とを含んでいる。
【００２５】
論理設計支援処理部１５は、ハードウェア記述から構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定する機能ブロック定義位置特定部１５１と、ハードウェア記述に対して構文および記述についての解析を行う構文・記述解析部１５２と、構文および記述の解析結果に基づいて違反情報を出力する違反情報出力部１５３と、違反情報に対してオペレータから確認情報を入力する確認情報入力部１５４と、前回の違反情報と今回の違反情報とを上記機能ブロックの定義位置を考慮して比較することにより新旧の違反情報を区別する新旧比較判断部１５５とを含んでいる。
【００２６】
図３はハードウェア記述の作成および修正の作業を示すフローチャートであり、以下、図３に基づきオペレータによるハードウェア記述言語を用いたハードウェア記述の作成および修正の概略を説明する。
【００２７】
先ず、オペレータは図２に示すエディタ部１４、表示装置２および入力装置３を用い、設計対象ＬＳＩの実装機能を想定しつつ所定の文法に従ってハードウェア記述を作成する（ステップＳ１）。作成されたハードウェア記述は記憶装置４に格納される。
【００２８】
続いて、オペレータは論理設計支援処理部１５により構文および記述の解析を行う（ステップＳ２）。
【００２９】
続いて、オペレータは論理設計支援処理部１５から出力される解析結果に含まれる違反情報（エラーもしくはワーニング）を参考にしてハードウェア記述の修正を行う（ステップＳ３）。この際、特に修正を行う必要がないと判断した違反については意図的に修正をしなくてもよい。
【００３０】
続いて、オペレータは特に修正を行う必要がないと判断した違反につき、論理設計支援処理部１５に対して確認情報の入力を行う（ステップＳ４）。これは違反履歴の管理において有用な、オペレータによる「確認済み」というステータスを与えるためである。
【００３１】
続いて、オペレータは論理設計支援処理部１５により構文および記述の解析を再び行う（ステップＳ５）。
【００３２】
続いて、オペレータは論理設計支援処理部１５により前回および今回の解析結果の比較を行う（ステップＳ６）。これにより、既に修正した違反が解消されたのか否かの確認を行うと共に、修正するまでもないとの判断で「確認済み」として放置した違反を確認した上で、新たな違反が発生したかどうかの確認を行う。その結果、新たな修正が必要な場合はハードウェア記述の修正（ステップＳ３）に戻り、納得のいくレベルに到達するまで繰り返される。
【００３３】
図４〜図６は、図３に示したハードウェア記述の作成および修正の作業に対する論理設計支援処理部１５（図２）側の処理手順を示すフローチャートである。
【００３４】
以下、図４〜図６のフローチャートに基づき、ハードウェア記述および解析結果（違反情報）の具体例を示す図７〜図１２を適宜参照して、処理動作を説明する。
【００３５】
先ず、作成時のハードウェア記述は図７に示すようなものであるとする。図７において、このハードウェア記述は、第６行〜第１０行で入出力信号の記述が行われ、第１２行〜第１９行、第２１行〜第２５行、第２７行〜第３１行で「ａｌｗａｙｓ文」による個々の機能ブロックの記述が行われている。
【００３６】
図４はハードウェア記述の作成後の構文および記述の解析が開始された後の処理を示しており、図４において、論理設計支援処理部１５の機能ブロック定義位置特定部１５１（図２）は、ハードウェア記述４１を記憶装置４から読み込み（ステップＳ１１）、記述内容からその構成要素の機能ブロックにつきそのハードウェア記述内での行数に依存しない定義位置を特定する（ステップＳ１２）。
【００３７】
より具体的には、ハードウェア記述に含まれる「ａｓｓｉｇｎ文」「ａｌｗａｙｓ文」等の機能ブロックを特徴付ける記述を検出し、その種類毎の出現順位をもって機能ブロックの定義位置を特定する。図７のハードウェア記述の例では、「ａｌｗａｙｓ文」が第１２行、第２１行、第２７行の３箇所で検出され、それぞれの「ａｌｗａｙｓ文」で開始する機能ブロックがその出現順序「１」「２」「３」という値で特定される。
【００３８】
続いて、論理設計支援処理部１５の構文・記述解析部１５２（図２）は、ハードウェア記述に対して構文および記述についての解析を行う（ステップＳ１３）。解析に際して必要な解析辞書や解析ルールは記憶装置４から適宜に読み込まれて使用される。
【００３９】
続いて、論理設計支援処理部１５の違反情報出力部１５３（図２）は、違反情報の含まれる構文および記述の解析結果を表示装置２に出力する（ステップＳ１４）。この違反情報を出力する際、機能ブロック定義位置特定部１５１によって特定された該当する機能ブロックの定義位置を併せて出力する。図７に示したハードウェア記述に対する解析結果（違反情報）は図８のようになり、違反タイプ、違反内容および違反箇所の他に、「１番目のａｌｗａｙｓ」「３番目のａｌｗａｙｓ」等のようにハードウェア記述内での行数に依存しない機能ブロックの定義位置を示す情報が付加されている。なお、表示装置２においては、図８のようなリストをそのまま表示しても、更に、表形式に整形して図１０もしくは図１２のようにビジュアルに表示するようにしてもよい。
【００４０】
続いて、表示装置２に出力された違反情報に基づきハードウェア記述の修正が行われ、修正後のハードウェア記述は図９に示すようなものであるとする。図９においては、第４行に改定日付を示す記述が挿入されていると共に、第１４行の「ｉｆ文」の変数「ｒｅｓｅｔ＿ｎ」の前に否定演算子「！」が挿入され、更に第２８行の「ａｌｗａｙｓ文」の条件部の後端に「ｏｒ  ｄｉｎ」が挿入されている。その結果、図７に示したハードウェア記述と比べて行数が全体的に移動している。
【００４１】
図５はハードウェア記述の修正後の処理を示しており、図５において、論理設計支援処理部１５の確認情報入力部１５４（図２）は、オペレータから確認情報を入力する（ステップＳ２１）。図１０は確認情報の入力を行う画面の例を示したものであり、違反情報のうち修正が必要でないとオペレータが判断したものＰ１，Ｐ２につきマウス等で選択して確認を行うことで「確認済み」のフラグが追加され、記憶装置４に違反情報とともに格納される。図５の記憶装置４内における解析結果４２の違反情報４２ａおよびフラグ４２ｂはそれらのデータの格納状態を示している。
【００４２】
続いて、ハードウェア記述の修正後の構文および記述の解析が開始されると、図５において、論理設計支援処理部１５の機能ブロック定義位置特定部１５１（図２）は、ハードウェア記述４１を記憶装置４から読み込み（ステップＳ２２）、記述内容からその構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定する（ステップＳ２３）。
【００４３】
具体的には前述したと同様にハードウェア記述に含まれる「ａｓｓｉｇｎ文」「ａｌｗａｙｓ文」等の機能ブロックを特徴付ける記述を検出し、その種類毎の出現順位をもって機能ブロックの定義位置が特定されるが、図７のハードウェア記述と比べ、図９に示す修正後のハードウェア記述では、「ａｌｗａｙｓ文」が第１３行、第２２行、第２８行、第３４行の４箇所で検出されることになる。そして、それぞれの「ａｌｗａｙｓ文」で開始する機能ブロックがその出現順序「１」「２」「３」「４」という値で特定される。
【００４４】
続いて、論理設計支援処理部１５の構文・記述解析部１５２（図２）は、ハードウェア記述に対して構文および記述について再度の解析を行う（ステップＳ２４）。
【００４５】
続いて、論理設計支援処理部１５の違反情報出力部１５３（図２）は、違反情報の含まれる構文および記述の解析結果を表示装置２に出力する（ステップＳ２５）。この違反情報を出力する際、機能ブロック定義位置特定部１５１によって特定された該当する機能ブロックの定義位置を併せて出力する。図９に示した修正後のハードウェア記述に対する解析結果（違反情報）は図１１のようになり、違反タイプ、違反内容および違反箇所の他に、「２番目のａｌｗａｙｓ」「３番目のａｌｗａｙｓ」等のようにハードウェア記述内での行数に依存しない機能ブロックの定義位置を示す情報が付加されている点は同様である。ただし、修正により新たに発生した違反についてのエラーおよびワーニングが相当に追加されている。
【００４６】
なお、表示装置２においては、図１１のようなリストをそのまま表示しても、更に、表形式に整形して図１０もしくは図１２のようにビジュアルに表示するようにしてもよい点は同様である。
【００４７】
続いて、論理設計支援処理部１５の新旧比較判断部１５５（図２）は、前回の違反情報と今回の違反情報を機能ブロックの定義位置を考慮して比較することにより新旧の違反情報を区別する処理を行う（ステップＳ２６）。
【００４８】
ここで、上記の新旧比較判断部１５５の処理につき、図６のフローチャートを用いてより詳細に説明する。
【００４９】
図６において、新旧比較判断部１５５は前回の解析結果（旧解析結果）を読み込み（ステップＳ３１）、「ファイル名」「エラー／ワーニング番号」「変数名」「機能ブロックの番号」を作業領域に格納する（ステップＳ３２）。
【００５０】
続いて、今回の解析結果（新解析結果）を読み込み（ステップＳ３３），同様に「ファイル名」「エラー／ワーニング番号」「変数名」「機能ブロックの番号」を作業領域に格納する（ステップＳ３４）。
【００５１】
続いて、格納した新旧の「ファイル名」「エラー／ワーニング番号」「変数名」「機能ブロックの番号」に基づいて両者に含まれる個々の違反情報につき比較する（ステップＳ３５）。比較は「ファイル名」「エラー／ワーニング番号」「変数名」「機能ブロックの番号」を総合して行われ、前回の違反情報と今回の違反情報とが実質的に同じものであるか否かが判断される。
【００５２】
比較の結果、新解析結果にしか存在しない違反（ステップＳ３６のＹｅｓ）については、新しく発生した違反であると判断し、「新規」フラグを追加し（ステップＳ３７）、新しい解析結果として記憶装置４に登録する（ステップＳ４２）。
【００５３】
新解析結果にしか存在しないということでなく（ステップＳ３６のＮｏ）、更に新解析結果にない場合（ステップＳ３８のＹｅｓ）、すなわち旧解析結果にしか存在しない違反については、既に違反が修正により解消されたものと判断し、「修正済み」フラグを追加し（ステップＳ３９）、新しい解析結果として記憶装置４に登録する（ステップＳ４２）。
【００５４】
更に、新規でも修正済みでもない場合（ステップＳ３８のＮｏ）には、更にオペレータにより「確認済み」フラグが付されていないか否かを判断し（ステップＳ４０）、確認済みになっていない場合（ステップＳ４０のＹｅｓ）には未対応の違反であると判断して「未修正」フラグを追加し（ステップＳ４１）、新しい解析結果として記憶装置４に登録する（ステップＳ４２）。確認済みになっている場合（ステップＳ４０のＮｏ）にはそのまま新しい解析結果として記憶装置４に登録する（ステップＳ４２）。
【００５５】
上記の比較処理においては、「ファイル名」「エラー／ワーニング番号」「変数名」の他に「機能ブロックの番号」を考慮に入れているため、ハードウェア記述の修正（行の挿入もしくは削除等）によって行数が変更されても、修正の前後で同じ機能ブロックを識別することが可能である。具体的には、図７に示した前回のハードウェア記述において第１２行、第２１行、第２７行からそれぞれ「ａｌｗａｙｓ文」で始まる３個の機能ブロックは、図９に示す修正後のハードウェア記述においては第１３行、第２２行、第２８行に移動しているが、「エラー／ワーニング番号」「変数名」の他に「機能ブロックの番号」を考慮に入れることで同一性を確認することができる。
【００５６】
なお、図６における解析結果の登録（ステップＳ４２）に関し、図５の記憶装置４内における解析結果４２の違反情報４２ａおよびフラグ４２ｂはそれらのデータの格納状態を示している。
【００５７】
続いて、図５に戻り、論理設計支援処理部１５の新旧比較判断部１５５（図２）は、比較結果を表示装置２に表示する（ステップＳ２７）。図１２は比較結果を表示する画面の例を示したものであり、フラグに対応する「新規」「修正済み」「確認済み」「未修正」が色変え表示等により視認しやすいように表示される。これにより、新たに発生した違反が明確になるだけでなく、以前に発生した違反が修正済みであるのか、意図的に修正をしていないのか、不注意により修正を忘れているのかといった過去の違反に対する履歴を管理することができ、論理設計作業の効率を大幅に向上させることができる。
【００５８】
以上説明した実施の形態によれば、ハードウェア記述から構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定して違反情報とともに出力するようにしたので、ハードウェア記述に対して繰り返し修正が行われても同じ機能ブロックについての違反は同じものであると認識されることになり、新旧の違反情報を明確に区別することができる。したがって、既に修正した違反が解消されたのか否かの確認が行え、新たに発生した違反を認識して修正に注力することが可能となり、論理設計の作業効率を大幅に高めることができる。
【００５９】
また、新旧比較判断部により前回の違反情報と今回の違反情報とを機能ブロックの定義位置を考慮して比較するようにしたので、新旧の違反情報を自動的に明確な形で分類することができる。
【００６０】
また、確認情報入力部により違反情報に対し修正の必要がない旨の確認情報を入力し、その違反情報に確認済みフラグを付加して管理するようにしたので、意図的に修正を行わなかった違反に対しての記録を残すことができる。
【００６１】
また、新旧比較判断部は、今回の違反情報にしか存在しない違反情報に新規フラグを追加し、前回の違反情報にしか存在しない違反情報に修正済みフラグを追加し、前回および今回の双方の違反情報に存在しかつ確認済みフラグのない違反情報に未修正フラグを追加するようにしたので、現時点までに発生した違反の履歴を分類して管理することができ、論理設計作業における利便性を一層向上させることができる。
【００６２】
【発明の効果】
以上の説明から明らかなように、本発明の論理設計支援装置にあっては、ハードウェア記述から構成要素の機能ブロックにつき当該ハードウェア記述内での行数に依存しない定義位置を特定して違反情報とともに出力するようにしたので、ハードウェア記述に対して繰り返し修正が行われても新旧の違反情報を明確に区別することができるという効果がある。
【図面の簡単な説明】
【図１】本発明の一実施形態である論理設計支援装置のハードウェア構成を示すブロック図である。
【図２】本発明の一実施例である論理設計支援装置の機能ブロック図である。
【図３】ハードウェア記述の作成および修正の作業を示すフローチャートである。
【図４】本発明の一実施形態である論理設計支援装置の処理手順を示すフローチャート（その１）である。
【図５】本発明の一実施形態である論理設計支援装置の処理手順を示すフローチャート（その２）である。
【図６】新旧解析結果の比較の処理手順を示すフローチャートである。
【図７】作成時のハードウェア記述の例を示す図である。
【図８】構文・記述解析の結果の例を示す図である。
【図９】修正後のハードウェア記述の例を示す図である。
【図１０】確認情報の入力を行う画面の例を示す図である。
【図１１】修正後のハードウェア記述に対する構文・記述解析の結果の例を示す図である。
【図１２】新旧の比較結果を表示する画面の例を示す図である。
【図１３】従来のハードウェア記述の例を示す図である。
【図１４】従来の構文・記述解析の結果の例を示す図である。
【符号の説明】
１        処理装置本体
１１      ＣＰＵ
１２      メモリ
１３      Ｉ／Ｏコントローラ
１４      エディタ部
１５      論理設計支援処理部
１５１    機能ブロック定義位置特定部
１５２    構文・記述解析部
１５３    違反情報出力部
１５４    確認情報入力部
１５５    新旧比較判断部
２        表示装置
３        入力装置
４        記憶装置
４１      ハードウェア記述
４２      解析結果
４２ａ    違反情報
４２ｂ    フラグ
【図１】
2005044023.tif 000003
【図２】
2005044023.tif 000004
【図３】
2005044023.tif 000005
【図４】
2005044023.tif 000006
【図５】
2005044023.tif 000007
【図６】
2005044023.tif 000008
【図７】
2005044023.tif 000009
【図８】
2005044023.tif 000010
【図９】
2005044023.tif 000011
【図１０】
2005044023.tif 000012
【図１１】
2005044023.tif 000013
【図１２】
2005044023.tif 000014
【図１３】
2005044023.tif 000015
【図１４】
2005044023.tif 000016