(57)【要約】【課題】回路の差分を効率的に取得すること。【解決手段】演算部１ｂは、第１の回路２を示す情報に含まれる第１の部品Ａを示す情報および第２の回路３を示す情報に含まれる第２の部品Ｂを示す情報を特定する。演算部１ｂは、第１の部品Ａを示す情報を起点に第１の回路２を示す情報に含まれる部品間の配線を示す情報を辿ることで第１の回路２内の第１の部分２ａを示す情報を取得する。演算部１ｂは、第２の部品Ｂを示す情報を起点に第２の回路３を示す情報に含まれる部品間の配線を示す情報を辿ることで第２の回路３内の第２の部分３ａを示す情報を取得する。演算部１ｂは、第１の部分２ａを示す情報と第２の部分３ａを示す情報とに基づいて第１の部分２ａと第２の部分３ａとの差分を示す情報を出力する。【選択図】図１
2014186543.tif 000002
【特許請求の範囲】
【請求項１】
第１の回路を示す情報に含まれる第１の部品を示す情報および第２の回路を示す情報に含まれる第２の部品を示す情報を特定し、
前記第１の部品を示す情報を起点に前記第１の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第１の回路内の第１の部分を示す情報を取得し、前記第２の部品を示す情報を起点に前記第２の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第２の回路内の第２の部分を示す情報を取得し、
前記第１の部分を示す情報と前記第２の部分を示す情報とに基づいて、前記第１の部分と前記第２の部分との差分を示す情報を出力する、
処理をコンピュータに実行させるプログラム。
【請求項２】
回路を示す情報に含まれる部品の属性を示す情報と、部品間の配線を示す情報を辿る際に当該部品を透過するか否かを示す情報と、を対応付けた条件情報に基づいて、部品間の配線を示す情報を辿る、請求項１記載のプログラム。
【請求項３】
前記第１の部分を示す情報に含まれる部品を示す情報および配線を示す情報と、前記第２の部分を示す情報に含まれる部品を示す情報および配線を示す情報との対比を行うことで、前記第１の部分を示す情報に含まれる部品を示す情報および配線を示す情報と、前記第２の部分を示す情報に含まれる部品を示す情報および配線を示す情報との差分を示す情報を生成し出力する、請求項１または２記載のプログラム。
【請求項４】
前記対比を行う前に、前記第１の部分に含まれる部品の接続関係と前記第２の部分に含まれる部品の接続関係とに基づいて、対比対象とする部品を示す情報の組み合わせ、および、対比対象とする配線を示す情報の組み合わせを決定する、請求項３記載のプログラム。
【請求項５】
対比対象とする部品を示す情報の組み合わせの事前の指定を許容する、請求項４記載のプログラム。
【請求項６】
対比対象としない部品を示す情報の事前の指定を許容する、請求項４または５記載のプログラム。
【請求項７】
前記第１の部品を示す情報および前記第２の部品を示す情報のユーザによる入力を受け付けることで、前記第１の部品を示す情報および前記第２の部品を示す情報を特定する、請求項１乃至６の何れか１項に記載のプログラム。
【請求項８】
第１の回路を示す情報および第２の回路を示す情報を記憶する記憶部と、
前記第１の回路を示す情報に含まれる第１の部品を示す情報および前記第２の回路を示す情報に含まれる第２の部品を示す情報を特定し、前記第１の部品を示す情報を起点に前記第１の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第１の回路内の第１の部分を示す情報を取得し、前記第２の部品を示す情報を起点に前記第２の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第２の回路内の第２の部分を示す情報を取得し、前記第１の部分を示す情報と前記第２の部分を示す情報とに基づいて前記第１の部分と前記第２の部分との差分を示す情報を出力する演算部と、
を有する情報処理装置。
【請求項９】
情報処理装置が、
第１の回路を示す情報に含まれる第１の部品を示す情報および第２の回路を示す情報に含まれる第２の部品を示す情報を特定し、
前記第１の部品を示す情報を起点に前記第１の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第１の回路内の第１の部分を示す情報を取得し、前記第２の部品を示す情報を起点に前記第２の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第２の回路内の第２の部分を示す情報を取得し、
前記第１の部分を示す情報と前記第２の部分を示す情報とに基づいて、前記第１の部分と前記第２の部分との差分を示す情報を出力する、
設計検証方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明はプログラム、情報処理装置および設計検証方法に関する。
【背景技術】
【０００２】
現在、回路の設計を支援する情報処理装置が利用されている。回路は種々の部品を含む。例えば、ＩＣ（Integrated Circuit）、抵抗およびコンデンサなどの電子部品、電源やアースなどの端子である。実現する機能に応じて、各部品が部品間の配線で接続される。
【０００３】
回路の設計支援に役立つ技術として、ＣＡＤ（Computer Aided Design）がある。ＣＡＤソフトウェアを実行する情報処理装置は、回路設計用のＧＵＩ（Graphical User Interface）を表示装置に表示させる。例えば、設計者は当該ＧＵＩを用いて部品のシンボルを画面領域に配置し得る。また、部品のシンボル間に線を描画して配線の設計を行える。
【０００４】
例えば、回路に含まれる部品間の接続を、各部品がもつピンごとのネットＩＤ（IDentifier）を用いて管理することがある。この場合、同じネットＩＤをもつピン同士が接続されていることになる。例えば、２つの回路で接続関係が一致しているピンの組について一方（スレーブ側）のネットＩＤを順次他方（マスタ側）のネットＩＤに一致させていき、最終的に他方に一致させられなかったネットＩＤを２つの回路の差分とする提案がある。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開平７−２３９８７０号公報
【特許文献２】特開２００８−９５７４号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
しかし、上記の提案では、２つの回路の全体を対比するため、余計な箇所について対比処理が実行され得るという問題がある。例えば、開発中の回路の一部に既存の回路の一部を流用することがある。この場合に、既存の回路のうち流用対象の部分について、開発中の回路に適用する際の差分を把握したいことがある。ところが、両方の回路の全体を対比すると、開発中の回路のうち既存の回路を流用しない箇所についても対比の対象範囲に含まれてしまい、処理コストが増大し得る。また、余計な対比が行われることで、余計な箇所についても差分が検出されてしまい、差分の情報を適切に把握することが容易でない。
【０００７】
１つの側面では、本発明は、回路の差分を効率的に取得できるプログラム、情報処理装置および設計検証方法を提供することを目的とする。
【課題を解決するための手段】
【０００８】
１つの態様では、コンピュータによって実行されるプログラムが提供される。このプログラムは、第１の回路を示す情報に含まれる第１の部品を示す情報および第２の回路を示す情報に含まれる第２の部品を示す情報を特定し、第１の部品を示す情報を起点に第１の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで第１の回路内の第１の部分を示す情報を取得し、第２の部品を示す情報を起点に第２の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで第２の回路内の第２の部分を示す情報を取得し、第１の部分を示す情報と第２の部分を示す情報とに基づいて、第１の部分と第２の部分との差分を示す情報を出力する、処理をコンピュータに実行させる。
【０００９】
また、１つの態様では、情報処理装置が提供される。この情報処理装置は記憶部と演算部とを有する。記憶部は、第１の回路を示す情報および第２の回路を示す情報を記憶する。演算部は、第１の回路を示す情報に含まれる第１の部品を示す情報および第２の回路を示す情報に含まれる第２の部品を示す情報を特定し、第１の部品を示す情報を起点に第１の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで第１の回路内の第１の部分を示す情報を取得し、第２の部品を示す情報を起点に第２の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで第２の回路内の第２の部分を示す情報を取得し、第１の部分を示す情報と第２の部分を示す情報とに基づいて第１の部分と第２の部分との差分を示す情報を出力する。
【００１０】
また、１つの態様では、情報処理装置によって実行される設計検証方法が提供される。この設計検証方法では、情報処理装置が、第１の回路を示す情報に含まれる第１の部品を示す情報および第２の回路を示す情報に含まれる第２の部品を示す情報を特定し、第１の部品を示す情報を起点に第１の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで第１の回路内の第１の部分を示す情報を取得し、第２の部品を示す情報を起点に第２の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで第２の回路内の第２の部分を示す情報を取得し、第１の部分を示す情報と第２の部分を示す情報とに基づいて、第１の部分と第２の部分との差分を示す情報を出力する。
【発明の効果】
【００１１】
１つの側面では、回路の差分を効率的に取得できる。
【図面の簡単な説明】
【００１２】
【図１】第１の実施の形態の情報処理装置を示す図である。
【図２】設計支援装置のハードウェア例を示す図である。
【図３】設計支援装置のソフトウェア例を示す図である。
【図４】回路図の例を示す図である。
【図５】回路情報の例を示す図である。
【図６】回路図テーブルの例を示す図である。
【図７】ネットテーブルの例を示す図である。
【図８】部品テーブルの例を示す図である。
【図９】部品ピンテーブルの例を示す図である。
【図１０】トレースルールテーブルの例を示す図である。
【図１１】ＴＭテーブルの例を示す図である。
【図１２】ＴＰＭテーブルの例を示す図である。
【図１３】ＴＰテーブルの例を示す図である。
【図１４】ＰＤテーブルの例を示す図である。
【図１５】トレースデータの例を示す図である。
【図１６】設計検証の処理例を示すフローチャートである。
【図１７】トレース処理の例を示すフローチャートである。
【図１８】トレース処理の例（続き）を示すフローチャートである。
【図１９】部品ピン選択処理の例を示すフローチャートである。
【図２０】トレースの例を示す図である。
【図２１】対応付け処理の例を示すフローチャートである。
【図２２】対応付けの例を示す図である。
【図２３】対応付けの他の例（その１）を示す図である。
【図２４】対応付けの他の例（その２）を示す図である。
【図２５】ＧＵＩの例（その１）を示す図である。
【図２６】ＧＵＩの例（その２）を示す図である。
【図２７】ＧＵＩの例（その３）を示す図である。
【発明を実施するための形態】
【００１３】
以下、本実施の形態を図面を参照して説明する。
［第１の実施の形態］
図１は、第１の実施の形態の情報処理装置を示す図である。情報処理装置１は、回路設計を支援する。例えば、情報処理装置１は、回路設計を支援するためのＧＵＩを表示装置に表示させる。例えば、当該ＧＵＩは回路図の画像をユーザに提示する。回路図の画像は、回路に含まれる部品のシンボルおよび部品のシンボル間を接続する線などを含む。
【００１４】
情報処理装置１は、記憶部１ａおよび演算部１ｂを有する。記憶部１ａはＲＡＭ（Random Access Memory）などのメモリでもよい。演算部１ｂはＣＰＵ（Central Processing Unit）などのプロセッサでもよい。第１の実施の形態の情報処理は、記憶部１ａに記憶されたプログラムを演算部１ｂが実行することで実現されてもよい。
【００１５】
記憶部１ａは、第１の回路２を示す情報および第２の回路３を示す情報を記憶する。記憶部１ａは、演算部１ｂによる回路内の配線を示す情報を辿るための条件を示す情報を記憶する。例えば、当該条件を示す情報には、回路に含まれる各部品の属性に応じて、透過してよいか否かを示す情報が登録される。ここで、“透過する”とは、配線を辿ってある部品に到達したとき、当該部品が、辿ってきた配線以外の他の配線をもつ場合に、当該他の配線を更に辿っていくことを意味する。
【００１６】
演算部１ｂは、第１の回路２を示す情報に含まれる第１の部品Ａを示す情報および第２の回路３を示す情報に含まれる第２の部品Ｂを示す情報を特定する。例えば、演算部１ｂは、第１の回路２を示す情報に含まれる第１の部品Ａを示す情報のユーザによる選択入力を許容してもよい。この場合、演算部１ｂは、選択された第１の部品Ａを示す情報を特定する。同様に、演算部１ｂは、第２の回路３を示す情報に含まれる第２の部品Ｂを示す情報のユーザによる選択入力を許容してもよい。この場合、演算部１ｂは、選択された第２の部品Ｂを示す情報を特定する。
【００１７】
演算部１ｂは、記憶部１ａに記憶された条件を示す情報に基づいて、第１の部品Ａを示す情報を起点に第１の回路２を示す情報に含まれる部品間の配線を示す情報を辿ることで第１の回路内の第１の部分２ａを示す情報を取得する。また、演算部１ｂは、記憶部１ａに記憶された条件を示す情報に基づいて、第２の部品Ｂを示す情報を起点に第２の回路３を示す情報に含まれる部品間の配線を示す情報を辿ることで第２の回路３内の第２の部分３ａを示す情報を取得する。
【００１８】
例えば、第１の回路２および第２の回路３は３種類の属性の部品を含む。図１では３種類の属性を部品のシンボルのサイズで表している。第１の属性は最大サイズのシンボルである。第２の属性は２番目に大きなサイズのシンボルである。第３の属性は最小サイズのシンボルである。このとき、例えば、記憶部１ａに記憶された条件を示す情報には次のような情報が登録される。（１）配線を辿って到達した部品が第１，第２の属性の場合、透過しない。（２）配線を辿って到達した部品が第３の属性の場合、透過する。
【００１９】
例えば、演算部１ｂは第１の回路２を示す情報に含まれる第１の部品Ａを示す情報および第２の回路３を示す情報に含まれる第２の部品Ｂを示す情報を特定する。すると、演算部１ｂは、第１の部品Ａを起点に、第１，第２の属性の部品に最初に到達するまで配線を辿る。演算部１ｂは、第１の部品Ａが備えるピンごとに当該処理を行うことで、第１の部分２ａを示す情報を取得する。また、演算部１ｂは、第２の部品Ｂを起点に、第１，第２の属性の部品に最初に到達するまで配線を辿る。演算部１ｂは、第２の部品Ｂが備えるピンごとに当該処理を行うことで、第２の部分３ａを示す情報を取得する。
【００２０】
演算部１ｂは、第１の部分２ａを示す情報と第２の部分３ａを示す情報とに基づいて、第１の部分２ａと第２の部分３ａとの差分を示す情報を出力する。例えば、演算部１ｂは、第１の部分２ａを示す情報に含まれる部品や配線を示す情報と、第２の部分３ａを示す情報に含まれる部品や配線を示す情報とを対比することで、第１の部分２ａと第２の部分３ａとの差分を示す情報を生成する。
【００２１】
具体的には、第１の部分２ａを示す情報は部品Ｃを示す情報を含むのに対し、第２の部分３ａを示す情報は部品Ｃを示す情報を含まない（第１の差分）。また、第１の部分２ａを示す情報は部品Ｄを示す情報を含まないのに対し、第２の部分３ａを示す情報は部品Ｄを示す情報を含む（第２の差分）。演算部１ｂは、第１の部分２ａを示す情報に含まれる部品や配線を示す情報と、第２の部分３ａを示す情報に含まれる部品や配線を示す情報とを対比することで、第１，第２の差分を検出する。演算部１ｂは、第１，第２の差分を示す情報を生成し、出力する。例えば、演算部１ｂは、第１，第２の差分を示す情報を表示装置に出力し、表示させてもよい。
【００２２】
情報処理装置１によれば、演算部１ｂにより、第１の回路２を示す情報に含まれる第１の部品Ａを示す情報および第２の回路３を示す情報に含まれる第２の部品Ｂを示す情報が特定される。演算部１ｂにより、第１の部品Ａを示す情報を起点に第１の回路２を示す情報に含まれる部品間の配線を示す情報を辿ることで第１の回路２内の第１の部分２ａを示す情報が取得される。演算部１ｂにより、第２の部品Ｂを示す情報を起点に第２の回路３を示す情報に含まれる部品間の配線を示す情報を辿ることで第２の回路３内の第２の部分３ａを示す情報が取得される。演算部１ｂにより、第１の部分２ａを示す情報と第２の部分３ａを示す情報とに基づいて、第１の部分２ａと第２の部分３ａとの差分を示す情報が出力される。
【００２３】
これにより、回路の差分を効率的に取得できる。具体的には次の通りである。例えば、比較したい２つの回路の全体を対象にして、差分を取得するための処理を行うことも考えられる。しかし、２つの回路の全体を対比すると、余計な箇所について対比処理が実行され得る。例えば、第２の回路３の一部に第１の回路２の一部を流用することがある。この場合に、第１の回路２のうち流用対象の部分について、第２の回路３に適用する際の差分を把握したいことがある。ところが、第１の回路２および第２の回路３の全体を対比すると、第２の回路３のうち第１の回路２を流用しない箇所についても対比の対象範囲に含まれてしまい、処理コストが増大し得る。また、余計な対比が行われることで、余計な箇所についても差分が検出されてしまい、差分の情報を適切に把握することが容易でない。
【００２４】
そこで、情報処理装置１では、第１の回路２を示す情報および第２の回路３を示す情報のそれぞれについて、特定された部品を起点にした第１の部分２ａおよび第２の部分３ａを取得して差分の検出に用いる。これにより、第１の回路２および第２の回路３の余計な箇所について対比が行われることを抑制できる。
【００２５】
更に、第１の部分２ａは、第１の部品Ａを起点に第１の回路２内の配線を辿って取得された部分である。また、第２の部分３ａは、第２の部品Ｂを起点に第２の回路３内の配線を辿って取得された部分である。ここで、例えば、第２の部品Ｂを中心とする所定半径の円や所定の辺の長さの多角形を第２の回路３に重ねて、ある部分を抽出することも考えられる。しかし、この場合、第２の部品Ｂと直接または間接には接続されていない余計な要素までも抽出されてしまうおそれがある。よって、この場合も、余計な箇所について対比が行われ得る。そこで、第１の実施の形態のように第１の部品Ａおよび第２の部品Ｂを起点に配線を辿って第１の部分２ａおよび第２の部分３ａを抽出することで、第１の部品Ａおよび第２の部品Ｂに直接または間接に接続された範囲を適切に抽出して対比できる。
【００２６】
このように、余計な箇所の対比処理を抑制できるので、余計な箇所について差分が検出されることを抑制できる。すなわち、差分の検出結果の数が過多となる可能性を低減できる。よって、ユーザは対比箇所につき差分の情報の適切な把握を容易に行える。
【００２７】
また、第１の回路２を示す情報および第２の回路３を示す情報の中からユーザにより選択された部品を特定し、当該部品を起点に対比する部分を抽出してもよい。このようにすれば、第１の回路２および第２の回路３の中からユーザが対比したい部分を適切に絞り込んで、対比を行える。これにより、回路設計の検証作業を効率的に支援できる。
【００２８】
［第２の実施の形態］
図２は、設計支援装置のハードウェア例を示す図である。設計支援装置１００は、回路設計を支援するコンピュータである。設計支援装置１００は、ＣＡＤの機能を提供するものでもよい。設計支援装置１００は、プロセッサ１０１、ＲＡＭ１０２、ＨＤＤ（Hard Disk Drive）１０３、通信部１０４、画像信号処理部１０５、入力信号処理部１０６、ディスクドライブ１０７および機器接続部１０８を有する。各ユニットが設計支援装置１００のバスに接続されている。
【００２９】
プロセッサ１０１は、設計支援装置１００の情報処理を制御する。プロセッサ１０１は、マルチプロセッサであってもよい。プロセッサ１０１は、例えばＣＰＵ、ＭＰＵ（Micro Processing Unit）、ＤＳＰ（Digital Signal Processor）、ＡＳＩＣ（Application Specific Integrated Circuit）、ＦＰＧＡ（Field Programmable Gate Array）またはＰＬＤ（Programmable Logic Device）などである。プロセッサ１０１は、ＣＰＵ、ＭＰＵ、ＤＳＰ、ＡＳＩＣ、ＦＰＧＡ、ＰＬＤのうちの２以上の要素の組み合わせであってもよい。
【００３０】
ＲＡＭ１０２は、設計支援装置１００の主記憶装置である。ＲＡＭ１０２は、プロセッサ１０１に実行させるＯＳ（Operating System）のプログラムやアプリケーションプログラムの少なくとも一部を一時的に記憶する。また、ＲＡＭ１０２は、プロセッサ１０１による処理に用いる各種データを記憶する。
【００３１】
ＨＤＤ１０３は、設計支援装置１００の補助記憶装置である。ＨＤＤ１０３は、内蔵した磁気ディスクに対して、磁気的にデータの書き込みおよび読み出しを行う。ＨＤＤ１０３には、ＯＳのプログラム、アプリケーションプログラム、および各種データが格納される。設計支援装置１００は、フラッシュメモリやＳＳＤ（Solid State Drive）などの他の種類の補助記憶装置を備えてもよく、複数の補助記憶装置を備えてもよい。
【００３２】
通信部１０４は、ネットワーク１０を介して他のコンピュータと通信を行えるインタフェースである。通信部１０４は、有線インタフェースでもよいし、無線インタフェースでもよい。
【００３３】
画像信号処理部１０５は、プロセッサ１０１からの命令に従って、設計支援装置１００に接続されたディスプレイ１１に画像を出力する。ディスプレイ１１としては、ＣＲＴ（Cathode Ray Tube）ディスプレイや液晶ディスプレイなどを用いることができる。
【００３４】
入力信号処理部１０６は、設計支援装置１００に接続された入力デバイス１２から入力信号を取得し、プロセッサ１０１に出力する。入力デバイス１２としては、例えば、マウスやタッチパネルなどのポインティングデバイス、キーボードなどを用いることができる。
【００３５】
ディスクドライブ１０７は、レーザ光などを利用して、光ディスク１３に記録されたプログラムやデータを読み取る駆動装置である。光ディスク１３として、例えば、ＤＶＤ（Digital Versatile Disc）、ＤＶＤ−ＲＡＭ、ＣＤ−ＲＯＭ（Compact Disc Read Only Memory）、ＣＤ−Ｒ（Recordable）／ＲＷ（ReWritable）などを使用できる。ディスクドライブ１０７は、例えば、プロセッサ１０１からの命令に従って、光ディスク１３から読み取ったプログラムやデータをＲＡＭ１０２またはＨＤＤ１０３に格納する。
【００３６】
機器接続部１０８は、設計支援装置１００に周辺機器を接続するための通信インタフェースである。例えば、機器接続部１０８にはメモリ装置１４やリーダライタ装置１５を接続できる。メモリ装置１４は、機器接続部１０８との通信機能を搭載した記録媒体である。リーダライタ装置１５は、メモリカード１６へのデータの書き込み、またはメモリカード１６からのデータの読み出しを行う装置である。メモリカード１６は、カード型の記録媒体である。機器接続部１０８は、例えば、プロセッサ１０１からの命令に従って、メモリ装置１４またはメモリカード１６から読み取ったプログラムやデータをＲＡＭ１０２またはＨＤＤ１０３に格納する。
【００３７】
設計支援装置１００は、２つの回路図の差分を抽出してユーザに提示する。例えば、回路の開発では、既存の標準回路を設計中の製品回路に流用することがある。既存の回路から流用できれば、一から全て設計する場合よりも、開発工程の短縮化を図れるからである。標準回路の回路図と製品回路の回路図とを対比することで、標準回路を製品回路に適用する際に、当該標準回路に追加される部品や当該標準回路から削除される部品などを把握し得る。このような対比を行うことで、回路を適正に動作させることができるか（例えば、回路の動作に深刻な影響を及ぼす部品の追加／削除が行われていないか）という検証を行える。標準回路に対する余計な要素の追加や不可欠な要素の削除は、製品障害の要因ともなるため、当該検証は回路設計において重要である。
【００３８】
第２の実施の形態では、標準回路と、標準回路が流用された回路とを比較する場合を想定する。以下の説明では、標準回路が流用された回路を比較対象回路ということがある。
図３は、設計支援装置のソフトウェア例を示す図である。図３に示すユニットの全部または一部は、プロセッサ１０１がＲＡＭ１０２に記憶されたプログラムを実行することで実現されてもよい。設計支援装置１００は、記憶部１１０、回路編集部１２０、ルール設定部１３０、トレース部１４０および差分検出部１５０を有する。
【００３９】
記憶部１１０は、各部の処理に用いられる各種の情報を記憶する。例えば、次のような情報を含む。第１には、回路を示す情報である（以下、回路情報ということがある）。第２には、回路情報から当該回路の一部分を抽出するための条件を示す情報である（以下、トレースルールということがある）。第３には、抽出された回路同士の一部分を対比する際の対比条件を示す情報である（以下、対比ルールということがある）。
【００４０】
回路編集部１２０は、回路の設計支援用のＧＵＩをディスプレイ１１に表示させる。回路編集部１２０は、入力デバイス１２を用いたユーザによる操作入力を受け付け、当該操作入力に応じて回路情報を編集する。例えば、回路編集部１２０は、新たな部品や配線を示す情報を回路情報に追加したり、既存の部品や配線を示す情報を回路情報から削除したりする。
【００４１】
ルール設定部１３０は、トレースルールおよび対比ルールのユーザによる編集を受け付ける。ルール設定部１３０は、受け付けた編集内容に応じて、記憶部１１０に記憶されたトレースルールおよび対比ルールを更新する。
【００４２】
トレース部１４０は、比較する２つの回路（標準回路および比較対象回路）の回路情報のユーザによる選択を受け付ける。また、トレース部１４０は、各回路情報から１つずつ、トレースの起点となる部品の選択を受け付ける。当該選択された部品を核部品ということがある。
【００４３】
ここで、トレースとは、核部品を起点にして配線を示す情報を辿りながら、当該回路情報に含まれる一部分を抽出することを意味する。トレース部１４０は、記憶部１１０に記憶されたトレースルールを用いて、２つの回路情報のそれぞれから核部品を起点とした一定範囲の情報を抽出することで、比較対象とする部分を示す情報を取得する。
【００４４】
差分検出部１５０は、トレース部１４０によって取得された２つの部分を示す情報同士を対比して、両方の部分の差分を検出する。差分検出部１５０は、ディスプレイ１１に検出結果を表示させる。
【００４５】
図４は、回路図の例を示す図である。回路図２００は、ネット２０１，２０２、部品２１０，２２０，２３０およびピン２１１，２２１，２２２，２３１を含む。ネット２０１，２０２は、部品間を接続する線である。ネット２０１，２０２で接続された部品は、実際の回路において電気的に接続されることを示す。部品２１０，２２０，２３０は、ＩＣ、抵抗およびコンデンサなどの電子部品や電源およびアースなどの端子である。
【００４６】
ピン２１１，２２１，２２２，２３１は、部品に設けられた端子である。ピン同士を結線することで、ネットが形成される。ピン２１１は部品２１０に設けられている。ピン２２１，２２２は部品２２０に設けられている。ピン２３１は部品２３０に設けられている。ピン２１１，２２１の間の結線がネット２０１である。ピン２１１，２２１は、ネット２０１に属しているということもできる。ピン２２２，２３１の間の結線がネット２０２である。ピン２２２，２３１は、ネット２０２に属しているということもできる。
【００４７】
なお、２つのピンが１つのネットに属している例を示したが、３以上のピンが１つのネットに属することもある（この場合、分岐する線を用いて３以上のピンを接続する）。設計支援装置１００は、ネット、部品およびピンを含む回路図を、回路情報を用いて管理する。
【００４８】
図５は、回路情報の例を示す図である。回路情報は、記憶部１１０に格納される。回路情報は、回路図テーブル１１１、ネットテーブル１１２、部品テーブル１１３および部品ピンテーブル１１４を含む。各テーブルの関連は、ＵＭＬ（Unified Modeling Language）クラス図の表記法に倣っている。
【００４９】
例えば、回路図テーブル１１１とネットテーブル１１２との対応は１対多である。すなわち、１つの回路図に複数のネットが所属し得る。回路図テーブル１１１と部品テーブル１１３との対応は１対多である。すなわち、１つの回路図に複数の部品が所属し得る。ネットテーブル１１２と部品ピンテーブル１１４との対応は１対多である。すなわち、１つのネットに複数の部品ピンが所属し得る。部品テーブル１１３と部品ピンテーブル１１４との対応は１対多である。すなわち、１つの部品に複数の部品ピンが所属し得る。
【００５０】
図６は、回路図テーブルの例を示す図である。回路図テーブル１１１は、回路図ＩＤ、回路図名、ネットへのリンクおよび部品へのリンクの項目を含む。
回路図ＩＤの項目には、回路図を一意に識別するための識別情報が登録される。回路図名の項目には、回路図の名称が登録される。ネットへのリンクの項目には、回路図テーブル１１１に対応するネットテーブル１１２を示すポインタが登録される。回路図に複数のネットが所属する場合は、複数のネットを示す複数のポインタが登録される。部品へのリンクの項目には、回路図テーブル１１１に対応する部品テーブル１１３を示すポインタが登録される。回路図に複数の部品が所属する場合は、複数の部品を示す複数のポインタが登録される。
【００５１】
図７は、ネットテーブルの例を示す図である。ネットテーブル１１２は、ネットＩＤ、ネット名、属性および部品ピンへのリンクの項目を含む。
ネットＩＤの項目には、ネットを一意に識別するための識別情報が登録される。ネット名の項目には、ネットの名称が登録される。属性の項目には、ネットの属性が登録される。例えば、ネットの属性としてネット種別、電圧値および線幅などの情報が登録される。
【００５２】
ここで、ネット種別は、配線が信号線、電源ネットおよびアースネットなどのうちの何れの用途であるかを示す情報である。電圧値は、配線に印加される電圧の値（例えば、＋３．３Ｖ、−２．５Ｖなど）を示す情報である。線幅は、配線の幅（２ｍｍ，１ｍｍなど）を示す情報である。
【００５３】
部品ピンへのリンクの項目には、ネットテーブル１１２に対応する部品ピンテーブル１１４を示すポインタが登録される。ネットに複数の部品ピンが所属する場合は、複数の部品ピンを示す複数のポインタが登録される。
【００５４】
図８は、部品テーブルの例を示す図である。部品テーブル１１３は、部品ＩＤ、部品名、属性および部品ピンへのリンクの項目を含む。
部品ＩＤの項目には、部品を一意に識別するための識別情報が登録される。部品名の項目には、部品の名称が登録される。属性の項目には、部品の属性が登録される。例えば、部品の属性として、ライブラリアクセスキー、部品品種記号、部品詳細記号、論理種別、特定値および部品手配指示フラグなどの情報が登録される。
【００５５】
ここで、ライブラリアクセスキーは、部品データベース上での部品の登録／管理に用いられるＩＤである。ここで、部品データベースは、回路情報とは別個に各部品を管理するためのデータベースである。ライブラリアクセスキーは、当該部品データベース内において、部品を一意に識別するための識別情報である。例えば、部品データベースは記憶部１１０に記憶される。部品データベースは、ネットワークを介して設計支援装置１００に接続された他のコンピュータが記憶するものでもよい。
【００５６】
部品品種記号は、部品の分類を示す記号である。例えば、分類“抵抗”に対して記号“Ｒ”、分類“コンデンサ”に対して記号“Ｃ”などのように、分類に応じた記号が予め定められている。
【００５７】
部品詳細記号は、部品品種記号よりも詳細に部品を分類するために用いられる記号である。例えば、詳細分類“抵抗タイプＡ”に対して記号“ＲＡ”、詳細分類“コンデンサタイプＡ”に対して記号“ＣＡ”などのように、分類に応じた記号を任意に決定できる。例えば、ユーザは、管理したい詳細分類に応じて、部品詳細記号を任意に定義可能である。
【００５８】
論理種別は、主に抵抗やコンデンサに対して設定可能な種別を示している。例えば、論理種別には、ダンピング抵抗やプルアップ抵抗などの種別が登録され得る。特性値は、抵抗値や容量値などの部品ごとに固有の値である。例えば、抵抗であれば、抵抗値“１０．０Ω”などの値が登録され得る。また、コンデンサであれば、容量値“３０．０Ｆ”などの値が登録され得る。部品手配指示フラグは、工場での製造時に部品を手配するか否かを制御するためのフラグである。工場での製造時に部品を手配する場合、部品手配指示フラグは“ｔｒｕｅ”である。工場での製造時に部品を手配しない場合、部品手配指示フラグは“ｆａｌｓｅ”である。
【００５９】
部品ピンへのリンクの項目には、部品テーブル１１３に対応する部品ピンテーブル１１４を示すポインタが登録される。部品に複数の部品ピンが所属する場合は、複数の部品ピンを示す複数のポインタが登録される。
【００６０】
なお、各部品は、ＧＵＩ上に当該部品のシンボルを表示するための情報（部品シンボル情報ということがある）に対応付けられている。例えば、部品シンボル情報は部品データベースに予め格納されている。部品シンボル情報は、ライブラリアクセスキーに対応付けられていてもよい。その場合、トレース部１４０はライブラリアクセスキーを用いて部品シンボル情報にアクセスし得る。部品シンボル情報は、部品に設けられた部品ピンの配置や数などの情報を含む。
【００６１】
図９は、部品ピンテーブルの例を示す図である。部品ピンテーブル１１４は、部品ピンＩＤ、部品ピン名、属性、部品へのリンクおよびネットへのリンクの項目を含む。
部品ピンＩＤの項目には、部品ピンを一意に識別するための識別情報が登録される。部品ピン名の項目には、部品ピンの名称が登録される。属性の項目には、部品ピンの属性が登録される。部品へのリンクの項目には、部品ピンテーブル１１４に対応する部品テーブル１１３を示すポインタが登録される。ネットへのリンクの項目には、部品ピンテーブル１１４に対応するネットテーブル１１２を示すポインタが登録される。
【００６２】
図１０は、トレースルールテーブルの例を示す図である。トレースルールテーブル１１５は、記憶部１１０に格納される。トレースルールテーブル１１５は、項番およびトレースルールの項目を含む。
【００６３】
項番の項目には、レコードを識別するための番号が登録される。トレースルールの項目には、トレースルールの内容が登録される。トレースルールの項目は、判定内容および処理設定の項目に細分化されている。判定内容の項目には、トレースする際に判定する内容を示す情報が登録される。処理設定の項目には、判定内容に対するトレースの処理内容を示す情報が登録される。
【００６４】
例えば、トレースルールテーブル１１５には、次のような情報が登録される。第１には、項番が“１”、トレースルールの判定内容が“部品品種記号Ａ，Ｂ，Ｃ，・・・”、トレースルールの処理設定が“論理透過可”という情報が登録される。これは、トレースを行う際に、部品品種記号が“Ａ，Ｂ，Ｃ，・・・”の何れかに該当する部品を透過してトレース範囲を広げることを示す。
【００６５】
ここで、“論理透過”とは、トレースの際に、あるネットに接続された論理透過対象の部品が抽出された場合に、当該部品を通過して、当該部品の先に存在するネットもトレースの対象に含めることを意味する。“論理透過しない”とは、あるネットに接続された論理透過非対象の部品が抽出された場合に、当該部品の先にネットが存在していたとしても、トレースの対象に含めないことを意味する。すなわち、“論理透過しない”部品を、トレースの１つの末端に位置する部品ということができる。
【００６６】
第２には、項番が“２”、トレースルールの判定内容が“部品詳細記号ａ，ｂ，ｃ，・・・”、トレースルールの処理設定が“論理透過可”という情報が登録される。これは、トレースを行う際に、部品詳細記号が“ａ，ｂ，ｃ，・・・”の何れかに該当する部品を透過してトレース範囲を広げることを示す。
【００６７】
第３には、項番が“３”、トレースルールの判定内容が“部品ピン数Ｎｍａｘ以下”、処理設定が“論理透過可”という情報が登録される。これは、トレースを行う際に、部品ピン数がＮｍａｘ以下である部品を透過してトレース範囲を広げることを示す。ここで、Ｎｍａｘには１より大きい任意の整数を設定できる。
【００６８】
第４には、項番が“４”、トレースルールの判定内容が“部品手配指示フラグがｔｒｕｅ”、処理設定が“論理透過可”という情報が登録される。これは、トレースを行う際に、部品手配指示フラグが“ｔｒｕｅ”である部品を透過してトレース範囲を広げることを示す。
【００６９】
第５には、項番が“５”、トレースルールの判定内容が“透過先ピンの複数選択”、処理設定が“選択不可”という情報が登録される。これは、ある部品につき論理透過先のネットが複数存在する場合に、当該複数のネットに属する当該部品の部品ピン（透過先ピンということがある）の複数選択が許容されていないことを示す。すなわち、単一の透過先ピンのみが許容されていることになる。
【００７０】
なお、上記のトレースルールは一例であり、他の判定内容および処理設定を登録してもよい。例えば、トレースルールの判定内容が“起点ピンが中継部品（部品ＩＤ“Ｘ”）を介して他ピンと接続”、処理設定が“論理透過可”という情報を登録してもよい。これは、トレースの起点とする部品ピン（起点ピン）が、部品ＩＤ“Ｘ”の部品を介して他の部品の部品ピンと接続されている場合に、当該部品ＩＤ“Ｘ”の部品を透過してトレース範囲を広げることを示す。
【００７１】
また、トレースルールテーブル１１５の項番“１”〜“４”のルールは、ＡＮＤ条件である。全ての判定内容が真のときに、抽出された部品を論理透過することになる。このように、論理透過するための条件を多段に設けることで、論理透過対象の部品を適切に絞り込める。ただし、項番“１”〜“４”のルールを、ＯＲ条件としてもよい。すなわち、“１”〜“４”の判定内容の少なくとも１つが真のときに、抽出された部品を論理透過の対象としてもよい。
【００７２】
次に、トレースにより得られた回路の一部分を管理するためのトレースデータを例示する。トレースデータは記憶部１１０に格納される。トレースデータは次のテーブルを含む。第１にはトレースマップ（ＴＭ：Trace Map）テーブルである。ＴＭテーブルは、核部品ごとに生成される。第２にはトレースピンマップ（ＴＰＭ：Trace Pin Map）テーブルである。ＴＰＭテーブルは、核部品に設けられた部品ピンごとに生成される。第３にはトレースパス（ＴＰ：Trace Path）テーブルである。ＴＰテーブルは、ネットごとに生成される。第４にはピンデータ（ＰＤ：Pin Data）テーブルである。ＰＤテーブルは、当該ネットに属する部品ピンごとに生成される。
【００７３】
図１１は、ＴＭテーブルの例を示す図である。ＴＭテーブル１１６は、核部品ＩＤおよびＴＰＭへのリンクの項目を含む。核部品ＩＤの項目には、核部品の部品ＩＤが登録される。核部品ＩＤは部品ＩＤのサブタイプと考えることができる。ＴＰＭへのリンクの項目には、ＴＭテーブル１１６に対応するＴＰＭテーブル（すなわち、当該核部品に設けられた部品ピンのＴＰＭテーブル）を示すポインタが登録される。複数のＴＰＭテーブルが対応する場合は、複数のＴＰＭテーブルを示す複数のポインタが登録される。
【００７４】
図１２は、ＴＰＭテーブルの例を示す図である。ＴＰＭテーブル１１７は、核部品ピンＩＤおよびＴＰへのリンクの項目を含む。核部品ピンＩＤの項目には、核部品に設けられた部品ピンの部品ピンＩＤが登録される。核部品ピンＩＤは部品ピンＩＤのサブタイプと考えることができる。ＴＰへのリンクの項目には、ＴＰＭテーブル１１７に属するＴＰテーブルを示すポインタが登録される。複数のＴＰテーブルが属する場合は、複数のＴＰテーブルを示す複数のポインタが登録される。
【００７５】
図１３は、ＴＰテーブルの例を示す図である。ＴＰテーブル１１８は、ネットＩＤ、ＰＤへのリンクおよび隣接ＴＰへのリンクの項目を含む。ネットＩＤの項目には、ネットＩＤが登録される。ＰＤへのリンクの項目には、ＴＰテーブル１１８のネットを形成する部品のＰＤテーブルを示すポインタが登録される。当該ネットが複数の部品により形成される場合は、複数のＰＤテーブルを示す複数のポインタが登録される。隣接ＴＰへのリンクの項目には、ＴＰテーブル１１８で示されるネットに対して隣接するネットのＴＰテーブル（隣接ＴＰ）を示すポインタが登録される。隣接するネットが複数ある場合は、複数のネットを示す複数のポインタが登録される。ここで、“２つのネットが隣接する”関係とは、２つのネットの間に、トレース時に論理透過の対象となる１つの部品が介在している関係を示す。
【００７６】
図１４は、ＰＤテーブルの例を示す図である。ＰＤテーブル１１９は、部品ＩＤ、部品ピンＩＤおよびＴＰへのリンクの項目を含む。部品ＩＤの項目には、部品ＩＤが登録される。部品ピンＩＤの項目には、当該部品に設けられた部品ピンの部品ピンＩＤが登録される。ＴＰへのリンクの項目には、当該部品ピンが属するネットのＴＰテーブルを示す。ＰＤテーブル１１９は、部品ピンに対応付けられたデータであるということができる。また、ＰＤテーブル１１９は、部品に対応付けられたデータであるということもできる。１つの部品が複数の部品ピンをもつ場合、当該１つの部品は複数のＰＤテーブルに対応付けられることになる。
【００７７】
図１５は、トレースデータの例を示す図である。図１５（Ａ）は回路図３００を例示している。回路図３００は、ネット３０１，３０２，３０３、部品３１０，３２０，３３０および部品ピン３１１，３１２，３２１，３２２，３３１，３３２を含む。なお、図１５（Ａ）では、各部の符号とともに、図１５（Ｂ）の説明に用いる別名も併記している。
【００７８】
部品３１０は部品ピン３１１，３１２を有する。部品３２０は部品ピン３２１，３２２を有する。部品３２０はトレースの際に論理透過の対象となる部品であるとする。部品３３０は部品ピン３３１，３３２を有する。部品３３０はトレースの際に論理透過の対象とならない部品であるとする。部品ピン３１１，３２１はネット３０１に属している。部品ピン３２２，３３１はネット３０２に属している。部品ピン３１２，３３２はネット３０３に属している。
【００７９】
図１５（Ｂ）は部品３１０を核部品としたときの、回路図３００に対応するトレースデータを例示している。ＴＭテーブル１１６ａは部品３１０（核部品）を示している。当該核部品を起点にトレースされるツリー構造のルート（root）を、図１５（Ｂ）ではＴＭ１と表記している。
【００８０】
部品３１０は、２つの部品ピン３１１，３１２を有する。よって、ＴＭテーブル１１６ａには、部品ピン３１１のＴＰＭテーブル１１７ａを示すポインタと、部品ピン３１２のＴＰＭテーブル１１７ｂを示すポインタと、が登録される。
【００８１】
ＴＰＭテーブル１１７ａは、部品ピン３１１に対応するものであり、部品ピン３１１を起点にトレース可能な全てのネットの集合ＴＰＭ１を示すものである。回路図３００の例ではＴＰＭ１にはネット３０１，３０２が属する。よって、ＴＰＭテーブル１１７ａのＴＰへのリンクの項目にはネット３０１のＴＰテーブル１１８ａを示すポインタと、ネット３０２のＴＰテーブル１１８ｂを示すポインタと、が登録される。
【００８２】
ＴＰＭテーブル１１７ｂは、部品ピン３１２に対応するものであり、部品ピン３１２を起点にトレース可能な全てのネットの集合ＴＰＭ２を示すものである。回路図３００の例ではＴＰＭ２にはネット３０３が属する。よって、ＴＰＭテーブル１１７ｂのＴＰへのリンクの項目にはネット３０３のＴＰテーブル１１８ｃを示すポインタが登録される。
【００８３】
ＴＰテーブル１１８ａは、ネット３０１（図１５（Ｂ）ではＴＰ１と表記）を示す。回路図３００の例では、ネット３０１は、部品ピン３１１，３２１が接続されて形成される。よって、ＴＰテーブル１１８ａのＰＤへのリンクの項目には、部品ピン３１１のＰＤテーブル１１９ａを示すポインタと、部品ピン３２１のＰＤテーブル１１９ｂを示すポインタと、が登録される。また、回路図３００の例では、ネット３０１，３０２は隣接している。よって、ＴＰテーブル１１８ａの隣接ＴＰへのリンクの項目には、ネット３０２のＴＰテーブル１１８ｂを示すポインタが登録される。
【００８４】
ＴＰテーブル１１８ｂは、ネット３０２（図１５（Ｂ）ではＴＰ２と表記）を示す。回路図３００の例では、ネット３０２は、部品ピン３２２，３３１が接続されて形成される。よって、ＴＰテーブル１１８ｂのＰＤへのリンクの項目には、部品ピン３２２のＰＤテーブル１１９ｃを示すポインタと、部品ピン３３１のＰＤテーブル１１９ｄを示すポインタと、が登録される。また、回路図３００の例では、ネット３０１，３０２は隣接している。よって、ＴＰテーブル１１８ｂの隣接ＴＰへのリンクの項目には、ネット３０１のＴＰテーブル１１８ａを示すポインタが登録される。
【００８５】
ＴＰテーブル１１８ｃは、ネット３０３（図１５（Ｂ）ではＴＰ３と表記）を示す。回路図３００の例では、ネット３０３は、部品ピン３１２，３３２が接続されて形成される。よって、ＴＰテーブル１１８ｃのＰＤへのリンクの項目には、部品ピン３１２のＰＤテーブル１１９ｅを示すポインタと、部品ピン３３２のＰＤテーブル１１９ｆを示すポインタと、が登録される。
【００８６】
ＰＤテーブル１１９ａは、部品ピン３１１（図１５（Ｂ）ではＰＤ１と表記）を示す。ＰＤテーブル１１９ａのＴＰへのリンクの項目には、ＴＰテーブル１１８ａを示すポインタが登録される。ＰＤテーブル１１９ｂは、部品ピン３２１（図１５（Ｂ）ではＰＤ２と表記）を示す。ＰＤテーブル１１９ｂのＴＰへのリンクの項目には、ＴＰテーブル１１８ａを示すポインタが登録される。
【００８７】
ＰＤテーブル１１９ｃは、部品ピン３２２（図１５（Ｂ）ではＰＤ３と表記）を示す。ＰＤテーブル１１９ｃのＴＰへのリンクの項目には、ＴＰテーブル１１８ｂを示すポインタが登録される。ＰＤテーブル１１９ｄは、部品ピン３３１（図１５（Ｂ）ではＰＤ４と表記）を示す。ＰＤテーブル１１９ｄのＴＰへのリンクの項目には、ＴＰテーブル１１８ｂを示すポインタが登録される。
【００８８】
ＰＤテーブル１１９ｅは、部品ピン３１２（図１５（Ｂ）ではＰＤ５と表記）を示す。ＰＤテーブル１１９ｅのＴＰへのリンクの項目には、ＴＰテーブル１１８ｃを示すポインタが登録される。ＰＤテーブル１１９ｆは、部品ピン３３２（図１５（Ｂ）ではＰＤ６と表記）を示す。ＰＤテーブル１１９ｆのＴＰへのリンクの項目には、ＴＰテーブル１１８ｃを示すポインタが登録される。
【００８９】
図１６は、設計検証の処理例を示すフローチャートである。以下、図１６に示す処理をステップ番号に沿って説明する。
（Ｓ１１）トレース部１４０は、ユーザによる標準回路と比較対象回路との選択入力を受け付ける。トレース部１４０は、標準回路と比較対象回路との両方の回路情報について、ユーザによる核部品の選択入力を受け付ける。例えば、トレース部１４０は、核部品の選択用のＧＵＩをディスプレイ１１に表示させる。ユーザは、当該ＧＵＩに従って入力デバイス１２を操作することで、核部品を選択し得る。
【００９０】
（Ｓ１２）トレース部１４０は、記憶部１１０に記憶されたトレースルールテーブル１１５に基づいて、標準回路および比較対象回路のトレースを行う。トレース部１４０は、トレースを行うことで、トレース結果として標準回路のトレースデータおよび比較対象回路のトレースデータを生成し、差分検出部１５０に出力する。
【００９１】
（Ｓ１３）差分検出部１５０は、標準回路のトレースデータと比較対象回路のトレースデータとに基づいて、トレースデータの各要素を対応付ける。“対応付け”とは後段の差分チェックのために、各要素の間にリンクを張ることを意味する。具体的には、差分検出部１５０は、両方のトレースデータのＴＭテーブル、ＴＰＭテーブル、ＴＰテーブルおよびＰＤテーブルを、両方のトレースデータのツリー構造を辿ることで対応付けを行う。
【００９２】
（Ｓ１４）差分検出部１５０は、対応付けた各要素を示す情報を対比して、各要素の差分をチェックする。例えば、差分検出部１５０は、部品同士の対比であれば、部品の属性の相違をチェックする。例えば、差分検出部１５０は、ネット同士の対比であれば、ネットの属性の相違をチェックする。差分検出部１５０は、ステップＳ１３で対応付けた全要素について、ステップＳ１４の差分チェックを行う。
【００９３】
（Ｓ１５）差分検出部１５０は、ステップＳ１４の差分チェック結果をディスプレイ１１に表示させる。例えば、差分検出部１５０は、標準回路の回路図に対して、変更された部品、追加された部品および削除された部品などのリストを含むＧＵＩをユーザに提供し得る。
【００９４】
次に、ステップＳ１２のトレース処理の手順を説明する。なお、トレース部１４０は、標準回路の回路情報および比較対象回路の回路情報のそれぞれに対してトレース処理を実行する。ただし、標準回路の回路情報および比較対象回路の回路情報の何れか、または両方について、選択された核部品に対するトレースデータを過去に取得済であれば、当該取得済のトレースデータを流用してもよい。その場合、トレース部１４０は、標準回路および比較対象回路のうち、トレースデータを流用する回路につきトレース処理をスキップできる。また、以下では処理の対象となる回路（標準回路および比較対象回路）を特に明示しないが、何れの回路に対しても同じ手順である。
【００９５】
図１７は、トレース処理の例を示すフローチャートである。以下、図１７に示す処理をステップ番号に沿って説明する。
（Ｓ２１）トレース部１４０は、核部品の部品シンボル情報を参照して、核部品に設けられた部品ピン数Ｎ（Ｎは１以上の整数）を取得する。前述のように、部品シンボル情報は部品データベースに格納されている。トレース部１４０は、核部品のライブラリアクセスキーに基づいて、当該核部品の部品シンボル情報を取得できる。部品シンボル情報は、部品に設けられた部品ピンの配置や数と、当該部品ピンに対して部品内で一意に、昇順（“０”を最初とする）に付与された番号（部品ピン番号ということがある）とを含む。なお、トレース部１４０は当該核部品のＴＭテーブルを生成しておく。
【００９６】
（Ｓ２２）トレース部１４０は、変数ｎに０を代入する。
（Ｓ２３）トレース部１４０は、核部品のｎ番目の部品ピンＰｉｎ（ｎ）を取得する。例えば、ｎ＝０のとき、部品ピン番号“０”に対応する部品ピンを取得する。
【００９７】
（Ｓ２４）トレース部１４０は、起点ピンＰｉｎＳ＝Ｐｉｎ（ｎ）を起点としたトレースを実行する。トレース部１４０は、当該トレースを実行することで、トレースデータとして、１つのＴＰＭテーブルに関するデータ（ＴＰＭテーブル配下のＴＰテーブルおよびＰＤテーブル）を生成する。
【００９８】
（Ｓ２５）トレース部１４０は、変数ｎにｎ＋１を代入する。
（Ｓ２６）トレース部１４０は、ｎ＜Ｎであるか否かを判定する。ｎ＜Ｎである場合、処理をステップＳ２３に進める。ｎ≧Ｎである場合、処理を終了する。
【００９９】
次に、ステップＳ２４の手順を説明する。
図１８は、トレース処理の例（続き）を示すフローチャートである。以下、図１８に示す処理をステップ番号に沿って説明する。
【０１００】
（Ｓ３１）トレース部１４０は、起点ピンＰｉｎＳを処理済であるか否かを判定する。処理済である場合、処理を終了する。処理済でない場合、処理をステップＳ３２に進める。なお、起点ピンＰｉｎＳを処理済であるか否かは、処理済である部品ピンを管理するための配列Ａｒｒａｙを参照することで判定できる。起点ピンＰｉｎＳの部品ピンＩＤが配列Ａｒｒａｙに格納されていれば処理済である。起点ピンＰｉｎＳの部品ピンＩＤが配列Ａｒｒａｙに格納されていなければ処理済でない。
【０１０１】
（Ｓ３２）トレース部１４０は、起点ピンＰｉｎＳの部品ピンＩＤを処理済配列Ａｒｒａｙに格納する。
（Ｓ３３）トレース部１４０は、起点ピンＰｉｎＳに接続するネットＮｅｔＳがあるか否かを判定する。ある場合、処理をステップＳ３４に進める。ない場合、処理を終了する。例えば、当該判定は、起点ピンＰｉｎＳの部品ピンＩＤに対応する部品ピンテーブルの、ネットへのリンクの項目の設定値に基づいて行える。当該設定値があれば、ネットＮｅｔＳがある。当該設定値がなければ、ネットＮｅｔＳがない。
【０１０２】
（Ｓ３４）トレース部１４０は、ネットＮｅｔＳに接続する起点ピンＰｉｎＳ以外の未処理の部品ピン数を示す変数Ｎｐｉｎ（Ｎｐｉｎは１以上の整数）の初期値を取得する。変数Ｎｐｉｎの初期値は、ネットＮｅｔＳのネットテーブルにおける部品ピンへのリンクの項目に設定されたポインタの数によって取得できる。当該ポインタの数の合計から１を減算したものがＮｐｉｎである。また、トレース部１４０は、起点ピンＰｉｎＳが核部品の部品ピンであれば、当該核部品の部品ピンに対応するＴＰＭテーブルを生成する（ただし、ＴＰへのリンクの項目は未設定）。トレース部１４０は、ＴＭテーブルのＴＰＭへのリンクの項目に当該ＴＰＭテーブルを示すポインタを追加する。
【０１０３】
（Ｓ３５）トレース部１４０は、変数ｍに０を代入する。
（Ｓ３６）トレース部１４０は、Ｎｐｉｎ＞０であるか否かを判定する。Ｎｐｉｎ＞０である場合、処理をステップＳ３７に進める。Ｎｐｉｎ≦０である場合、処理を終了する。
【０１０４】
（Ｓ３７）トレース部１４０は、ネットＮｅｔＳに接続する部品ピン（起点ピンＰｉｎＳを除く）のうち、ｍ番目の部品ピンＰｉｎ（ｍ）を取得する。
（Ｓ３８）トレース部１４０は、部品ピンＰｉｎ（ｍ）の部品ピンＩＤが配列Ａｒｒａｙに格納されているか否かを判定する。格納されている場合、処理をステップＳ４３に進める。格納されていない場合、処理をステップＳ３９に進める。
【０１０５】
（Ｓ３９）トレース部１４０は、部品ピンＰｉｎ（ｍ）の部品ピンＩＤを配列Ａｒｒａｙに格納する。
（Ｓ４０）トレース部１４０は、記憶部１１０に記憶されたトレースルールテーブル１１５を用いて、部品ピンＰｉｎ（ｍ）に対する論理透過先の部品ピンである透過先ピンＰｉｎ（ｔ）の取得を試みる。
【０１０６】
（Ｓ４１）トレース部１４０は、透過先ピンＰｉｎ（ｔ）を取得できたか否かを判定する。取得できた場合、処理をステップＳ４２に進める。取得できなかった場合、処理をステップＳ４３に進める。
【０１０７】
（Ｓ４２）トレース部１４０は、起点ピンＰｉｎＳ＝Ｐｉｎ（ｔ）を起点としたトレースを実行する。すなわち、トレース部１４０は、起点ピンＰｉｎＳ＝Ｐｉｎ（ｔ）について、ステップＳ３１〜Ｓ４３の手順を実行する。ステップＳ４１では、透過先ピンＰｉｎ（ｔ）が複数取得され得る。その場合は、１つずつトレースを実行していくことになる。
【０１０８】
（Ｓ４３）トレース部１４０は、変数ｍにｍ＋１を代入する。また、トレース部１４０は、変数ＮｐｉｎにＮｐｉｎ−１を代入する。トレース部１４０は、ステップＳ３１〜Ｓ４３でトレースした範囲について、ＴＰＭテーブル、ＴＰテーブルおよびＰＤテーブルの生成または更新を行う。例えば、ステップＳ３６〜ステップＳ４３の処理を繰り返すことで、ＴＰＭテーブル配下のＴＰテーブルおよびＰＤテーブルを新たに生成するたびに、当該ＴＰＭテーブルのＴＰへのリンクの項目にポインタを追加する。また、既存のＴＰテーブルに対して隣接ＴＰへのリンクの設定を追加することもある。そして、処理をステップＳ３６に進める。
【０１０９】
次に、上記ステップＳ４０の処理手順を説明する。以下では、記憶部１１０に記憶されたトレースルールテーブル１１５を用いた場合の手順を例示している。
図１９は、部品ピン選択処理の例を示すフローチャートである。以下、図１９に示す処理をステップ番号に沿って説明する。
【０１１０】
（Ｓ５１）トレース部１４０は、図１８のステップＳ３７で取得された処理対象の部品ピンＰｉｎ（ｍ）が属する部品Ｐ（ｍ）を取得する。トレース部１４０は、部品ピンＰｉｎ（ｍ）の部品ピンテーブルに基づいて、部品Ｐ（ｍ）を特定し得る。
【０１１１】
（Ｓ５２）トレース部１４０は、部品Ｐ（ｍ）の部品テーブルを参照して、部品Ｐ（ｍ）の部品品種記号が論理透過対象であるか否かを判定する。論理透過対象である場合、処理をステップＳ５３に進める。論理透過対象でない場合、処理を終了する。ここで、当該判定は、部品Ｐ（ｍ）の部品品種記号が、トレースルールテーブル１１５の項番“１”のルールに登録された部品品種記号に含まれるか否かを判定することで行える。当該ルールに登録された部品品種記号に含まれていれば論理透過対象であるし、含まれていなければ論理透過対象でない。
【０１１２】
（Ｓ５３）トレース部１４０は、部品Ｐ（ｍ）の部品テーブルを参照して、部品Ｐ（ｍ）の部品詳細記号が論理透過対象であるか否かを判定する。論理透過対象である場合、処理をステップＳ５４に進める。論理透過対象でない場合、処理を終了する。ここで、当該判定は、部品Ｐ（ｍ）の部品詳細記号が、トレースルールテーブル１１５の項番“２”のルールに登録された部品詳細記号に含まれるか否かを判定することで行える。当該ルールに登録された部品詳細記号に含まれていれば論理透過対象であるし、含まれていなければ論理透過対象でない。
【０１１３】
（Ｓ５４）トレース部１４０は、部品Ｐ（ｍ）の部品シンボル情報から部品ピン数Ｎｐ（Ｎｐは１以上の整数）を取得する。
（Ｓ５５）トレース部１４０は、部品ピン数Ｎｐ＞１であるか否かを判定する。Ｎｐ＞１の場合、処理をステップＳ５６に進める。Ｎｐ≦１の場合、処理を終了する。
【０１１４】
（Ｓ５６）トレース部１４０は、部品ピン数Ｎｐの部品が論理透過対象であるか否かを判定する。論理透過対象である場合、処理をステップＳ５７に進める。論理透過対象でない場合、処理を終了する。ここで、当該判定は、トレースルールテーブル１１５の項番“３”のルールに登録されたＮｍａｘに対して、Ｎｐ≦Ｎｍａｘであるか否かを判定することで行える。Ｎｐ≦Ｎｍａｘであれば論理透過対象であるし、Ｎｐ＞Ｎｍａｘであれば論理透過対象でない。
【０１１５】
（Ｓ５７）トレース部１４０は、部品Ｐ（ｍ）の部品テーブルを参照して、手配指示フラグが“ｔｒｕｅ”であるか否かを判定する。手配指示フラグが“ｔｒｕｅ”である場合、処理をステップＳ５８に進める。手配指示フラグが“ｆａｌｓｅ”である場合、処理を終了する。ここで、当該判定は、トレースルールテーブル１１５の項番“４”のルールに対応するものである。
【０１１６】
（Ｓ５８）トレース部１４０は、部品Ｐ（ｍ）に対して透過先ピンを１つに特定できるか否かを判定する。透過先ピンを１つに特定できる場合、処理をステップＳ５９に進める。透過先ピンを１つに特定できない場合、処理をステップＳ６０に進める。ここで、トレース部１４０は、部品Ｐ（ｍ）に対する透過先ピンを次のように特定できる。トレース部１４０は、部品Ｐ（ｍ）が有する部品ピンのうち部品ピンＰｉｎ（ｍ）以外の部品ピン（透過先ピンの候補）が１つであれば、透過先ピンを１つに特定できる。部品Ｐ（ｍ）が有する部品のうち部品ピンＰｉｎ（ｍ）以外の部品ピンが複数であれば、透過先ピンを１つに特定できない。
【０１１７】
（Ｓ５９）トレース部１４０は、透過先ピンの候補として特定した１つの部品ピンを透過先ピンＰｉｎ（ｔ）として取得する。そして、処理を終了する。
（Ｓ６０）トレース部１４０は、トレースルールテーブル１１５（項番“５”のルール）を参照して、透過先ピンとして複数の部品ピンが許可されている場合は、全ての透過先ピンの候補を透過先ピンとして取得する。トレース部１４０は、透過先ピンとして複数の部品が許可されていない（すなわち、単一ピンのみが許可されている）場合は、透過先ピンの複数の候補のうち部品ピン番号が最小の部品ピンを透過先ピンＰｉｎ（ｔ）として取得する。なお、トレース部１４０は、前述のように部品シンボル情報から部品ピンごとの部品ピン番号を把握できる。そして、処理を終了する。
【０１１８】
図２０は、トレースの例を示す図である。回路図４００は、ネット４０１，４０２，４０３，４０４，４０５、部品４１０，４２０，４３０，４４０，４５０，４６０および部品ピン４１１，４２１，４２２，４３１，４３２，４４１，４４２，４５１，４５２，４６１，４６２を含む。
【０１１９】
部品４１０は部品ピン４１１を有する。部品４１０は核部品である。部品４２０は部品ピン４２１，４２２を有する。部品４３０は部品ピン４３１，４３２を有する。部品４２０，４３０は論理透過の対象である。部品４４０は部品ピン４４１，４４２を有する。部品４５０は部品ピン４５１，４５２を有する。部品４６０は部品ピン４６１，４６２を有する。部品４４０，４５０，４６０は論理透過の対象ではない。
【０１２０】
部品ピン４１１，４２１，４４１はネット４０１に属している。部品ピン４２２，４３１はネット４０２に属している。部品ピン４３２，４６１はネット４０３に属している。部品ピン４４２，４５１はネット４０４に属している。部品ピン４５２，４６２はネット４０５に属している。
【０１２１】
例えば、トレース部１４０は、回路図４００に対して次のようにトレースを行う。まず、部品ピン４１１を起点にネット４０１を辿ると部品ピン４２１，４４１が存在する。部品ピン４２１は部品４２０に属する。部品４２０は論理透過の対象である。部品４２０には部品ピン４２１に対する透過先ピンとして部品ピン４２２が存在する。よって、起点ピンを部品ピン４２２とする。部品ピン４２２を起点にネット４０２を辿ると部品ピン４３１が存在する。部品ピン４３１は部品４３０に属する。部品４３０は論理透過の対象である。部品４３０には部品ピン４３１に対する透過先ピンとして部品ピン４３２が存在する。よって、起点ピンを部品ピン４３２とする。部品ピン４３２を起点にネット４０３を辿ると部品ピン４６１が存在する。部品ピン４６１は部品４６０に属する。部品４６０は論理透過の対象ではない。よって、部品４６０の他の部品ピンについてはトレースを行わない。すなわち、部品４６０がトレースの１つの終端となる。
【０１２２】
続いて、部品ピン４４１は部品４４０に属する。部品４４０は論理透過の対象ではない。よって、部品４４０の他の部品ピンについてはトレースを行わない。すなわち、部品４４０がトレースの１つの終端となる。
【０１２３】
上記のトレース例によれば、トレースデータは次のようになる。部品４１０を核部品としたＴＭテーブルの配下に、部品ピン４１１に関する１つのＴＰＭテーブルがリンクされる。当該ＴＰＭテーブルの配下に、ネット４０１，４０２，４０３に関する３つのＴＰテーブルがリンクされる。
【０１２４】
ネット４０１のＴＰテーブルの配下に部品ピン４１１，４２１，４４１の３つのＰＤテーブルがリンクされる。ネット４０１の隣接ＴＰとしてネット４０２のＴＰテーブルがリンクされる。ネット４０２のＴＰテーブルの配下に部品ピン４２２，４３１の２つのＰＤテーブルがリンクされる。ネット４０２の隣接ＴＰとしてネット４０１，４０３の２つのＴＰテーブルがリンクされる。ネット４０３のＴＰテーブルの配下に部品ピン４３２，４６１の２つのＰＤテーブルがリンクされる。ネット４０３の隣接ＴＰとしてネット４０２のＴＰテーブルがリンクされる。
【０１２５】
次に、図１６のステップＳ１３の対応付け処理の手順を説明する。差分検出部１５０は、標準回路に対するトレースによって得られた標準回路のトレースデータと、比較対象回路に対するトレースによって得られた比較対象回路のトレースデータと、を用いて、以下の対応付け処理を行うことになる。標準回路のトレースデータに含まれる要素（テーブル）に対応する要素が比較対象回路のトレースデータにも含まれているかを判断していくことで、差分検出部１５０は対応付け処理を行う。
【０１２６】
図２１は、対応付け処理の例を示すフローチャートである。以下、図２１に示す処理をステップ番号に沿って説明する。
（Ｓ６１）差分検出部１５０は、核部品同士を対応付ける。１つのトレースデータにつきＴＭテーブルは１つなので、各トレースデータに含まれるＴＭテーブル同士を対応付ければよい。
【０１２７】
（Ｓ６２）差分検出部１５０は、標準回路における核部品に属する部品ピンの中から起点ピンを１つ選択する。このとき、差分検出部１５０は、既に選択済の部品ピンを選択の対象から除外する。例えば、差分検出部１５０は、未選択の部品ピンのうち、部品シンボル情報における部品ピン番号が最小のものを選択する。
【０１２８】
（Ｓ６３）差分検出部１５０は、標準回路における核部品上の起点ピンおよび比較対象回路における核部品上の起点ピンを対応付ける。差分検出部１５０は、既に対応付けが完了している起点ピンを対応付けの対象から除外する。起点ピン同士の対応付けは、部品シンボル情報における部品ピン番号が同一である起点ピン同士を対応付けることで行える。
【０１２９】
（Ｓ６４）差分検出部１５０は、ステップＳ６３で対応付けた各起点ピンが属するＴＰＭテーブル同士を対応付ける。ステップＳ６２で取得された各起点ピンに対して、ＴＰＭテーブルが１つずつ存在するので、それらのＴＰＭテーブル同士を対応付ければよい。
【０１３０】
（Ｓ６５）差分検出部１５０は、標準回路のトレースデータから対応付けを行うＴＰテーブルを１つ選択する。差分検出部１５０は、標準回路における核部品上の起点ピンに近いネットに対応するＴＰテーブルから順番に選択する。このとき、直前に対応付けされたＰＤテーブルがあれば、当該ＰＤテーブルで示される部品が属するＴＰテーブル（隣接ＴＰ）を優先的に選択する。また、差分検出部１５０は、既に選択済の（対応付けが完了している）ＴＰテーブルを選択の対象から除外する。
【０１３１】
（Ｓ６６）差分検出部１５０は、ステップＳ６５で選択されたＴＰテーブルに対して、比較対象回路のトレースデータに含まれるＴＰテーブルを対応付ける。このとき、例えば、標準回路のあるＴＰテーブルに対して、比較対象回路の複数のＴＰテーブルが対応付けの候補となることもある。その場合、差分検出部１５０は、標準回路のＴＰテーブルに含まれるネットＩＤおよび対応付け候補となる比較対象回路の複数のＴＰテーブルに含まれる各ネットＩＤのそれぞれをキーにネットテーブルを参照し、各ネットを示す情報の異同により対応付けを行う。また、比較対象回路のトレースデータの中に対応付け可能なＴＰテーブルが存在しない場合もある。その場合、差分検出部１５０は、その情報（余分なＴＰテーブルの情報）も記録する。
【０１３２】
（Ｓ６７）差分検出部１５０は、ステップＳ６６で対応付けた各ＴＰテーブルに属するＰＤテーブル同士を対応付ける。このとき、例えば、標準回路のあるＰＤテーブルに対して、比較対象回路の複数のＰＤテーブルが対応付けの候補となることもある。その場合、差分検出部１５０は、標準回路のＰＤテーブルに含まれる部品ＩＤおよび対応付け候補となる比較対象回路の複数のＰＤテーブルに含まれる各部品ＩＤのそれぞれをキーに部品テーブルを参照し、各部品を示す情報の異同により対応付けを行う。また、標準回路または比較対象回路において対応付けを行えないＰＤテーブルが存在する場合もある。その場合、差分検出部１５０は、その情報（余分なＰＤテーブルの情報）も記録する。なお、既に対応付けが完了しているＰＤテーブルについては、重複して対応付けを行わなくてよい。
【０１３３】
（Ｓ６８）差分検出部１５０は、標準回路のトレースデータに含まれるＴＰテーブルのうち、未処理の（対応付けされていない）ＴＰテーブルがあるか否かを判定する。未処理のＴＰテーブルがある場合、処理をステップＳ６５に進める。未処理のＴＰテーブルがない場合、処理をステップＳ６９に進める。
【０１３４】
（Ｓ６９）差分検出部１５０は、標準回路の核部品において未処理の起点ピンがあるか否かを判定する。未処理の起点ピンがある場合、処理をステップＳ６２に進める。未処理の起点ピンがない場合、処理を終了する。
【０１３５】
ここで、ステップＳ６６の対応付けでは、標準回路のあるＴＰテーブルに対して、比較対象回路の複数のＴＰテーブルが対応付けの候補となることもある。その場合、例えば、各ＴＰテーブルに対応するネットテーブル同士を対比することで、当該複数の候補を絞り込む。具体的には次の項目について対応付けを行う。（１）ネット名が一致するか。（２）ネット種別が電源ネットである場合に、電源電圧値が一致するか。（３）ネット種別（信号線、電源ネットおよびアースネットなど）が一致するか。（４）ネットの接続部品数が一致するか。これら（１）〜（４）のうち、番号が若い項目ほど一致度が高い。番号が若い項目で一致しているＴＰテーブルが、対応付けの候補の中から優先的に選択される。
【０１３６】
例えば、標準回路のトレースデータに含まれる第１のＴＰテーブルに対して、比較対象回路のトレースデータに含まれる第２，第３のＴＰテーブルが対応付け候補として存在する場合を考える。差分検出部１５０は、第１のＴＰテーブルに含まれるネットＩＤをキーにネットテーブルを参照して、当該ネットＩＤに対応する第１のネットの情報を得る。また、第２のＴＰテーブルに含まれるネットＩＤをキーにネットテーブルを参照して、当該ネットＩＤに対応する第２のネットの情報を得る。第３のＴＰテーブルに含まれるネットＩＤをキーにネットテーブルを参照して、当該ネットＩＤに対応する第３のネットの情報を得る。このとき、第１，第２のネットはネット名が一致しており、第１，第３のネットはネットの接続部品数が一致しているとする（それ以外の項目は一致していない）。すると、差分検出部１５０は、候補である第２，第３のＴＰテーブルのうち、優先度のより高い項目が一致している第２のＴＰテーブルを第１のＴＰテーブルに対応付ける。
【０１３７】
なお、この例において、第１，第３のネットのネット名が更に一致している場合、項目ごとの優先度では各候補の優劣を判断できない。この場合、第１，第３のネットの一致項目の数が、第１，第２のネットの一致項目の数よりも多くなるので、差分検出部１５０は、第３のＴＰテーブルを第１のＴＰテーブルに対応付ける。
【０１３８】
また、ステップＳ６７の対応付けでは、標準回路のあるＰＤテーブルに対して、比較対象回路の複数のＰＤテーブルが対応付けの候補となることもある。その場合、例えば、各ＰＤテーブルに対応する部品テーブル同士を対比することで、当該複数の候補を絞り込む。具体的には次の項目について対応付けを行う。（１）ライブラリアクセスキーが一致するか。（２）部品品種記号と抵抗値などの特性値とが一致するか。（３）部品詳細記号が一致するか。（４）部品品種記号が一致するか。（５）部品名が一致するか。これら（１）〜（５）のうち、番号が若い項目ほど一致度が高い。番号が若い項目で一致しているＰＤテーブルが、対応付けの候補の中から優先的に選択される。
【０１３９】
例えば、標準回路のトレースデータに含まれる第１のＰＤテーブルに対して、比較対象回路のトレースデータに含まれる第２，第３のＰＤテーブルが対応付け候補として存在する場合を考える。差分検出部１５０は、第１のＰＤテーブルに含まれる部品ＩＤをキーに部品テーブルを参照して、当該部品ＩＤに対応する第１の部品の情報を得る。また、第２のＰＤテーブルに含まれる部品ＩＤをキーに部品テーブルを参照して、当該部品ＩＤに対応する第２の部品の情報を得る。第３のＰＤテーブルに含まれる部品ＩＤをキーに部品テーブルを参照して、当該部品ＩＤに対応する第３の部品の情報を得る。このとき、第１，第２の部品は部品品種記号と特性値とが一致しており、第１，第３の部品は部品詳細記号と部品品種記号とが一致しているとする（それ以外は一致していない）。すると、差分検出部１５０は、候補である第２，第３のＰＤテーブルのうち、優先度のより高い項目が一致している第２のＰＤテーブルを第１のＰＤテーブルに対応付ける。
【０１４０】
なお、この例において、第１，第３の部品の特性値が更に一致している場合、項目ごとの優先度では各候補の優劣を判断できない。この場合、差分検出部１５０は、第１，第３の部品の一致項目の数が、第１，第２の部品の一致項目の数よりも多くなるので、差分検出部１５０は、第３のＰＤテーブルを第１のＰＤテーブルに対応付ける。
【０１４１】
上記ネットや部品の対応付け項目を示す情報や各項目の優先度を示す情報は、記憶部１１０に格納される対比テーブルに予め登録される。
図２２は、対応付けの例を示す図である。図２２では図２１の手順を用いて回路図５００，６００のトレースデータに含まれる各要素の対応付けを例示している。回路図５００は標準回路の回路図の一部（トレースにより取得された範囲）である。回路図６００は比較対象回路の回路図の一部（トレースにより取得された範囲）である。
【０１４２】
回路図５００は、ネット５０１，５０２、部品５１０，５２０，５３０および部品ピン５１１，５２１，５２２，５３１を含む。部品５１０は部品ピン５１１を有する。部品５２０は部品ピン５２１，５２２を有する。部品５３０は部品ピン５３１を有する。部品ピン５１１，５２１はネット５０１に属する。部品ピン５２２，５３１はネット５０２に属する。
【０１４３】
回路図６００は、ネット６０１，６０２，６０３、部品６１０，６２０，６３０，６４０および部品ピン６１１，６２１，６２２，６３１，６３２，６４１を含む。部品６１０は部品ピン６１１を有する。部品６２０は部品ピン６２１，６２２を有する。部品６３０は部品ピン６３１，６３２を有する。部品６４０は部品ピン６４１を有する。部品ピン６１１，６２１はネット６０１に属する。部品ピン６２２，６３１はネット６０２に属する。部品ピン６３２，６４１はネット６０３に属する。
【０１４４】
回路図５００，６００の全ての要素が部品５１０，６１０を核部品としたトレース範囲に含まれている。この場合、まず、差分検出部１５０は、核部品である部品５１０，６１０を示す各ＴＭテーブルを対応付ける。続いて、部品ピン５１１，６１１の各ＴＰＭテーブルを対応付ける。ここで、核部品である部品５１０，６１０に複数の部品ピンが存在する場合には、部品シンボル情報における部品ピン番号が一致する各部品ピンのＴＰＭテーブルを対応付ける。
【０１４５】
次に、差分検出部１５０は、当該各ＴＰＭテーブルに属するネット５０１，６０１の各ＴＰテーブルを対応付ける。そして、当該各ＴＰテーブルに属する部品５２０，６２０の各ＰＤテーブルを対応付ける。
【０１４６】
更に、差分検出部１５０は、部品ピン５１１，６１１の各ＴＰＭテーブルに属するネット５０２，６０２の各ＴＰテーブルを対応付ける。そして、当該各ＴＰテーブルに属する部品５３０，６３０の各ＰＤテーブルを対応付ける。ここで、回路図５００について、トレースデータの全ての要素の対応付けが完了したので、差分検出部１５０は、対応付け処理を終了する。
【０１４７】
差分検出部１５０は、上記の対応付け処理を行うと、トレースデータの対応付けた各要素（テーブル）に基づいて、回路情報を参照し、ネットおよび部品の対比を行う。例えば、回路図５００，６００の例では、差分検出部１５０は、ネット５０１，６０１の組についてネットテーブルに登録された各種属性などの対比を行い、差分の情報を生成する。ネット５０２，６０２の組についても同様である。また、ネット６０３は、対応するネットが回路図５００に存在しないため、回路図５００に対する追加分とされる。
【０１４８】
例えば、ネットについて検出する差分の情報として次のような情報が考えられる。（１）ネット名。（２）電圧値。（３）接続部品数。（４）未対応付けのネット。ただし、これらは一例であり、他の情報を差分の情報として検出してもよい。
【０１４９】
また、例えば、差分検出部１５０は、部品５１０，６１０の組について属性などの対比を行い、差分の情報を生成する。部品５２０，６２０の組についても同様である。部品５３０，６３０の組についても同様である。また、部品６４０は、対応する部品が回路図５００に存在しないため、回路図５００に対する追加分とされる。
【０１５０】
例えば、部品について検出する差分の情報として次のような情報が考えられる。（１）ライブラリアクセスキー。（２）部品名。（３）部品特性値。抵抗であれば抵抗値。コンデンサであれば容量値。コイルであればインダクタンス値。（４）部品品種記号。（５）部品詳細記号。（６）未対応付けの部品。ただし、これらは一例であり、他の情報を差分の情報として検出してもよい。
【０１５１】
ここで、標準回路と比較対象回路との差分を確認する場合、ユーザは、比較対象回路内の標準回路の流用箇所／範囲を目視により抽出し、抽出された範囲内の接続状態や部品定数などを確認することが考えられる。しかし、この場合、次の問題がある。（１）回路の接続が複雑になると、流用箇所の把握が困難になり、流用範囲の抽出を誤るおそれがある。（２）回路間で差分を比較する要素（部品やネット）を適切に対応付けられず、誤った要素と比較するおそれがある。（３）要素ごとの差分情報を見落とすおそれがある。
【０１５２】
これに対し、標準回路の回路情報の全体と比較対象回路の回路情報の全体とを対比して、差分を検出することも考えられる。しかし、この場合も次の問題がある。（４）回路情報全体の差分を比較するため、確認不要な箇所についても差分を検出してしまう。（５）単純な部品の有無などしか検出できず、回路ネットの信号の流れに沿った差分（部品の接続順など）を検出できない。（６）部品名や信号名が変化するだけで差分として検出してしまう。（７）回路情報の全体について差分を取得するため、差分が多数存在する場合に目的の差分の情報を探索する手間がかかる。その結果、回路設計の工程の遅延、設計物の品質低下および余計な訂正作業工数の発生、などのおそれもある。
【０１５３】
そこで、設計支援装置１００では、標準回路の回路情報および比較対象回路の回路情報のそれぞれについて、核部品を起点にしたトレースデータを取得して差分の検出に用いる。これにより、標準回路および比較対象回路の余計な箇所について対比が行われることを抑制できる。更に、両回路の比較される部分は、核部品を起点に配線を辿って取得された部分である。このため、核部品に直接または間接に接続された範囲を適切に抽出して対比できる。すなわち、核部品に直接または間接に接続されていない箇所について余計な対比が行われるのを抑制できる。
【０１５４】
また、標準回路についても、所定の部分を抽出して比較を行えるので、標準回路の全体を比較対象としなくてよい場合に有用である。標準回路についても比較対象としなくてよい箇所が含まれる場合に、当該箇所についても対比を行うのは余計だからである。
【０１５５】
特に、標準回路の回路情報および比較対象回路の回路情報の中からユーザにより選択された核部品を特定し、当該核部品を起点に対比する部分を抽出する。このため、標準回路および比較対象回路の中からユーザが対比したい部分を適切に絞り込んで、対比を行える。これにより、両回路の対比を効率的に行える。また、ユーザは、標準回路および比較対象回路のうち、比較対象としたい所望の範囲を、トレースルールの設定を変えることで任意に選択できる。
【０１５６】
また、標準回路のトレースデータに含まれる要素および比較対象回路のトレースデータに含まれる要素を順番に対応付けて対比を行うので、各要素の接続順を考慮した対比を行える。特に要素ごとの特性値などを含めた属性により各要素を対比できるので、詳細な比較が可能となる。
【０１５７】
また、余計な箇所の対比処理を抑制でき、また、要素ごとの詳細な属性による詳細な対比を行えるので、余計な箇所について差分が検出されることを抑制できる。すなわち、差分の検出結果の数が過多となる可能性を低減できる。よって、ユーザは対比箇所につき差分の情報の適切な把握を容易に行える。また、余計な対比を抑制することで、対比の処理を高速化できるという利点もある。このようにして、回路の差分を効率的に取得可能となる。
【０１５８】
なお、対応付け処理では、核部品から順番に対応付けを行う方法を例示した。ただし、追加された部品や削除された部品が分かっている場合など、ユーザが対応付け処理に介入したいということもある。より正確な対応付けを臨機応変に行えるからである。そこで、対応付け処理において、対比対象としない部品のユーザによる事前の指定を許容してもよい。また、強制的に対比対象とする部品の組み合わせのユーザによる事前の指定を許容してもよい。次に、このような事前の指定がある場合の対応付けの他の方法を例示する。
【０１５９】
図２３は、対応付けの他の例（その１）を示す図である。図２３では対応付け例外部品を指定した場合を例示している。対応付け例外部品とは、対比対象としない部品（すなわち、対応付けの対象外とする部品）である。例えば、ユーザは、回路図６００の部品６３０を対応付け例外部品として予め設定している。この場合、回路図５００，６００のトレースデータに対する対応付け処理は次のようになる。なお、図２３の例においても、回路図５００，６００の全ての要素が部品５１０，６１０を核部品としたトレース範囲に含まれている。
【０１６０】
ここで、ネット５０２，６０２の各ＴＰテーブルを対応付けるまでは、図２２の例と同様である。部品５３０のＰＤテーブルを、部品６３０のＰＤテーブルを対応付けない点が図２２の例と異なる。部品６３０は、対応付け例外部品だからである。この場合、部品６３０をスキップし、ネット６０２に隣接する（対応付けがされていない）ネット６０３に属する部品６４０のＰＤテーブルを、部品５３０のＰＤテーブルに対応付ける。なお、ネット６０２に隣接するネットが複数存在し、部品５３０のＰＤテーブルの対応付け候補となるＰＤテーブルが複数存在することもある。その場合には、前述のように各ＰＤテーブルの部品ＩＤから部品テーブルを取得し、各部品テーブルから得られる部品の情報の異同に基づいて、対応付けを行えばよい。
【０１６１】
例えば、部品６３０が追加された部品であることが分かっている場合には、ユーザは、部品６３０を対応付け対象外に指定しておく。このように対応付け処理においてユーザによる介入を可能とすることで、通常であれば部品５３０，６３０が対応付けされる場合でも、部品５３０，６４０についての対比を設計支援装置１００に行わせ、部品５３０，６４０の差分の情報を得られる。
【０１６２】
図２４は、対応付けの他の例（その２）を示す図である。図２４（Ａ）では回路図５００，７００のトレースデータに含まれる各要素の通常の対応付けを例示している。図２４（Ｂ）ではサブ部品および対応付け例外部品を指定した場合の対応付けを例示している。ここで、サブ部品とは、強制的に対比対象とする部品の組み合わせ（すなわち、強制的に対応付ける部品の組み合わせ）である。
【０１６３】
ここで、回路図７００は比較対象回路の回路図の一部（トレースにより取得された範囲）である。回路図７００は、ネット７０１，７０２，７０３，７０４、部品７１０，７２０，７３０，７４０，７５０，７６０および部品ピン７１１，７２１，７２２，７３１，７４１，７４２，７５１，７５２，７６１を含む。部品７１０は部品ピン７１１を有する。部品７２０は部品ピン７２１，７２２を有する。部品７３０は部品ピン７３１を有する。部品７４０は部品ピン７４１，７４２を有する。部品７５０は部品ピン７５１，７５２を有する。部品７６０は部品ピン７６１を有する。部品ピン７１１，７２１，７４１はネット７０１に属する。部品ピン７２２，７３１はネット７０２に属する。部品ピン７４２，７５１はネット７０３に属する。部品ピン７５２，７６１はネット７０４に属する。
【０１６４】
回路図５００，７００の全ての要素が部品５１０，７１０を核部品としたトレース範囲に含まれている。図２４（Ａ）の例では、図２１の手順により、差分検出部１５０は次のような対応付けを行う。差分検出部１５０は、核部品である部品５１０，７１０を示す各ＴＭテーブルを対応付ける。続いて、部品ピン５１１，７１１の各ＴＰＭテーブルを対応付ける。
【０１６５】
次に、差分検出部１５０は、当該各ＴＰＭテーブルに属しており、ネット５０１，７０１の各ＴＰテーブルを対応付ける。そして、ネット５０１のＴＰテーブルに属する部品５２０のＰＤテーブルの対応付けを行う。ここで、回路図７００では、部品５２０のＰＤテーブルに対して対応付け候補が２つ存在する。部品７２０，７４０のＰＤテーブルである。この場合、前述のように、部品５２０の部品テーブルと部品７２０，７４０それぞれの部品テーブルとを対比して、一致項目数や一致項目の優先度に応じて対応付けを行う。ここでは、差分検出部１５０は、部品５２０のＰＤテーブルと部品７２０のＰＤテーブルとを対応付ける。
【０１６６】
更に、差分検出部１５０は、部品ピン５１１，７１１の各ＴＰＭテーブルに属するネット５０２，７０２の各ＴＰテーブルを対応付ける。そして、当該各ＴＰテーブルに属する部品５３０，７３０の各ＰＤテーブルを対応付ける。ここで、回路図５００について、トレーステーブルの全ての要素につき対応付けが完了したので、差分検出部１５０は、対応付け処理を終了する。
【０１６７】
これに対して、図２４（Ｂ）では、部品５２０，７４０の組がサブ部品に、部品７６０が対応付け例外部品に指定されている。この場合、差分検出部１５０は次のような対応付けを行う。差分検出部１５０は、核部品である部品５１０，７１０を示す各ＴＭテーブルを対応付ける。続いて、部品ピン５１１，７１１の各ＴＰＭテーブルを対応付ける。
【０１６８】
次に、差分検出部１５０は、当該各ＴＰＭテーブルに属するネット５０１，７０１の各ＴＰテーブルを対応付ける。そして、ネット５０１のＴＰテーブルに属する部品５２０のＰＤテーブルの対応付けを行う。ここで、回路図７００では、部品５２０のＰＤテーブルに対して対応付け候補が２つ存在する。部品７２０，７４０のＰＤテーブルである。そして、サブ部品として部品５２０，７４０の組が指定されている。したがって、差分検出部１５０は、前述の項目一致の判定を行わずに、部品５２０，７４０の各ＰＤテーブルを対応付ける。
【０１６９】
更に、差分検出部１５０は、部品ピン５１１，７１１の各ＴＰＭテーブルに属するネット５０２，７０３の各ＴＰテーブルを対応付ける。ここで、ネット５０２のＴＰテーブルに対して、ネット７０２のＴＰテーブルではなく、ネット７０３のＴＰテーブルを対応付けるのは、直前に対応付けを行ったＰＤテーブルで示される部品７４０（の部品ピン７４２）がネット７０３に属するからである。
【０１７０】
続いて、差分検出部１５０は、部品５３０，７７０の各ＰＤテーブルを対応付ける。ここで、部品７６０のＰＤテーブルが対応付けの候補とならないのは、部品７６０が対応付け例外部品だからである。
【０１７１】
このように、部品５２０，７４０の組をサブ部品に指定することで、部品７２０に代えて、部品７４０のＰＤテーブルを部品５２０のＰＤテーブルに対応付けることができる。これにより、ユーザの所望の順序で各要素の対応付けを行い、差分の情報を得られるので、検証作業の効率化を図れる。次に、第２の実施の形態のＧＵＩの例を説明する。
【０１７２】
図２５は、ＧＵＩの例（その１）を示す図である。標準回路ウィンドウ８１０、比較対象回路ウィンドウ８２０および回路選択ウィンドウ８３０は、トレース部１４０によってユーザに提供されるＧＵＩである。例えば、トレース部１４０は、標準回路ウィンドウ８１０、比較対象回路ウィンドウ８２０および回路選択ウィンドウ８３０をディスプレイ１１に表示させることができる。
【０１７３】
標準回路ウィンドウ８１０は、標準回路の回路図を表示するためのウィンドウである。比較対象回路ウィンドウ８２０は、比較対象回路の回路図を表示するためのウィンドウである。ユーザは、標準回路ウィンドウ８１０および比較対象回路ウィンドウ８２０に表示された各回路図に含まれる何れかの部品を、カーソルＰ１を用いて選択可能である。ユーザは、入力デバイス１２を操作することでカーソルＰ１の位置を変更できる。また、ユーザは、カーソルＰ１を何れかの部品に重畳表示させ、入力デバイス１２の所定のボタンを押下することで、当該部品の選択をトレース部１４０に入力できる。トレース部１４０は、選択された部品を核部品として特定する。
【０１７４】
回路選択ウィンドウ８３０は、標準回路および比較対象回路の選択および各回路図における核部品を表示するためのウィンドウである。回路選択ウィンドウ８３０は、標準回路選択フォーム８３１、比較対象回路選択フォーム８３２、核部品表示フォーム８３３、サブ部品ボタン８３４および差分チェックボタン８３５を含む。
【０１７５】
標準回路選択フォーム８３１は、標準回路の回路図のデータを選択するためのフォームである。比較対象回路選択フォーム８３２は、比較対象回路の回路図のデータを選択するためのフォームである。例えば、標準回路選択フォーム８３１および比較対象回路選択フォーム８３２は、プルダウン形式で各回路図のデータを選択させるものである。ユーザは、カーソルＰ１を用いて、標準回路および比較対象回路の回路図を選択できる。トレース部１４０は、選択された標準回路の回路図のデータに基づいて、標準回路ウィンドウ８１０内に当該回路図を表示させる。トレース部１４０は、選択された比較対象回路の回路図のデータに基づいて、比較対象回路ウィンドウ８２０内に当該回路図を表示させる。
【０１７６】
核部品表示フォーム８３３は、標準回路ウィンドウ８１０および比較対象回路ウィンドウ８２０で選択された各回路の核部品の部品ＩＤを表示するためのフォームである。例えば、部品ＩＤ“Ｉ９”は、標準回路の核部品の部品ＩＤである。部品ＩＤ“ＩＡ９”は、比較対象回路の核部品の部品ＩＤである。サブ部品ボタン８３４は、サブ部品および対応付け例外部品を選択するためのＧＵＩを呼び出すためのボタンである。差分チェックボタン８３５は指定された内容で、トレース、対応付け処理および差分チェックの一連の処理の実行を開始するためのボタンである。例えば、ユーザは、カーソルＰ１を用いて、サブ部品ボタン８３４や差分チェックボタン８３５を押下操作できる。
【０１７７】
図２６は、ＧＵＩの例（その２）を示す図である。対応付け設定ウィンドウ８４０は、回路選択ウィンドウ８３０のサブ部品ボタン８３４が押下されることで、トレース部１４０によってユーザに提供されるＧＵＩである。例えば、トレース部１４０は、対応付け設定ウィンドウ８４０をディスプレイ１１に表示させることができる。対応付け設定ウィンドウ８４０は、サブ部品指定フォーム８４１、例外部品指定フォーム８４２，８４３、ＯＫボタン８４４およびキャンセルボタン８４５を含む。
【０１７８】
サブ部品指定フォーム８４１は、サブ部品として組み合わせたい標準回路の部品の部品ＩＤと比較対象回路の部品の部品ＩＤとを指定するためのフォームである。１行が１つの組み合わせに相当する。サブ部品の指定を増やしたい場合は、行数を増やすこともできる。ユーザは、カーソルＰ１を操作してサブ部品指定フォーム８４１内の所望の箇所を選択し、部品ＩＤを入力し得る。例えば、Ｎｏ．１で示される行には、部品ＩＤ“Ｉ９”の核部品と部品ＩＤ“ＩＡ９”の核部品との組がサブ部品として指定されている。核部品は両回路において１つであり、１対１に予め対応付けられるからである。この設定は、デフォルトで入力されている。Ｎｏ．２で示される行には、部品ＩＤ“Ｒ１”の部品と部品ＩＤ“ＲＡ１”の部品との組がサブ部品として指定されている。
【０１７９】
例外部品指定フォーム８４２は、標準回路の対応付け例外部品を指定するためのフォームである。例えば、例外部品指定フォーム８４２には、部品ＩＤ“Ｒ８”、“Ｒ１１”の部品が対応付け例外部品として指定されている。
【０１８０】
例外部品指定フォーム８４３は、比較対象回路の対応付け例外部品を指定するためのフォームである。例えば、例外部品指定フォーム８４３には、部品ＩＤ“ＲＡ２”、“ＲＡ９”の部品が対応付け例外部品として指定されている。
【０１８１】
ＯＫボタン８４４は、対応付け設定ウィンドウ８４０の各フォームに入力された設定内容を確定して、対応付け設定ウィンドウ８４０を閉じるためのボタンである。キャンセルボタン８４５は、対応付け設定ウィンドウ８４０に現在入力されている内容を破棄して、対応付け設定ウィンドウ８４０を閉じるためのボタンである。例えば、ユーザは、カーソルＰ１を用いて、ＯＫボタン８４４やキャンセルボタン８４５を押下操作できる。
【０１８２】
図２７は、ＧＵＩの例（その３）を示す図である。差分表示ウィンドウ８５０は、回路選択ウィンドウ８３０の差分チェックボタン８３５が押下され、差分チェックの処理が完了すると、差分検出部１５０によってユーザに提供されるＧＵＩである。例えば、差分検出部１５０は、差分表示ウィンドウ８５０をディスプレイ１１に表示させることができる。
【０１８３】
差分表示ウィンドウ８５０は、差分チェックの結果を提供するためのウィンドウである。差分表示ウィンドウ８５０は、標準回路フォーム８５１、比較対象回路フォーム８５２、差分要素表示フォーム８５３および差分詳細表示フォーム８５４を含む。
【０１８４】
標準回路フォーム８５１は、標準回路の回路図のデータ名を表示するフォームである。比較対象回路フォーム８５２は、比較対象回路の回路図のデータ名を表示するフォームである。
【０１８５】
差分要素表示フォーム８５３は、差分として検出された要素のリストを表示するフォームである。１行が１つの差分要素の情報に相当する。例えば、差分要素表示フォーム８５３には、次のような情報が表示される。
【０１８６】
Ｎｏ．１の行は、標準回路における部品ＩＤ“Ｒ４”の部品および比較対象回路における部品ＩＤ“ＲＡ４”の部品で差分が検出されたことを示す。要素属性“部品”は、差分が検出された要素が“部品”であることを示す。
【０１８７】
Ｎｏ．２の行は、標準回路におけるネットＩＤ“Ｎ５”のネットおよび比較対象回路におけるネットＩＤ“ＮＡ５”のネットで差分が検出されたことを示す。要素属性“ネット”は、差分が検出された要素が“ネット”であることを示す。
【０１８８】
Ｎｏ．３の行は、標準回路における部品ＩＤ“Ｒ１２”の部品に対応する部品が比較対象回路内に存在しないことを示す。
差分詳細表示フォーム８５４は、差分として検出された要素について、当該差分の詳細を表示するためのフォームである。Ｎｏ．で示される行番号は、差分要素表示フォーム８５３のＮｏ．で示される行番号に対応している。また、差分要素表示フォーム８５３のＮｏ．３の行に対応する差分の詳細は差分詳細表示フォーム８５４には表示されていない。対応付けする相手の部品が存在しておらず、属性などについて差分の詳細を得られないからである。例えば、差分詳細表示フォーム８５４には、次のような情報が表示される。
【０１８９】
Ｎｏ．１の行は、標準回路における部品ＩＤ“Ｒ４”の部品および比較対象回路における部品ＩＤ“ＲＡ４”の部品の差分の詳細を示している。エラーレベル“Ｅｒｒｏｒ”は、誤った設計であることを示す。エラー情報“特性値不一致”は、両部品において、特性が不一致であることを示す。この場合、両部品は抵抗であり、部品ＩＤ“Ｒ４”の部品の抵抗値（標準回路値の項目で示される値）は“ｒ１”、部品ＩＤ“ＲＡ４”の部品の抵抗値（製品回路値の項目で示される値）は“ｒ２”である。
【０１９０】
Ｎｏ．２の行は、標準回路におけるネットＩＤ“Ｎ５”のネットおよび比較対象回路におけるネットＩＤ“ＮＡ５”のネットの差分の詳細を表示している。エラーレベル“Ｃａｕｔｉｏｎ”は、誤った設計であると断定はできないが注意を要することを示す。エラー情報“ネット名不一致”は、両ネットにおいてネット名が不一致であることを示す。この場合、ネットＩＤ“Ｎ５”のネットのネット名（標準回路値の項目で示される値）は“ｘｘｘ”であるのに対し、ネットＩＤ“ＮＡ５”のネットのネット名（製品回路値の項目で示される値）は“ｙｙｙ”である。
【０１９１】
ユーザは、差分要素表示フォーム８５３または差分詳細表示フォーム８５４の何れかの行を、カーソルＰ１を用いて選択できる。差分検出部１５０は、選択された行に対応する要素を拡大してユーザに提示する。例えば、差分検出部１５０は、標準回路ウィンドウ８１０および比較対象回路ウィンドウ８２０において、選択された行に対応する各要素を拡大表示するようにトレース部１４０に指示する。
【０１９２】
より具体的には、差分詳細表示フォーム８５４でＮｏ．１の行がユーザにより選択される。すると、標準回路ウィンドウ８１０には、部品ＩＤ“Ｒ４”の部品が拡大表示される。また、比較対象回路ウィンドウ８２０には、部品ＩＤ“ＲＡ４”の部品が拡大表示される。このように差分が検出された要素を強調してユーザに提示する。このため、ユーザは、差分が検出された要素を容易に識別することができる。これにより、回路設計の検証作業の一層の効率化を図れる。
【０１９３】
なお、前述のように、第１の実施の形態の情報処理は、記憶部１ａに記憶されたプログラムを演算部１ｂに実行させることで実現できる。また、第２の実施の形態の情報処理は、ＲＡＭ１０２に記憶されたプログラムをプロセッサ１０１に実行させることで実現できる。プログラムは、コンピュータ読み取り可能な記録媒体（例えば、光ディスク１３、メモリ装置１４およびメモリカード１６など）に記録できる。
【０１９４】
プログラムを流通させる場合、例えば、当該プログラムを記録した可搬記録媒体が提供される。また、プログラムを他のコンピュータの記憶装置に格納しておき、ネットワーク経由でプログラムを配布することもできる。コンピュータは、例えば、可搬記録媒体に記録されたプログラムまたは他のコンピュータから受信したプログラムを、記憶装置に格納し、当該記憶装置からプログラムを読み込んで実行する。ただし、可搬記録媒体から読み込んだプログラムを直接実行してもよく、他のコンピュータからネットワークを介して受信したプログラムを直接実行してもよい。
【０１９５】
また、上記の情報処理の少なくとも一部を、ＤＳＰ、ＡＳＩＣ、ＰＬＤなどの電子回路で実現することもできる。
【符号の説明】
【０１９６】
１  情報処理装置
１ａ  記憶部
１ｂ  演算部
２  第１の回路
２ａ  第１の部分
３  第２の回路
３ａ  第２の部分
【図１】
2014186543.tif 000003
【図２】
2014186543.tif 000004
【図３】
2014186543.tif 000005
【図４】
2014186543.tif 000006
【図５】
2014186543.tif 000007
【図６】
2014186543.tif 000008
【図７】
2014186543.tif 000009
【図８】
2014186543.tif 000010
【図９】
2014186543.tif 000011
【図１０】
2014186543.tif 000012
【図１１】
2014186543.tif 000013
【図１２】
2014186543.tif 000014
【図１３】
2014186543.tif 000015
【図１４】
2014186543.tif 000016
【図１５】
2014186543.tif 000017
【図１６】
2014186543.tif 000018
【図１７】
2014186543.tif 000019
【図１８】
2014186543.tif 000020
【図１９】
2014186543.tif 000021
【図２０】
2014186543.tif 000022
【図２１】
2014186543.tif 000023
【図２２】
2014186543.tif 000024
【図２３】
2014186543.tif 000025
【図２４】
2014186543.tif 000026
【図２５】
2014186543.tif 000027
【図２６】
2014186543.tif 000028
【図２７】
2014186543.tif 000029