(57)【要約】【課題】回路図などに適合した適正な表示をおこなうとともに、比較する論理回路の対応する箇所を効率よく表示することを課題とする。【解決手段】複数の回路図を表示する回路図表示装置１０であって、複数の回路図は、複数の論理回路の回路図であり、論理回路対応部１４０ｄは、複数の論理回路に関する識別情報、構造情報、論理等価性情報、外部指定情報の少なくともいずれか一つに基づいて複数の論理回路を対応付け、並列表示部１４０ｂは、複数の論理回路の回路図を並べて表示し、表示制御部１４０ｂは、回路図に関する表示領域、表示領域の中心点、表示要求の少なくともいずれか一つに基づいて論理回路対応部１４０ｄによって対応付けられた複数の論理回路の回路図を並列表示部１４０ｃによって並べて表示するよう制御する。【選択図】        図１
2006072769.tif 000002
【特許請求の範囲】
【請求項１】
複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置であって、
前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替手段と、
前記表示態様切替手段により前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御手段と
を備えたことを特徴とする回路図表示装置。
【請求項２】
前記表示態様切替手段は、各回路図の全体を前記回路領域として表示対象とする場合に、各回路図の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別する判別手段を備え、前記判別手段による判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えることを特徴とする請求項１に記載の回路図表示装置。
【請求項３】
複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置であって、
前記複数の回路図に出現した同一の素子または部分回路を対応づける対応付け手段と、
複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、前記対応付け手段により当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御する連動制御手段と
を備えたことを特徴とする回路図表示装置。
【請求項４】
複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示プログラムであって、
前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替ステップと、
前記表示態様切替ステップにより前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御ステップと
をコンピュータに実行させることを特徴とする回路図表示プログラム。
【請求項５】
複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示方法であって、
前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替工程と、
前記表示態様切替工程により前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御工程と
を含んだことを特徴とする回路図表示方法。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置に関し、特に、回路図などに適合した適正な表示をおこなうとともに、比較する論理回路の対応する箇所を効率よく表示できる回路図表示装置、回路図表示方法および回路図表示プログラムに関するものである。
【背景技術】
【０００２】
従来、論理等価性検証において論理不一致が検出された場合には、ディスプレイ画面上に比較対象となる２つの回路図を表示しておき、これを参照しつつ論理が不一致となる原因を設計者が解析していた。具体的には、ある修正前の回路の回路構造の一部を修正したような場合には、修正前の回路図と修正後の回路図を同じディスプレイ画面上に並列表示させ、このディスプレイ画面を参照しながら論理が異なる回路領域をトレースし、不一致原因となっている回路構造の違いを探索する。
【０００３】
かかる不一致解析を効率よくおこなうため、特許文献１には、２つの論理回路の各々に対して決定された組合せ論理回路の一つの出力に影響を与える全ての入力及び全ての論理回路素子を含む論理コーンを論理式に変換し、変換された論理式と論理コーンに含まれる論理回路素子とを関連付けながら格納し、変換された論理式の中で指定された項に対応する論理回路素子を特定するよう構成した論理等価検証装置が開示されている。この特許文献１を用いると、論理の不一致の原因となる論理回路素子を特定することができる。
【０００４】
【特許文献１】特開２００４−２１９４４号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
しかしながら、不一致解析を行う際には、修正前の回路と修正後の回路の違いを見るために２つの回路図を並列表示する必要があるが、従来技術では、２つの回路図を並列表示させる形態が上下または左右で固定されており、固定された並列表示形態を上下から左右、または左右から上下に変えるためには、比較したい２つの回路図を２枚のウインドウで開き、手動で並べるしかなかった。また、回路図を並列表示させる形態を固定しているということは、回路図の形状やデバック対象範囲によっては表示範囲が狭く、頻繁に画面スクロールしなければならない等操作性上の問題があった。
【０００６】
また、不一致が発生した場合には、設計者はモジュール名、インスタンス名などを手がかりにして不一致の原因箇所を特定しようとするが、大規模回路の場合には、インスタンス数が膨大なものとなってしまうので、膨大な作業労力を要するという問題がある。
【０００７】
さらに、不一致が発生した場合に、設計者は回路構造の似通った箇所を調査対象から省いていき、調査範囲を小さく絞り込むことによって不一致の原因となった箇所を特定するが、大規模回路の場合には、インスタンス数が膨大になったしまうために絞り込み作業に時間を要してしまい、場合によっては絞り込みができない事態を招くおそれもある。
【０００８】
また、回路構造が似通っている２つの回路で論理不一致が発生した場合、設計者は目視により不一致の原因となる箇所を特定しようとするが、まったく回路構造が異なる回路間では不一致の原因を特定するのが困難であり、デバック効率が悪いという問題もある。
【０００９】
さらに、流用設計や分割設計などにおいて論理不一致が発生した場合には、設計者は既に検証済みで等価と判定されている箇所を除外し、それ以外の部分で不一致となる原因があるかどうか確認することとなるが、この不一致原因に関係ないと思われる箇所の除外は目視で判断されるため、一致している箇所を見逃してしまう可能性や、誤って一致とみなしてしまう可能性がある。
【００１０】
また、並列表示した２つの回路図の表示をコマンド（スクロールバー、画面フィット、ズームイン、ズームアウトなど）で制御する場合に、設計者は、２つの回路図に対して同じ操作を繰り返さねばならずデバック効率が悪いという問題もある。
【００１１】
このため、複数の回路図を並列表示する場合に、２つの回路図をその特性に応じていかにして効率良く並列表示するか、いかにして回路の対応箇所を顕在化させるか、いかにして設計者の労力を低減するか、が極めて重要な課題となっている。なお、かかる課題は、論理回路のみならずアナログ回路などについても同様に派生する課題である。
【００１２】
この発明は、上述した従来技術による問題点を解消するためになされたものであり、複数の回路図をその特性に応じて同じ表示画面に効率良く並列表示するとともに、回路の対応箇所を顕在化させ、設計者の労力を低減することができる回路図表示装置、回路図表示方法および回路図表示プログラムを提供することを目的とする。
【課題を解決するための手段】
【００１３】
上述した課題を解決して目的を達成するため、請求項１の発明に係る回路図表示装置は、複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置であって、前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替手段と、前記表示態様切替手段により前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御手段とを備えたことを特徴とする。
【００１４】
この請求項１の発明によれば、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御することとしたので、一つの画面上で上下分割のほかに左右分割して２つの回路図を並列表示できるだけでなく、一回の操作で上下分割や左右分割した並列表示に自在に変えることが可能となる。
【００１５】
また、請求項２の発明に係る回路図表示装置は、請求項１の発明において、前記表示態様切替手段は、各回路図の全体を前記回路領域として表示対象とする場合に、各回路図の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別する判別手段を備え、前記判別手段による判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えることを特徴とする。
【００１６】
この請求項２の発明によれば、各回路図の全体を回路領域として表示対象とする場合に、各回路図の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別し、この判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えることとしたので、回路図の形状に適合する表示態様で回路図を表示することができる。
【００１７】
また、請求項３の発明に係る回路図表示装置は、複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置であって、前記複数の回路図に出現した同一の素子または部分回路を対応づける対応付け手段と、複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、前記対応付け手段により当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御する連動制御手段とを備えたことを特徴とする。
【００１８】
この請求項３の発明によれば、複数の回路図に出現した同一の素子または部分回路を対応づけ、複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御することとしたので、設計者が複数の回路図を別々に操作しなくても、一つの回路図を操作するだけで関連する他の回路図も連動制御される。
【００１９】
また、請求項４の発明に係る回路図表示プログラムは、複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示プログラムであって、前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替ステップと、
前記表示態様切替ステップにより前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御ステップとをコンピュータに実行させることを特徴とする。
【００２０】
この請求項４の発明によれば、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御することとしたので、一つの画面上で上下分割のほかに左右分割して２つの回路図を並列表示できるだけでなく、一回の操作で上下分割や左右分割した並列表示に自在に変えることが可能となる。
【００２１】
また、請求項５の発明に係る回路図表示方法は、複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示方法であって、前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替工程と、前記表示態様切替工程により前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御工程とを含んだことを特徴とする。
【００２２】
この請求項５の発明によれば、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御することとしたので、一つの画面上で上下分割のほかに左右分割して２つの回路図を並列表示できるだけでなく、一回の操作で上下分割や左右分割した並列表示に自在に変えることが可能となる。
【発明の効果】
【００２３】
請求項１の発明によれば、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御するよう構成したので、一つの画面上で上下分割のほかに左右分割して２つの回路図を並列表示できるだけでなく、一回の操作で上下分割や左右分割した並列表示に自在に変えることが可能となる。これにより、２つの回路図の形状やデバック対象範囲に合わせた分割表示の切り替えが一回の操作でおこなうことができ、操作性が向上する。特に、着目点を保持することとしたので、切替前と切替後で設計者の思考が中断されることがなくなり、デバック効率についても向上するという効果を奏する。
【００２４】
また、請求項２の発明によれば、各回路図の全体を回路領域として表示対象とする場合に、各回路図の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別し、この判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えるよう構成したので、回路図の形状に適合する表示態様で回路図を表示することができる。一旦いずれかで分割表示させてから、回路図の形状に応じて分割方向を切り替える必要がなくなるため、操作性が向上するという効果を奏する。
【００２５】
また、請求項３の発明によれば、複数の回路図に出現した同一の素子または部分回路を対応づけ、複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御するよう構成したので、設計者が複数の回路図を別々に操作しなくても、一つの回路図を操作するだけで関連する他の回路図も連動制御されるという効果を奏する。
【００２６】
また、請求項４の発明によれば、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御するよう構成したので、一つの画面上で上下分割のほかに左右分割して２つの回路図を並列表示できるだけでなく、一回の操作で上下分割や左右分割した並列表示に自在に変えることが可能となるという効果を奏する。
【００２７】
また、請求項５の発明によれば、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御するよう構成したので、一つの画面上で上下分割のほかに左右分割して２つの回路図を並列表示できるだけでなく、一回の操作で上下分割や左右分割した並列表示に自在に変えることが可能となるという効果を奏する。
【発明を実施するための最良の形態】
【００２８】
以下に添付図面を参照して、この発明に係る回路図表示装置の好適な実施の形態を詳細に説明する。以下の５つの実施例について説明する。
（１）実施例１は、回路図表示装置が論理回路の識別情報に基づいて対応付けられた複数    の論理回路を並列表示する場合について説明する。
（２）実施例２は、回路図表示装置が論理回路の構造情報に基づいて対応付けられた複数    の論理回路を並列表示する場合について説明する。
（３）実施例３は、回路図表示装置が論理回路の論理等価性情報に基づいて対応付けられ    た複数の論理回路を並列表示する場合について説明する。
（４）実施例４は、回路図表示装置が論理回路の外部指定情報に基づいて対応付けられた    複数の論理回路を並列表示する場合について説明する。
（５）実施例５は、回路図表示装置が論理回路に関する識別情報、構造情報、論理等価性    情報および外部指定情報に基づいて対応付けられた複数の論理回路を並列表示する場    合について説明する。
【実施例１】
【００２９】
本実施例１では、回路図表示装置が論理回路の識別情報に基づいて対応付けられた複数の論理回路を並列表示する場合について説明する。ここでは、（１−１）回路図表示装置の概要と主要な特徴、（１−２）回路図表示装置の構成、（１−３）回路図の並列表示および表示切替、（１−４）回路図の連動／非連動表示、（１−５）回路図表示手順の順番に説明する。
【００３０】
（１−１）回路図表示装置の概要と主要な特徴
まず、図１を参照して、回路図表示装置の概要と主要な特徴について説明する。図１は、実施例１に係る回路図表示装置１０の構成を示す機能ブロック図である。本発明の回路図表示装置１０は、複数の回路図を表示する装置であり、従来技術のような上下分割表示だけではなく左右分割表示もできるよう構成されている。具体的には、表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えることになる。この際、切替前の回路領域に含まれる着目点（中心点など）と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する。かかる表示制御をおこなう理由は、２つの回路図の形状やデバック対象範囲に合わせた分割表示の切り替えが一回の操作でおこない、操作性を高めるためである。また、着目点を保持することとしたのは、切替前と切替後で設計者の思考中断をなくし、デバック効率を高めるためである。
【００３１】
また、各回路図の全体を回路領域として表示対象とする場合に、各回路図の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別し、その判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える。かかる表示制御をおこなう理由は、回路図の形状に適合する表示態様で回路図を表示し、もって操作性などを高めるためである。
【００３２】
さらに、ユーザにより指定された各回路図の一部をなす矩形領域を回路領域として表示対象とする場合に、各矩形領域の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別し、その判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える。かかる表示制御をおこなう理由は、回路図の一部をユーザが矩形領域として指定する場合であっても、その矩形領域に適合した表示をおこない、もって操作性などを高めるためである。
【００３３】
これらの表示制御を通じて、複数の論理回路の論理等価性検証において比較する論理回路の対応する箇所を効率よく表示し、もって設計者によるデバック効率を高めることとしている。
【００３４】
また、複数の回路図は、複数の論理回路の回路図であり、論理回路対応部１４０ｄは、論理回路に関する識別情報、構造情報、論理等価性情報、外部指定情報の少なくともいずれか一つに基づいて複数の論理回路を対応付け、並列表示部１４０ｃは、複数の論理回路の回路図を並べて表示し、表示制御部１４０ｂは、回路図に関する表示領域、表示領域の中心点、表示要求の少なくともいずれか一つに基づいて論理回路対応部１４０ｄによって対応付けられた複数の論理回路の回路図を並列表示部１４０ｃによって並べて表示するよう制御することとしたので、複数の論理回路の論理等価性検証において比較する論理回路の対応する箇所を効率よく表示できる。
【００３５】
（１−２）回路図表示装置の構成
次に、図１を参照して、本実施例１に係る回路図表示装置１０の構成について説明する。同図に示すように、回路図表示装置１０は、複数の論理回路を画像表示するパーソナルコンピュータであり、入力部１１０、表示部１２０、記憶部１３０、制御部１４０を有する。
【００３６】
入力部１１０は、ユーザの要求、指示、またはデータを入力する入力装置であり、キーボード、マウスなどである。また、表示部１２０は、複数の論理回路を表示する回路図表示装置であり、ＬＣＤ（Ｌｉｑｕｉｄ  Ｃｒｙｓｔａｌ  Ｄｉｓｐｌａｙ）などである。
【００３７】
記憶部１３０は、ＩＣ（Ｉｎｔｅｇｒａｔｅｄ  Ｃｉｒｃｕｉｔ）メモリ、ＨＤＤ（Ｈａｒｄ  Ｄｉｓｋ  Ｄｒｉｖｅ）などの記憶装置であり、Ｓｐｅｃ論理回路データベース記憶部１３０ａ、Ｉｍｐｌ論理回路データベース記憶部１３０ｂ、回路図表示データベース記憶部１３０ｃ、Ｓｐｅｃ識別情報記憶部１３０ｄ、Ｉｍｐｌ識別情報記憶部１３０ｅを有する。
【００３８】
Ｓｐｅｃ論理回路データベース記憶部１３０ａは、Ｓｐｅｃ論理回路データベースを記憶する記憶部である。また、Ｉｍｐｌ論理回路データベース記憶部１３０ｂは、Ｉｍｐｌ論理回路データベースを記憶する記憶部である。なお、Ｓｐｅｃ論理回路データベースとは、ＬＳＩなどの論理回路のレイアウト設計において所定の機能を達成するためのＳｐｅｃと呼ばれる論理回路データである。一方、Ｉｍｐｌ論理回路データベースとは、ゲート数や遅延時間等に関する様々な制約条件に対応するためにＳｐｅｃ論理回路の機能を変えずに構成を修正したＩｍｐｌ（Ｉｍｐｌｅｍｅｎｔａｔｉｏｎ）と呼ばれる論理回路データである。Ｉｍｐｌ論理回路は、Ｓｐｅｃ論理回路の所定の機能と等価であることが必要とされる。したがって、Ｉｍｐｌ論理回路とＳｐｅｃ論理回路の論理等価性を検証するために論理等価性検証が行われる。本実施例１の回路図表示装置１０は、論理等価性検証において用いられる装置である。
【００３９】
回路図表示データベース記憶部１３０ｃは、Ｓｐｅｃ論理回路データベースおよびＩｍｐｌ論理回路データベースと、論理回路図を作成するための論理回路のシンボル、シンボルのワールド座標系の位置座標、サイズなどとを対応付けた回路図表示データベースを記憶する記憶部である。なお、ワールド座標系については、別途詳細に説明する。
【００４０】
Ｓｐｅｃ識別情報記憶部１３０ｄは、Ｓｐｅｃ論理回路データベースの論理回路と論理回路の識別情報を対応付けるＳｐｅｃ識別情報を記憶する記憶部である。また、Ｓｐｅｃ論理回路データは、ＨＤＬ（Ｈａｒｄｗａｒｅ  Ｄｉｓｃｒｉｐｔｉｏｎ  Ｌａｎｇｕａｇｅ）で記述された論理回路データであるので、論理回路の識別情報は、モジュール名、インスタンス名、ポート名である。なお、モジュールとは、論理回路の設計の単位であり、例えば、論理和回路、論理積回路などである。また、インスタンスとは、ＨＤＬで記述された論理回路データのなかでモジュールを引用する引用名である。また、ポートとは、論理回路の入出力端子である。
【００４１】
Ｉｍｐｌ識別情報記憶部１３０ｅは、Ｉｍｐｌ論理回路データベースの論理回路と論理回路の識別情報を対応付けるＩｍｐｌ識別情報を記憶する記憶部である。また、Ｉｍｐｌ論理回路の識別情報は、Ｓｐｅｃ論理回路の識別情報と同様にモジュール名、インスタンス名、ポート名である。
【００４２】
ここで、図２−１および図２−２を参照して、図１に示すＳｐｅｃ識別情報記憶部１３０ｄおよびＩｍｐｌ識別情報記憶部１３０ｅに記憶されている論理回路の識別情報の一例について説明する。図２−１および図２−２は、図１に示すＳｐｅｃ識別情報記憶部１３０ｄおよびＩｍｐｌ識別情報記憶部１３０ｅに記憶されているモジュールおよびポートの識別情報の一例を示す図である。なお、論理回路の識別情報は、モジュールの識別情報とポートの識別情報からなる。また、モジュールおよびポートの識別情報は、Ｓｐｅｃ論理回路データベースおよびＩｍｐｌ論理回路データベースのそれぞれについてあり、両者は、論理回路の一部を除き共通なので図２−１および図２−２で一括して説明する。
【００４３】
図２−１に示すように、モジュールについては、インスタンス名とモジュール名が対応付けられており、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路にそれぞれ同一のインスタンス名、モジュール名が一つ存在し、一意に判定できる場合、両モジュールは対応していると判定する。
【００４４】
図２−２に示すように、ポートについては、同じ名前が複数存在する可能性が高いので、ポート名、そのポートが属するインスタンス名、モジュール名が対応付けられており、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路にそれぞれ同一のポート名、インスタンス名、モジュール名が一つ存在し、一意に判定できる場合、両ポートは対応していると判定する。
【００４５】
図１の説明に戻ると、制御部１４０は、回路図表示装置１０の全体を制御する制御部であり、表示要求受付部１４０ａ、表示制御部１４０ｂ、並列表示部１４０ｃ、論理回路対応部１４０ｄを有する。表示要求受付部１４０ａは、ユーザの表示要求を受付ける受付部であり、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の回路図の表示方向を切替える表示要求を受付ける。
【００４６】
表示制御部１４０ｂは、回路図に関する表示領域、表示領域の中心点、表示要求の少なくともいずれか一つに基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路の回路図を並べて表示するよう制御する制御部である。また、表示制御部１４０ｂは、表示要求に応じてＳｐｅｃ論理回路とＩｍｐｌ論理回路の回路図を連動させて表示するよう制御する。また、表示制御部１４０ｂは、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の論理回路の回路図に関する表示領域の中心点が画像の中心点になるように表示するよう制御する。また、表示制御部１４０ｂは、表示要求に応じてＳｐｅｃ論理回路とＩｍｐｌ論理回路の回路図の表示方向を切替えて表示するよう制御する。
【００４７】
並列表示部１４０ｃは、論理回路対応部１４０ｄによって対応付けられたＳｐｅｃ論理回路とＩｍｐｌ論理回路の回路図を並べて表示部１２０に表示する制御部である。ここで、図３を参照して、図１に示す並列表示部１４０ｃが論理回路データベースと回路図表示データベースに基づいて回路図を並列表示する一例について説明する。図３は、図１に示す並列表示部１４０ｃが論理回路データベースと回路図表示データベースに基づいて回路図を並列表示する一例を示す図である。並列表示部１４０ｃは、Ｓｐｅｃ論理回路データベースおよびＩｍｐｌ論理回路データベースに基づいて論理回路のシンボルを作成し、作成したシンボルとシンボルのワールド座標系の位置座標、サイズを対応付けた回路図表示データベースを回路図表示データベース記憶部１３０ｃに記憶する。また、並列表示部１４０ｃは、回路図表示データをワールド座標系からスクリーン座標系に座標変換して、表示部１２０の表示画面にＳｐｅｃ論理回路およびＩｍｐｌ論理回路を並列表示する。なお、ワールド座標系およびスクリーン座標系については別途詳細に説明する。
【００４８】
図１の説明に戻ると、論理回路対応部１４０ｄは、論理回路に関する識別情報、構造情報、論理等価性情報、外部指定情報の少なくともいずれか一つに基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付ける対応部である。また、論理回路対応部１４０ｄは、識別情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付ける。
【００４９】
ここで、図４を参照して、図１に示す回路図表示装置１０が識別情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例について説明する。図４は、図１に示す回路図表示装置１０が識別情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【００５０】
同図に示すように、ユーザがＳｐｅｃ論理回路の表示画面から論理回路ａｎｄ＿１を入力部１１０、例えば、マウスでクリックして指定すると、表示制御部１４０ｂは、図１に示すＩｍｐｌ識別情報記憶部１３０ｅから対応するインスタンス名ａｎｄ＿１を選択し、強調表示するよう並列表示部１４０ｃを制御する。
【００５１】
（１−３）回路図の並列表示および表示切替
次に、図５〜図９を参照して、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路を画像表示する一例について説明する。図５は、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路をワールド座標系からスクリーン座標系へ変換し、画像表示する一例を示す図である。また、図６は、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路を上下方向に並べて画像表示する一例を示す図である。また、図７は、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路を左右方向に並べて画像表示する一例を示す図である。
【００５２】
図８は、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路を上下方向から左右方向に切替えて、並べて画像表示する一例を示す図である。また、図９は、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路を左右方向から上下方向に切替えて、並べて画像表示する一例を示す図である。これ以降、これらの図について順次説明する。
【００５３】
まず、図５に示すように、ユーザは、表示部１２０の画面に論理回路図を表示する場合、入力部１１０から論理回路の表示領域を指示する。具体的には、ユーザは、表示したいインスタンス名をキーボードから入力する。または、ユーザは、インスタンスの階層構造を示す階層ツリーを表示部１２０に表示させて、階層ツリーから表示したいインスタンスをマウスでクリックする。または、ユーザは、Ｓｐｅｃ論理回路図またはＩｍｐｌ論理回路図を表示部１２０に表示し、表示したＳｐｅｃ論理回路図またはＩｍｐｌ論理回路図から表示したいインスタンスをクリックする、もしくは、表示領域を指定する。
【００５４】
入力部１１０から論理回路の表示領域が指示されると、並列表示部１４０ｃは、指定された表示領域に含まれる回路図表示データベースから論理回路のシンボルを求める。そして、並列表示部１４０ｃは、論理回路のシンボルのワールド座標系の位置座標、サイズに基づいてウィンドウからビューポートへ変換し、スクリーン座標系での位置座標およびサイズを求める。さらに、並列表示部１４０ｃは、スクリーン座標系に変換されたシンボルの位置座標およびサイズに基づいて表示部１２０の画面上に論理回路を画像表示する。
【００５５】
ここで、ワールド座標系とスクリーン座標系について説明する。ワールド座標系（Ｗｘ、Ｗｙ）は、論理回路のシンボル間の相対的な位置、サイズの情報を保存するために使用する。一方、スクリーン座標系（Ｖｘ，Ｖｙ）は、実際に画面に表示するシンボルの位置座標、サイズを求めるために使用する。ユーザによって指定された表示領域であるウィンドウと、表示部１２０の表示画面であるビューポートとの変換を行い、表示部１２０の表示画面に論理回路を画像表示する。したがって、ユーザは、スクリーン座標系に画像表示された論理回路を見る。
【００５６】
例えば、表示要求受付部１４０ａが論理回路の全体を表示するとの要求を受付けた場合は、表示制御部１４０ｂは、ワールド座標系の縦幅Ｙｗ１、横幅Ｘｗ１を計算し、横幅が縦幅より長ければ、図６に示すように上下方向に並べて画像表示する。また、縦幅が横幅より長ければ、図７に示すように左右方向に並べて画像表示する。
【００５７】
また、表示要求受付部１４０ａが論理回路の全体を上下方向から左右方向へ、または左右方向から上下方向へ画像表示を切替えるとの要求を受け付けた場合は、表示制御部１４０ｂは、論理回路の全体を図８に示すように上下方向から左右方向へ、または図９に示すように左右方向から上下方向へ画像表示を自動的に切替える。
【００５８】
このように、表示制御部１４０ｂは、表示部１２０の画面に複数の論理回路を並列に画像表示させることができるだけではなく、上下方向から左右方向へ、または左右方向から上下方向へ画像表示を切替えさせることとしたので、回路図表示装置１０は、論理回路の形状や表示領域に合わせた画像表示の切り替えが１回の操作で可能になり、操作性が大幅に向上する。
【００５９】
また、表示要求受付部１４０ａがユーザから上下方向から左右方向へ、または左右方向から上下方向へ画像表示を切替えるとの要求を受付けた場合は、表示制御部１４０ｂは、並列表示部１４０ｃに切り替え前のビューポートの中心点を切替え後もビューポートの中心点に来るように補正させる。
【００６０】
具体的には、並列表示部１４０ｃは、画像表示の切替え前に、ウィンドウの中心点の座標値（Ｘｗｃ、Ｙｗｃ）を記憶する。そして、画像表示の切替え後に、表示部１２０の表示画面のサイズからビューポートのサイズ（Ｘｖ、Ｙｖ）を決める。さらに、並列表示部１４０ｃは、ウィンドウの中心点（Ｘｗｃ、Ｙｗｃ）を変更せずに、ビューポートのサイズと、ワールド座標系からスクリーン座標系への変換倍率ｆに基づいて、ウィンドウのサイズ（Ｘｗ２、Ｙｗ２）を修正する。そして、サイズを修正した後のウィンドウに合わせてビューポートの表示を修正する。
【００６１】
このように、表示制御部１４０ｂは、並列表示部１４０ｃに切り替え前のビューポートの中心点を切替え後のビューポートの中心点に来るように補正させることとしたので、回路図表示装置１０は、画像表示を切替える場合にそれまで着目していた部分の画面上での表示位置がずれて解析が中断されることがなくなり、大幅に操作性が向上する。
【００６２】
また、表示要求受付部１４０ａがユーザから矩形の表示領域を画像表示するとの要求を受付けた場合は、表示制御部１４０ｂは、ユーザから指定された矩形の表示領域の横幅が縦幅より長ければ、図６に示すように上下方向に並列に画像表示する。また、表示制御部１４０ｂは、縦幅が横幅より長ければ、図７に示すように左右方向に並列に画像表示する。
【００６３】
このように、表示制御部１４０ｂは、ユーザから指定された矩形の表示領域の縦横比を判別して、上下方向と左右方向を自動的に切替えて、並列表示部１４０ｃに並列に画像表示させることとしたので、回路図表示装置１０は、一旦いずれかの方向へ並列に画像表示させてから、指定された矩形の表示領域によって上下もしくは左右の方向に手動で切替えて、画像表示する必要がなくなり、操作性が向上する。
【００６４】
（１−４）回路図の連動／非連動表示
表示制御部１４０ｂは、表示要求受付部１４０ａがユーザから受付けた表示画面の連動／非連動、スクロール、表示領域の拡大／縮小、回路図表示のリセット、回路図のズームインおよびズームアウトなどの表示要求を受付けて、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路を並列表示させることができる。ここで、図１０を参照して、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路の表示領域を連動して拡大し、並列に画像表示する一例について説明する。図１０は、図１に示す表示制御部１４０ｂがＳｐｅｃ論理回路とＩｍｐｌ論理回路の表示領域を連動して拡大し、並列に画像表示する一例を示す図である。
【００６５】
同図に示すように、表示制御部１４０ｂは、表示要求受付部１４０ａがユーザから連動要求および表示領域の拡大要求を受付けて、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路を連動および拡大して表示するよう並列表示部１４０ｃを制御する。そして、並列表示部１４０ｃは、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の表示領域を連動して拡大し、表示部１２０に並列表示する。
【００６６】
（１−５）回路図表示手順
次に、図１１を参照して、図１に示す回路図表示装置１０の回路図表示手順について説明する。図１１は、図１に示す回路図表示装置１０の回路図表示手順を示すフローチャートである。本手順は、表示部１２０に並列表示されているＳｐｅｃ論理回路からユーザによって論理回路が選択された場合に実施される。
【００６７】
同図に示すように、まず、（Ｓｐｅｃ論理回路）表示部１２０は、ユーザから論理回路の選択があるまで待つ（ステップＳ１１０１）。例えば、ユーザは、画面上のＳｐｅｃ論理回路図の論理回路をマウスでクリックすることによって選択する。
【００６８】
そして、ユーザから論理回路の選択があった場合は（ステップＳ１１０１肯定）、表示部１２０は、表示制御部１４０ｂにＳｐｅｃ論理回路図の論理回路が選択された旨通知する（ステップＳ１１０２）。すると、表示制御部１４０ｂは、ユーザによって選択された論理回路を強調表示する（ステップＳ１１０３）。さらに、論理回路対応部１４０ｄは、識別情報に基づいて選択された論理回路に対応するＩｍｐｌ論理回路図の論理回路を検索し（ステップＳ１１０４）、表示制御部１４０ｂは、Ｉｍｐｌ論理回路図の対応する論理回路を強調表示する（ステップＳ１１０５）。具体的には、表示制御部１４０ｂは、対応する論理回路を表示する色を変更するなどして強調表示する。
【００６９】
このように、論理回路対応部１４０ｄは、識別情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付けることとしたので、回路図表示装置１０は、比較する論理回路の対応する箇所を効率よく表示できる。
【００７０】
上述してきたように、本実施例１では、論理回路対応部１４０ｄは、Ｓｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路に関する識別情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付け、並列表示部１４０ｃは、Ｓｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路の回路図を並べて表示し、表示制御部１４０ｂは、回路図に関する表示領域、表示領域の中心点、表示要求の少なくともいずれか一つに基づいて論理回路対応部１４０ｄによって対応付けられたＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路の回路図を並列表示部１４０ｃによって並べて表示するよう制御することとしたので、回路図表示装置１０は、比較する論理回路の対応する箇所を効率よく表示できる。
【００７１】
また、論理回路対応部１４０ｄは、識別情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付けることとしたので、回路図表示装置１０は、比較する論理回路の対応する箇所を効率よく表示できる。なお、本実施例１では、ユーザによりＳｐｅｃ論理回路を選択する場合について説明したが、本発明はこれに限定されるものではなく、ユーザによりＩｍｐｌ論理回路を選択する場合に適用することができる。また、これ以降の実施例２〜５についても同様である。
【実施例２】
【００７２】
実施例２は、回路図表示装置が論理回路の構造情報に基づいて対応付けられた複数の論理回路を並列表示する場合について説明する。ここでは、（２−１）論理回路の構造情報、（２−２）回路図表示手順の順番で説明する。また、実施例１と共通の内容については説明を省略し、相違する内容について説明する。
【００７３】
（２−１）論理回路の構造情報
まず、図１２を参照して、実施例２に係る回路図表示装置１０ａの構成について説明する。図１２は、実施例２に係る回路図表示装置１０ａの構成を示す機能ブロック図である。実施例１の機能ブロック図との相違は、Ｓｐｅｃ構造情報記憶部１３０ｆとＩｍｐｌ構造情報記憶部１３０ｇであるので、これらについて説明する。
【００７４】
Ｓｐｅｃ構造情報記憶部１３０ｆは、Ｓｐｅｃ論理回路の構造情報を記憶する記憶部である。また、Ｉｍｐｌ構造情報記憶部１３０ｇは、Ｉｍｐｌ論理回路の構造情報を記憶する記憶部である。論理回路の構造情報とは、論理回路の回路構造を特定する情報であり、ネット情報とポート情報からなる。
【００７５】
ここで、図１３−１および図１３−２を参照して、図１２に示すＳｐｅｃ構造情報記憶部１３０ｆに記憶されているＳｐｅｃ構造情報について説明する。図１３−１は、図１２に示すＳｐｅｃ構造情報記憶部１３０ｆに記憶されているＳｐｅｃ論理回路のネット情報を示す図である。また、図１３−２は、図１２に示すＳｐｅｃ構造情報記憶部１３０ｆに記憶されているＳｐｅｃ論理回路のポート情報を示す図である。ネット情報は、ネットとネットに接続されているポートに関するリストおよびポインタとが対応付けられている。また、ポート情報は、ポートとインスタンス、ポートの入出力属性、ポートが接続されたネットに関するリストおよびポインタとが対応付けられている。
【００７６】
ここで、図１４を参照して、図１３−１および図１３−２に示すネット情報とポート情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例について説明する。図１４は、図１３−１および図１３−２に示すネット情報とポート情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【００７７】
例えば、図１４のＳｐｅｃ論理回路に示すポートｐｒｔ＿１３は、図１３−２に示すようにインスタンスａｎｄ＿１の出力端子ｏｕｔｐｕｔであり、ネットｎｅｔ＿６、ｎｅｔ＿７に接続されていることが分かる。また、図１３−１のネットｎｅｔ＿６のポインタをアクセスすると、ネットｎｅｔ＿６のポートリストからポートｐｒｔ＿１３がインスタンスａｎｄ＿２のポートｐｒｔ＿２３、ｐｒｔ＿２４と接続されていることが分かる。また、インスタンスａｎｄ＿２は、３つの入力端子ｉｎｐｕｔ＿１、ｉｎｐｕｔ＿２、ｉｎｐｕｔ＿３と１つの出力端子ｏｕｔｐｕｔを有することが分かる。このことは、図１４のＳｐｅｃ論理回路を参照すればさらに容易に分かる。
【００７８】
一方、このようなネット情報とポート情報がＩｍｐｌ論理回路についてもあり、これらの情報からＩｍｐｌ論理回路のインスタンスａｎｄ＿１のポートｐｒｔ＿１３に接続し、３つの入力端子と一つの出力端子を有するインスタンスａｎｄ＿３が、Ｓｐｅｃ論理回路のインスタンスａｎｄ＿２に対応することが分かる。同様に、Ｉｍｐｌ論理回路のインスタンスａｎｄ＿２がＳｐｅｃ論理回路のインスタンスａｎｄ＿３にそれぞれ対応することが分かる。このことは、図１４のＩｍｐｌ論理回路を参照すればさらに容易に分かる。このようにして、Ｓｐｅｃ論理回路の論理回路とＩｍｐｌ論理回路の論理回路がネット情報とポート情報に基づいて一対一に対応付けられる。
【００７９】
（２−２）回路図表示手順
次に、図１５を参照して、図１２に示す回路図表示装置１０ａの回路図表示手順について説明する。図１５は、図１２に示す回路図表示装置１０ａの回路図表示手順を示すフローチャートである。本手順は、表示部１２０に並列表示されているＳｐｅｃ論理回路からユーザによって論理回路が選択された場合に実施される。
【００８０】
同図に示すように、まず、（Ｓｐｅｃ論理回路）表示部１２０は、ユーザから論理回路の選択があるまで待つ（ステップＳ１５０１）。例えば、ユーザは、画面上のＳｐｅｃ論理回路図の論理回路をマウスでクリックすることによって選択する。
【００８１】
そして、ユーザから論理回路の選択があった場合は（ステップＳ１５０１肯定）、表示部１２０は、表示制御部１４０ｂにＳｐｅｃ論理回路図の論理回路が選択された旨通知する（ステップＳ１５０２）。すると、表示制御部１４０ｂは、ユーザによって選択された論理回路を強調表示する（ステップＳ１５０３）。具体的には、表示制御部１４０ｂは、対応する論理回路を表示する色を変更するなどして強調表示する。さらに、論理回路対応部１４０ｄは、Ｓｐｅｃ構造情報、Ｉｍｐｌ構造情報に基づいて選択された論理回路に対応するＩｍｐｌ論理回路図の論理回路を検索し（ステップＳ１５０４）、表示制御部１４０ｂは、Ｉｍｐｌ論理回路図の対応する論理回路を強調表示する（ステップＳ１５０５）。
【００８２】
上述してきたように、本実施例２では、論理回路対応部１４０ｄは、構造情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付けることとしたので、回路図表示装置１０ａは、比較する論理回路の対応する箇所を効率よく表示できる。
【実施例３】
【００８３】
実施例３は、回路図表示装置が論理回路の論理等価性情報に基づいて対応付けられた複数の論理回路を並列に表示する場合について説明する。ここでは、（３−１）論理回路の論理等価性情報、（３−２）回路図表示手順の順番で説明する。また、実施例１と共通の内容については説明を省略し、相違する内容について説明する。
【００８４】
（３−１）論理回路の論理等価性情報
まず、図１６を参照して、実施例３に係る回路図表示装置１０ｂの構成について説明する。図１６は、実施例３に係る回路図表示装置１０ａの構成を示す機能ブロック図である。実施例１の機能ブロック図との相違は、論理等価性情報記憶部１３０ｈ、論理等価性検証部１４０ｅであるので、これについて説明する。
【００８５】
論理等価性情報記憶部１３０ｈは、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の論理等価性を対応付ける論理等価性情報を記憶する記憶部である。また、論理等価性検証部１４０ｅは、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の論理等価性を検証する検証部であり、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の対応する外部出力端子、記憶素子端子、階層化されたインスタンスの入出力端子、外部から指定された端子の信号値を決定する論理が同じか否かを比較する。
【００８６】
ここで、図１７を参照して、図１に示す論理等価性情報記憶部１３０ｈに記憶された論理等価性情報について説明する。図１７は、図１に示す論理等価性情報記憶部１３０ｈに記憶された論理等価性情報を示す図である。また、論理等価性情報記憶部１３０ｈは、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の対応するポートと、ポートの論理等価性検証結果を対応付ける。したがって、論理等価性検証結果が一致の場合は、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の対応するポートは、論理的に等価であり、論理等価性検証結果が不一致の場合は、Ｓｐｅｃ論理回路とＩｍｐｌ論理回路の対応するポートは、論理的に等価でない。
【００８７】
さらに、図１８を参照して、図１６に示す論理等価性情報記憶部１３０ｈに記憶された論理等価性情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例について説明する。図１８は、図１６に示す論理等価性情報記憶部１３０ｈに記憶された論理等価性情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。同図に示すように、Ｓｐｅｃ論理回路のインスタンスａｎｄ＿１のポートｐｒｔ＿１１、ｐｒｔ＿１２は入力端子であり、Ｉｍｐｌ論理回路のポートｐｒｔ＿１１、ｐｒｔ＿１２と対応している。一方、Ｓｐｅｃ論理回路のインスタンスａｎｄ＿１のポートｐｒｔ＿１３に対応するＩｍｐｌ論理回路のポートは、図１７からｐｒｔ＿３３であり、論理等価性検証結果は、一致である。したがって、Ｓｐｅｃ論理回路のインスタンスａｎｄ＿１は、Ｉｍｐｌ論理回路のインスタンスｎｏｔ＿１、ｎｏｔ＿２、ｎａｎｄ＿３と対応することが分かる。
【００８８】
（３−２）回路図表示手順
次に、図１９を参照して、図１６に示す回路図表示装置１０ｂの回路図表示手順について説明する。図１９は、図１６に示す回路図表示装置１０ｂの回路図表示手順を示すフローチャートである。本手順は、表示部１２０に並列表示されているＳｐｅｃ論理回路からユーザによって論理回路が選択された場合に実施される。
【００８９】
同図に示すように、まず、（Ｓｐｅｃ論理回路）表示部１２０は、ユーザから論理回路の選択があるまで待つ（ステップＳ１９０１）。例えば、ユーザは、画面上のＳｐｅｃ論理回路図の論理回路をマウスでクリックすることによって選択する。
【００９０】
そして、ユーザから論理回路の選択があった場合は（ステップＳ１９０１肯定）、表示部１２０は、表示制御部１４０ｂにＳｐｅｃ論理回路図の論理回路が選択された旨通知する（ステップＳ１９０２）。すると、表示制御部１４０ｂは、ユーザによって選択された論理回路を強調表示する（ステップＳ１９０３）。具体的には、表示制御部１４０ｂは、対応する論理回路を表示する色を変更するなどして強調表示する。さらに、論理回路対応部１４０ｄは、論理等価性情報に基づいて選択された論理回路に対応するＩｍｐｌ論理回路図の論理回路を検索し（ステップＳ１９０４）、表示制御部１４０ｂは、Ｉｍｐｌ論理回路図の対応する論理回路を強調表示する（ステップＳ１９０５）。
【００９１】
このように、論理回路対応部１４０ｄは、論理等価性情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付けることとしたので、回路図表示装置１０ｂは、比較する論理回路の対応する箇所を効率よく表示できる。
【００９２】
上述してきたように、本実施例３では、論理回路対応部１４０ｄは、論理等価性情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付けることとしたので、回路図表示装置１０ｂは、比較する論理回路の対応する箇所を効率よく表示できる。
【実施例４】
【００９３】
実施例４は、回路図表示装置が論理回路の外部指定情報に基づいて対応付けられた複数の論理回路を並列表示する場合について説明する。ここでは、（４−１）論理回路の外部指定情報、（４−２）外部指定情報の外部指定手順、（４−３）回路図表示手順の順番で説明する。また、実施例１と共通の内容については説明を省略し、相違する内容について説明する。
【００９４】
（４−１）論理回路の外部指定情報
まず、図２０を参照して、実施例４に係る回路図表示装置１０ｃの構成について説明する。図２０は、実施例４に係る回路図表示装置１０ｃの構成を示す機能ブロック図である。実施例１の機能ブロック図との相違は、外部指定情報記憶部１３０ｉであるので、これについて説明する。
【００９５】
外部指定情報記憶部１３０ｉは、ユーザにより指定されたＳｐｅｃ論理回路およびＩｍｐｌ論理回路の対応するインスタンス、ポートの情報を記憶する記憶部である。ここで、図２１を参照して、図２０に示す外部指定情報記憶部１３０ｉに記憶された外部指定情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例について説明する。図２１は、図２０に示す外部指定情報記憶部１３０ｉに記憶された外部指定情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【００９６】
同図に示すように、Ｓｐｅｃ論理回路図とＩｍｐｌ論理回路図にブラックボックスが存在する場合は、回路図表示装置１０ｃは、識別情報、構造情報、論理等価性情報からＳｐｅｃ論理回路図とＩｍｐｌ論理回路図を対応付けることができない。このような場合、例えば、ユーザは、Ｓｐｅｃ論理回路図のポートｐｒｔ＿１１、ｐｒｔ＿１２をＩｍｐｌ論理回路図のポートｐｒｔ＿２１、ｐｒｔ＿２２をそれぞれ対応箇所であることを指定することができる。表示制御部１４０ｂは、指定されたポートに関する情報から対応表を作成し、外部指定情報記憶部１３０ｉに記憶する。
【００９７】
（４−２）外部指定情報の外部指定手順
次に、図２２を参照して、図２０に示す外部指定情報記憶部１３０ｉに外部指定情報を記憶する外部指定手順を示す。図２２は、図２０に示す外部指定情報記憶部１３０ｉに外部指定情報を記憶する外部指定手順を示すフローチャートである。本手順は、Ｓｐｅｃ論理回路図とＩｍｐｌ論理回路図の対応する論理回路をユーザから指定された場合に実施される。
【００９８】
同図に示すように、まず、（Ｓｐｅｃ論理回路）表示部１２０は、ユーザから論理回路の指定があるまで待つ（ステップＳ２２０１）。例えば、ユーザは、画面上のＳｐｅｃ論理回路図の論理回路をマウスでクリックすることによって外部指定する。そして、ユーザから論理回路の指定があった場合は（ステップＳ２２０１肯定）、表示部１２０は、表示制御部１４０ｂに外部指定された論理回路を通知する（ステップＳ２２０２）。
【００９９】
一方、（Ｉｍｐｌ論理回路）表示部１２０は、ユーザから論理回路の指定があるまで待つ（ステップＳ２２０３）。ューザは、画面上のＩｍｐｌ論理回路図の論理回路をマウスでクリックすることによって外部指定する。そして、ユーザから論理回路の指定があった場合は（ステップＳ２２０３肯定）、表示部１２０は、表示制御部１４０ｂに外部指定された論理回路を通知する（ステップＳ２２０４）。さらに、表示制御部１４０ｂは、論理回路の対応表を作成し、外部指定情報記憶部１３０ｉに記憶させる（ステップＳ２２０５）。
【０１００】
（４−３）回路図表示手順の順番
次に、図２３を参照して、図２０に示す回路図表示装置１０ｃの回路図表示手順について説明する。図２３は、図２０に示す回路図表示装置１０ｃの回路図表示手順を示すフローチャートである。本手順は、表示部１２０に並列表示されているＳｐｅｃ論理回路からユーザによって論理回路が選択された場合に実施される。
【０１０１】
同図に示すように、（Ｓｐｅｃ論理回路）表示部１２０は、ユーザから論理回路の選択があるまで待つ（ステップＳ２３０１）。例えば、ユーザは、画面上のＳｐｅｃ論理回路図の論理回路をマウスでクリックすることによって選択する。
【０１０２】
そして、ユーザから論理回路の選択があった場合は（ステップＳ２３０１肯定）、表示部１２０は、表示制御部１４０ｂにＳｐｅｃ論理回路図の論理回路が選択された旨通知する（ステップＳ２３０２）。すると、表示制御部１４０ｂは、ユーザによって選択された論理回路を強調表示する（ステップＳ２３０３）。具体的には、表示制御部１４０ｂは、対応する論理回路を表示する色を変更するなどして強調表示する。さらに、論理回路対応部１４０ｄは、外部指定情報記憶部１３０ｉに記憶されている外部指定情報に基づいて選択された論理回路に対応するＩｍｐｌ論理回路図の論理回路を検索し（ステップＳ２３０４）、表示制御部１４０ｂは、Ｉｍｐｌ論理回路図の対応する論理回路を強調表示する（ステップＳ２３０５）。
【０１０３】
上述してきたように、本実施例４では、論理回路対応部１４０ｄは、外部指定情報に基づいてＳｐｅｃ論理回路図の論理回路とＩｍｐｌ論理回路図の論理回路を対応付けることとしたので、回路図表示装置１０ｃは、比較する論理回路の対応する箇所を効率よく表示できる。
【実施例５】
【０１０４】
実施例５は、回路図表示装置が論理回路に関する識別情報、構造情報、論理等価性情報および外部指定情報に基づいて対応付けられた複数の論理回路を並列表示する場合について説明する。
【０１０５】
まず、図２４を参照して、実施例５に係る回路図表示装置１０ｄの構成について説明する。図２４は、実施例５に係る回路図表示装置１０ｄの構成を示す機能ブロック図である。同図に示すように、回路図表示装置１０ｄの個々の構成については、実施例１〜４の回路図表示装置１０、１０ａ〜１０ｃの構成で説明しているので、ここでは個々の構成についての説明は省略する。
【０１０６】
次に、図２５を参照して、図２４に示す回路図表示装置１０ｄが識別情報、構造情報、論理等価性情報および外部指定情報に基づいて複数の論理回路を対応付けて表示する一例について説明する。図２５は、図２４に示す回路図表示装置１０ｄが識別情報、構造情報、論理等価性情報および外部指定情報に基づいて複数の論理回路を対応付けて表示する一例を示す図である。
【０１０７】
同図に示すように、Ｓｐｅｃ論理回路図とＩｍｐｌ論理回路図は、識別情報によってインスタンスａｎｄ＿１が対応付けられ、構造情報によってインスタンスａｎｄ＿２およびａｎｄ＿３がインスタンスａｎｄ＿５およびａｎｄ＿６と対応付けられている。また、外部指定情報によってポートｐｒｔ＿３３およびｐｒｔ＿４２がポートｐｒｔ＿６３およびｐｒｔ＿８１と対応付けられ、論理等価性情報によってインスタンスａｎｄ＿４がインスタンスｎｏｔ＿７、ｎｏｔ＿８、ｎａｎｄ＿９と対応付けられている。
【０１０８】
このように、回路図表示装置１０ｄは、識別情報、構造情報、論理等価性情報および外部指定情報の組み合わせに基づいてＳｐｅｃ論理回路図とＩｍｐｌ論理回路図を対応付けることができるので、より精度の高い連動操作が可能になる。
【０１０９】
次に、図２６を参照して、図２４に示す回路図表示装置１０ｄの回路図表示手順について説明する。図２６は、図２４に示す回路図表示装置１０ｄの回路図表示手順を示すフローチャートである。本手順は、表示部１２０に並列表示されているＳｐｅｃ論理回路からユーザによって論理回路が選択された場合に実施される。
【０１１０】
同図に示すように、（Ｓｐｅｃ論理回路）表示部１２０は、ユーザから論理回路の選択があるまで待つ（ステップＳ２６０１）。例えば、ユーザは、画面上のＳｐｅｃ論理回路図の論理回路をマウスでクリックすることによって選択する。
【０１１１】
そして、ユーザから論理回路の選択があった場合は（ステップＳ２６０１肯定）、表示部１２０は、表示制御部１４０ｂにＳｐｅｃ論理回路図の論理回路が選択された旨通知する（ステップＳ２６０２）。すると、表示制御部１４０ｂは、ユーザによって選択された論理回路を強調表示し（ステップＳ２６０３）、論理回路対応部１４０ｄは、選択された論理回路をＩｍｐｌ論理回路図の論理回路に対応付ける（ステップＳ２６０４）。
【０１１２】
そして、表示制御部１４０ｂは、論理回路対応部１４０ｄが識別情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができたか否かを確認する（ステップＳ２６０５）。その結果、識別情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができた場合は（ステップＳ２６０５肯定）、表示制御部１４０ｂは、対応するＩｍｐｌ論理回路図の論理回路を強調表示する（ステップＳ２６０６）。
【０１１３】
一方、識別情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができなかった場合は（ステップＳ２６０５否定）、表示制御部１４０ｂは、さらに論理回路対応部１４０ｄが構造情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができたか否かを確認する（ステップＳ２６０７）。その結果、構造情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができた場合は（ステップＳ２６０７肯定）、表示制御部１４０ｂは、対応するＩｍｐｌ論理回路図の論理回路を強調表示する（ステップＳ２６０８）。
【０１１４】
一方、構造情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができなかった場合は（ステップＳ２６０７否定）、表示制御部１４０ｂは、さらに論理回路対応部１４０ｄが論理等価性情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができたか否かを確認する（ステップＳ２６０９）。その結果、論理等価性情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができた場合は（ステップＳ２６０９肯定）、表示制御部１４０ｂは、対応するＩｍｐｌ論理回路図の論理回路を強調表示する（ステップＳ２６１０）。
【０１１５】
一方、論理等価性情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができなかった場合は（ステップＳ２６０９否定）、表示制御部１４０ｂは、さらに論理回路対応部１４０ｄが外部指定情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができたか否かを確認する（ステップＳ２６１１）。その結果、外部指定情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができた場合は（ステップＳ２６１１肯定）、表示制御部１４０ｂは、対応するＩｍｐｌ論理回路図の論理回路を強調表示する（ステップＳ２６１２）。一方、外部指定情報に基づいてＩｍｐｌ論理回路図の論理回路に対応付けができなかった場合は（ステップＳ２６０９否定）、表示制御部１４０ｂは、本手順を終了する。
【０１１６】
このように、表示制御部１４０ｂは、識別情報、構造情報、論理等価性情報および外部指定情報の組み合わせに基づきＳｐｅｃ論理回路図とＩｍｐｌ論理回路図を対応付けて、並列表示することとしたので、回路図表示装置１０ｄは、論理等価性検証において比較する論理回路の対応する箇所を効率よく表示できる。また、識別情報、構造情報、論理等価性情報および外部指定情報の組み合わせに基づきＳｐｅｃ論理回路図とＩｍｐｌ論理回路図を対応付けができなかった場合は、誤認識を避けるために対応付けは行わない。
【０１１７】
また、回路図表示装置１０ｄは、識別情報、構造情報、論理等価性情報および外部指定情報に優先度を設定することなくＳｐｅｃ論理回路図とＩｍｐｌ論理回路図の対応付けを行った。しかしながら、本発明はこれに限定されるものではなく、回路図表示装置１０ｄは、識別情報、構造情報、論理等価性情報および外部指定情報に優先度を設定し、設定された優先度に基づいてＳｐｅｃ論理回路図とＩｍｐｌ論理回路図の対応付けを行うことができる。また、特定の情報に基づいて対応付けをしないという設定もできる。
【０１１８】
上述してきたように、本実施例５では、論理回路対応部１４０ｄは、識別情報、構造情報、論理等価性情報、外部指定情報の組み合わせに基づいて複数の論理回路を対応付けることとしたので、回路図表示装置１０ｄは、比較する論理回路の対応する箇所を効率よく表示できる。
【０１１９】
（付記１）複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置であって、
前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替手段と、
前記表示態様切替手段により前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御手段と
を備えたことを特徴とする回路図表示装置。
【０１２０】
（付記２）前記表示態様切替手段は、各回路図の全体を前記回路領域として表示対象とする場合に、各回路図の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別する判別手段を備え、前記判別手段による判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えることを特徴とする付記１に記載の回路図表示装置。
【０１２１】
（付記３）前記表示態様切替手段は、ユーザにより指定された各回路図の一部をなす矩形領域を前記回路領域として表示対象とする場合に、各矩形領域の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別する判別手段を備え、前記判別手段による判別結果に基づいて上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替えることを特徴とする付記１または２に記載の回路図表示装置。
【０１２２】
（付記４）前記表示手段に表示した回路図のうち表示対象とすべき矩形領域を指定する指定手段をさらに備え、前記判別手段は、前記指定手段により回路図上の矩形領域が前記回路領域として指定された際に、当該矩形領域の縦横比に基づいて各回路領域を上下分割表示すべきか左右分割表示すべきかを判別することを特徴とする付記３に記載の回路図表示装置。
【０１２３】
（付記５）複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示装置であって、
前記複数の回路図に出現した同一の素子または部分回路を対応づける対応付け手段と、
複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、前記対応付け手段により当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御する連動制御手段と
を備えたことを特徴とする回路図表示装置。
【０１２４】
（付記６）前記複数の回路図を形成する各素子または部分回路にそれぞれその識別情報を対応づけて記憶する記憶手段をさらに備え、前記対応付け手段は、前記記憶手段に記憶した識別情報に基づいて、前記複数の回路図に出現する同じ識別情報を有する素子または部分回路を対応づけることを特徴とする付記５に記載の回路図表示装置。
【０１２５】
（付記７）回路の構造の等価性を判定する構造等価性判定手段をさらに備え、前記対応付け手段は、前記構造等価性判定手段による判定結果に基づいて、前記複数の回路図に出現する構造が等価な部分回路を対応づけることを特徴とする付記５に記載の回路図表示装置。
【０１２６】
（付記８）回路の論理の等価性を判定する論理等価性判定手段をさらに備え、前記対応付け手段は、前記論理等価性判定手段による判定結果に基づいて、前記複数の回路図に出現する論理が等価な部分回路を対応づけることを特徴とする付記５に記載の回路図表示装置。
【０１２７】
（付記９）前記対応付け手段は、外部から設定された等価点に基づいて部分回路を対応づけることを特徴とする付記５に記載の回路図表示装置。
【０１２８】
（付記１０）複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示方法であって、
前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替工程と、
前記表示態様切替工程により前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御工程と
を含んだことを特徴とする回路図表示方法。
【０１２９】
（付記１１）複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示方法であって、
前記複数の回路図に出現した同一の素子または部分回路を対応づける対応付け工程と、
複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、前記対応付け工程により当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御する連動制御工程と
を含んだことを特徴とする回路図表示方法。
【０１３０】
（付記１２）複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示プログラムであって、
前記表示画面上に各回路図の回路領域が上下分割表示または左右分割表示されている場合に、上下分割表示から左右分割表示へと若しくは左右分割表示から上下分割表示へとその表示態様を一回の命令実行により切り替える表示態様切替ステップと、
前記表示態様切替ステップにより前記表示画面上の表示態様を切り替える際に、切替前の回路領域に含まれる着目点と切替後の回路領域に含まれる着目点を同じ位置に保持するよう表示制御する表示制御ステップと
をコンピュータに実行させることを特徴とする回路図表示プログラム。
【０１３１】
（付記１３）複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する回路図表示プログラムであって、
前記複数の回路図に出現した同一の素子または部分回路を対応づける対応付けステップと、
複数の回路領域のうちの所定の回路領域に含まれる素子または部分回路が操作された際に、前記対応付けステップにより当該素子または部分回路に対応づけられた他の回路領域に含まれる素子または部分回路を連動制御する連動制御ステップと
をコンピュータに実行させることを特徴とする回路図表示プログラム。
【産業上の利用可能性】
【０１３２】
以上のように、本発明にかかる回路図表示装置は、複数の回路図の全体または一部からなる表示対象となる各回路領域を同一の表示画面上に並べて表示する場合に有用であり、特に、回路図などに適合した適正な表示をおこなうとともに、比較する論理回路の対応する箇所を効率よく表示する場合に適している。
【図面の簡単な説明】
【０１３３】
【図１】実施例１に係る回路図表示装置の構成を示す機能ブロック図である。
【図２−１】図１に示すＳｐｅｃ識別情報記憶部、Ｉｍｐｌ識別情報記憶部に記憶されているモジュールの識別情報の一例を示す図である。
【図２−２】図１に示すＳｐｅｃ識別情報記憶部、Ｉｍｐｌ識別情報記憶部に記憶されているポートの識別情報の一例を示す図である。
【図３】図１に示す並列表示部が論理回路データベースと回路図表示データベースに基づいて回路図を並列表示する一例を示す図である。
【図４】図１に示す回路図表示装置が識別情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【図５】図１に示す表示制御部がＳｐｅｃ論理回路とＩｍｐｌ論理回路をワールド座標系からスクリーン座標系へ変換し、画像表示する一例を示す図である。
【図６】図１に示す表示制御部がＳｐｅｃ論理回路とＩｍｐｌ論理回路を上下方向に並列に画像表示する一例を示す図である。
【図７】図１に示す表示制御部がＳｐｅｃ論理回路とＩｍｐｌ論理回路を左右方向に並列に画像表示する一例を示す図である。
【図８】図１に示す表示制御部がＳｐｅｃ論理回路とＩｍｐｌ論理回路を上下方向から左右方向に切替えて、並列に画像表示する一例を示す図である。
【図９】図１に示す表示制御部がＳｐｅｃ論理回路とＩｍｐｌ論理回路を左右方向から上下方向に切替えて、並列に画像表示する一例を示す図である。
【図１０】図１に示す表示制御部がＳｐｅｃ論理回路とＩｍｐｌ論理回路の表示領域を連動して拡大し、並列に画像表示する一例を示す図である。
【図１１】図１に示す回路図表示装置の回路図表示手順を示すフローチャートである。
【図１２】実施例２に係る回路図表示装置の構成を示す機能ブロック図である。
【図１３−１】図１２に示すＳｐｅｃ構造情報記憶部に記憶されているＳｐｅｃ論理回路のネット情報を示す図である。
【図１３−２】図１２に示すＳｐｅｃ構造情報記憶部に記憶されているＳｐｅｃ論理回路のポート情報を示す図である。
【図１４】図１３−１および図１３−２に示すネット情報とポート情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【図１５】図１２に示す回路図表示装置の回路図表示手順を示すフローチャートである。
【図１６】実施例３に係る回路図表示装置の構成を示す機能ブロック図である。
【図１７】図１に示す論理等価性情報記憶部に記憶された論理等価性情報を示す図である。
【図１８】図１６に示す論理等価性情報記憶部に記憶された論理等価性情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【図１９】図１６に示す回路図表示装置の回路図表示手順を示すフローチャートである。
【図２０】実施例４に係る回路図表示装置の構成を示す機能ブロック図である。
【図２１】図２０に示す外部指定情報記憶部に記憶された外部指定情報に基づいてＳｐｅｃ論理回路とＩｍｐｌ論理回路を対応付けて表示する一例を示す図である。
【図２２】図２０に示す外部指定情報記憶部に外部指定情報を記憶する外部指定手順を示すフローチャートである。
【図２３】図２０に示す回路図表示装置の回路図表示手順を示すフローチャートである。
【図２４】実施例５に係る回路図表示装置の構成を示す機能ブロック図である。
【図２５】図２４に示す回路図表示装置が識別情報、構造情報、論理等価性情報および外部指定情報に基づいて複数の論理回路を対応付けて表示する一例を示す図である。
【図２６】図２４に示す回路図表示装置の回路図表示手順を示すフローチャートである。
【符号の説明】
【０１３４】
１０、１０ａ、１０ｂ、１０ｃ、１０ｄ    回路図表示装置
１１０    入力部
１２０    表示部
１３０    記憶部
１３０ａ    Ｓｐｅｃ論理回路データベース記憶部
１３０ｂ    Ｉｍｐｌ論理回路データベース記憶部
１３０ｃ    回路図表示データベース記憶部
１３０ｄ    Ｓｐｅｃ識別情報記憶部
１３０ｅ    Ｉｍｐｌ識別情報記憶部
１３０ｆ    Ｓｐｅｃ構造情報記憶部
１３０ｇ    Ｉｍｐｌ構造情報記憶部
１３０ｈ    論理等価性情報記憶部
１３０ｉ    外部指定情報記憶部
１４０    制御部
１４０ａ    表示要求受付部
１４０ｂ    表示制御部
１４０ｃ    並列表示部
１４０ｄ    論理回路対応部
１４０ｅ    論理等価性検証部
【図１】
2006072769.tif 000003
【図２−１】
2006072769.tif 000004
【図２−２】
2006072769.tif 000005
【図３】
2006072769.tif 000006
【図４】
2006072769.tif 000007
【図５】
2006072769.tif 000008
【図６】
2006072769.tif 000009
【図７】
2006072769.tif 000010
【図８】
2006072769.tif 000011
【図９】
2006072769.tif 000012
【図１０】
2006072769.tif 000013
【図１１】
2006072769.tif 000014
【図１２】
2006072769.tif 000015
【図１３−１】
2006072769.tif 000016
【図１３−２】
2006072769.tif 000017
【図１４】
2006072769.tif 000018
【図１５】
2006072769.tif 000019
【図１６】
2006072769.tif 000020
【図１７】
2006072769.tif 000021
【図１８】
2006072769.tif 000022
【図１９】
2006072769.tif 000023
【図２０】
2006072769.tif 000024
【図２１】
2006072769.tif 000025
【図２２】
2006072769.tif 000026
【図２３】
2006072769.tif 000027
【図２４】
2006072769.tif 000028
【図２５】
2006072769.tif 000029
【図２６】
2006072769.tif 000030