回路図表示装置及び回路図表示方法
【課題】効率良く正確に回路の論理を確認することが可能な回路図表示装置及び回路図表示方法を提供する。
【解決手段】回路の情報を記憶する記憶手段と、回路を表示する表示手段と、回路に入力する固定値の指定の入力を受ける入力手段と、入力手段により指定された固定値を回路に入力した場合に、当該回路のうち、当該固定値の伝播によりブロックされる部分を抽出する固定値伝播手段と、を有し、表示手段は、回路のうち、固定値伝播手段により抽出されたブロックされる部分を非表示する。
【解決手段】回路の情報を記憶する記憶手段と、回路を表示する表示手段と、回路に入力する固定値の指定の入力を受ける入力手段と、入力手段により指定された固定値を回路に入力した場合に、当該回路のうち、当該固定値の伝播によりブロックされる部分を抽出する固定値伝播手段と、を有し、表示手段は、回路のうち、固定値伝播手段により抽出されたブロックされる部分を非表示する。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ＬＳＩ等の回路設計やデバッグなどに用いる回路図表示装置及び回路図表示方法に関する。
【背景技術】
【０００２】
ＬＳＩ（Large Scale Integrated circuit）などの回路設計では、シミュレーション用の入力信号を入力し、その結果、どのような出力信号が出力されるかを計算機上でシミュレーションを行い、その出力された出力信号が期待していた出力信号と一致するかどうかを確認することで、その回路の論理が正しいものであるのかどうかを確認する。
【０００３】
期待していた出力信号と異なる出力信号が出力されたときは、その出力信号に関与した経路上で誤作動が起きているはずである。そこで、例えば、特許文献１では、期待していた出力信号と異なる出力信号が複数あったときに、それらの出力信号すべてに関与した部分を、出力側から入力側に信号を辿ることで求め、その部分に色を付ける方法が開示されている。この方法では、このように色づけを行うことにより、出力に関与した部分をわかるようにし、誤作動を起こしている箇所を特定しやすくしている。
【０００４】
また、回路の設計時やデバッグ時に回路の論理を確認するには、回路の状態（例えば、通常動作モードやテスト動作モードなど）を設定する信号線の値に応じて、回路動作に影響がある部分とない部分とを認識する必要がある。
【０００５】
そこで、例えば、SpringSoft社製の回路デバッガであるVerdiは、この伝播する部分と伝播しない部分とを認識するために、回路上の任意のノードに固定された固定値の伝播状態を色づけして表示する機能を有している。つまり、その固定値が伝播する部分を色づけし、伝播しない部分と見分けが容易に付くようにしている。
【０００６】
ここで、ノードに固定された固定値が伝播する部分とは、その固定された固定値が出力に影響を与える部分のことである。例えば、任意のノードに固定された固定値が２入力ＡＮＤゲートまで伝播してきたときに固定値が「１」であった場合、その２入力ＡＮＤゲートより先の部分は、そのノードに固定された固定値の影響を受けない。これは、２入力ＡＮＤゲートは、片方の入力が「１」に固定された場合、もう片方の入力が「１」であれば、出力が「１」になり、もう片方の入力「０」であれば、出力が「０」となるためである。つまり、２入力ＡＮＤゲートは、片方の入力が「１」に固定されたときの出力は、もう片方の入力だけにより決まる。よって、このように、ノードに固定された固定値が２入力ＡＮＤゲートまでに伝播したときに固定値が「１」である場合、そのノードに固定された固定値は、その２入力ＡＮＤゲートまでは伝播するが、その２入力ＡＮＤゲート以降の部分には伝播していかない。
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、上記のように色づけをすることにより、ある程度は認識しやすくなるが、回路全体に対して固定値の伝播情報を表示しているので、回路動作に影響がない部分についても表示されたままであり、回路動作を誤認識する恐れがある。
【０００８】
そこで本発明は、上記問題点に鑑みてなされたもので、効率良く正確に回路の論理を確認することが可能な回路図表示装置及び回路図表示方法を提供することを目的とする。
【課題を解決するための手段】
【０００９】
上記課題を解決するため、本発明における回路図表示装置は、回路の情報を記憶する記憶手段と、前記回路を表示する表示手段と、前記回路に入力する固定値の指定の入力を受ける入力手段と、前記入力手段により指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出する固定値伝播手段と、を有し、前記表示手段は、前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分を非表示することを特徴とする。
【００１０】
また、本発明における回路図表示方法は、回路に入力する固定値の指定の入力を受けるステップと、前記指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、前記回路を表示するステップと、を有し、前記表示するステップは、前記回路のうち、前記ブロックされない部分を非表示することを特徴とする。
【００１１】
また、本発明における回路図表示方法は、回路上のノードの指定の入力と、前記ノードに入力する固定値の指定の入力を受けるステップと、前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、前記回路を表示するステップと、を有し、前記表示するステップは、前記回路のうち、前記ブロックされる部分を非表示することを特徴とする。
【発明の効果】
【００１２】
本発明により、効率良く正確に回路の論理を確認することができる。
【図面の簡単な説明】
【００１３】
【図１】本発明の実施形態に係る回路表示装置の構成例を示す図である。
【図２】本発明の実施形態に係る回路表示装置による表示を説明する図である。
【図３】本発明の実施形態に係る回路表示装置による表示を説明する図である。
【図４】本発明の実施形態に係る回路表示装置における処理動作を示す図である。
【発明を実施するための形態】
【００１４】
次に、発明を実施するための形態について図面を参照して詳細に説明する。
【００１５】
＜回路図表示装置１００の構成例＞
図１は、本発明の実施形態に係る回路図表示装置１００の構成例を示す図である。本実施形態の回路図表示装置１００は、記憶手段１１０と、入力手段１２０と、固定値伝播手段１３０と、表示手段１４０と、を有して構成される。本実施形態は、この構成で、入力手段１２０により、記憶手段１１０に記憶された回路のどのノードにどのような固定値を入力するかの入力をユーザから受け、この固定値の回路上での伝播を固定値伝播手段１２０によりシミュレートする。そして、回路図のうち、その固定値の伝播によりブロックされない部分のみを表示手段１４０により表示する。
【００１６】
記憶手段１１０は、情報を記憶する。本実施形態では、シミュレートを行う回路図の情報を記憶している。
【００１７】
入力手段１２０は、固定ノード情報と、固定値情報の入力をユーザから受ける。つまり、記憶手段１１０に記憶された回路図のうちのどのノードに、どのような固定値を固定するかの情報の入力をユーザから受ける。
【００１８】
記憶手段１１０は、複数の回路図を記憶するようにし、入力手段１２０は、この複数の回路図のうち、どの回路図をシミュレートするかの選択を入力できるようにしても良い。そして、入力手段１２０は、その選択された回路図に対して、固定ノード情報と固定値情報の入力を受けるようにしても良い。
【００１９】
固定値伝播手段１３０は、入力手段１２０により入力された固定ノード情報と固定値情報を処理し、固定値伝播情報として、回路図情報とともに、表示手段１４０に出力する。つまり、固定値伝播手段１３０は、ユーザからの入力により指定されたノードに、ユーザからの入力により指定された固定値を固定したときに、このノードに指定された固定値の、記憶手段１１０に記憶された回路図上での伝播を解析する。そして、解析の結果として、このノードに固定された固定値の伝播によりブロックされる部分の情報を含んだ情報を固定値伝播情報とし、この固定値伝播情報と、回路図の情報と、を表示手段１４０に出力する。
【００２０】
ここで、ノードに固定された固定値の伝播によりブロックされる部分とは、この固定値の伝播に対して影響を与えない部分のことである。例えば、任意のノードに固定された固定値が２入力ＡＮＤゲートまで伝播してきたときに固定値が「０」であった場合、その２入力ＡＮＤゲートより先の部分は、このノードに固定された固定値のみの影響を受けると考えて良い。これは、２入力ＡＮＤゲートは、片方の入力が「０」に固定された場合、もう片方の入力がどのような値の固定値であっても、出力は「０」になるためである。つまり、２入力ＡＮＤゲートは、片方の入力が「０」に固定されたときの出力は、もう片方の入力はその２入力ＡＮＤゲートの出力に影響を与えることはない。よって、このように、ノードに固定された固定値が２入力ＡＮＤゲートまでに伝播したときに固定値が「０」である場合、もう片方の入力は、その２入力ＡＮＤゲート以降の部分には影響を与えない。つまり、この入力に関与した部分から情報は、ノードに固定された固定値の伝播によりブロックされる。
【００２１】
表示手段１４０は、固定値伝播手段１３０により出力された固定値伝播情報に基づいた表示を行う。例えば、固定値伝播情報に基づき、回路図のうち、伝播した固定値によりブロックされる部分の回路図を非表示にする。つまり、表示手段１４０は、固定値伝播情報に基づき、回路図のうち、伝播した固定値によりブロックされない部分のみを表示する。
【００２２】
このように、本実施形態では、回路図のうち、入力手段１２０により入力された固定ノード情報と固定値情報に関係する部分のみ、つまり、伝播した固定値によりブロックされない部分のみを表示するため、回路の論理を確認しやすくなる。よって、効率良く正確に回路の論理を確認することができるようになる。
【００２３】
また、本実施形態では、上述したSpringSoft社製の回路デバッガであるVerdiとは異なり、固定値が伝播する部分を強調表示するのでなく、回路図のうち、伝播した固定値によりブロックされる部分を非表示にする。このため、Verdiなどの表示より簡略化された表示になり、回路の論理をより確認しやすくなる。よって、本実施形態に係る回路図表示装置１００を使用することで、Verdiなどの固定値が伝播する部分を強調表示する方法を使用するより効率良く正確に回路の論理を確認することが可能になる。
【００２４】
また、上記のように、伝播した固定値によりブロックされる部分を完全に非表示にするのではなく、例えば、伝播した固定値によりブロックされる部分を詳細な回路図としてではなく、四角マークなどで表示するようにするなど、省略して表示するようにしても良い。このようにしても、上記と同様の効果を得ることが可能になる。
【００２５】
また、伝播した固定値によりブロックされる部分をグレーアウト表示するようにしても良い。つまり、伝播した固定値によりブロックされる部分は、グレーで表示するようにし、伝播した固定値によりブロックされない部分を強調して表示するようにしても良い。このとき、伝播した固定値によりブロックされる部分は、できる限り、薄いグレーにし、その部分の回路の詳細はわからないが、存在するのは確認できるというようにしても良い。また、伝播した固定値によりブロックされる部分は、破線で表示するようにしても良い。
【００２６】
このようにすることにより、回路全体の様子も見ながら、固定値の伝播を確認することができるようになる。このため、回路の論理の確認が容易にできるようになる。
【００２７】
また、伝播した固定値によりブロックされる部分の表示方法としては、他にもいろいろと考えられる。本実施形態は、伝播した固定値によりブロックされる部分の表示方法を、上記の表示方法に限定するものではない。
【００２８】
＜表示方法の例＞
例えば、図２に示すような回路に本発明を適用した場合を説明する。図２に示した回路は、ＭＵＸ（選択ゲート）を含んでいる。例えば、この回路に対して、入力手段１２０により、ＴＥＳＴ＿ＭＯＤＥというノードに固定値として「１」を固定した場合、ＭＵＸゲートの出力にＴＣＫが選択される。つまり、ＴＥＳＴ＿ＭＯＤＥからＭＵＸに伝播した固定値「１」により、ＰＬＬ信号が入力の関与がする部分からの入力がブロックされることになる。よって、本実施形態では、上記の構成により、図３に示すように表示される。このように、本実施形態では、伝播した固定値によりブロックされる部分が表示されないため、より単純な表示になり、回路論理を認識しやくなる。
【００２９】
また、図３では、ＴＥＳＴ＿ＭＯＤＥ信号線を非表示とし、固定値「（１）」がＭＵＸに伝播したことを示すようにしている。このような表示することにより、表示が簡略化され、回路の論理を確認しやすくなる。
【００３０】
＜回路図表示装置１００における処理動作例＞
図４は、本発明の実施形態に係る回路図表示装置１００における処理動作を示す図である。まず、固定ノード情報と固定値情報とが入力手段１２０により入力される（Ｓ１０１）。つまり、固定値とその固定値に固定されるノードの情報が入力される。固定値伝播手段１３０は、記憶手段１１０に記憶されている回路図上で、入力された固定ノード情報で指定されたノードに、ユーザによる入力により指定された固定値が固定されたときに、その固定値の伝播をシミュレートし、その伝播した固定値によりブロックされる部分を抽出し、その伝播した固定値によりブロックされる部分の情報を表示手段１４０に出力する（Ｓ１０２）。表示手段１４０は、回路図のうち、この伝播した固定値によりブロックされる部分以外の部分、つまり、伝播した固定値によりブロックされない部分を表示する（Ｓ１０３）。
【００３１】
このようにすることにより、伝播した固定値によりブロックされない部分のみが表示されることになり、効率良く正確に回路の論理を確認することができるようになる。
【００３２】
なお、ソフトウェアによる処理を実行する場合には、処理シーケンスを記録したプログラムが格納されているＲＯＭ（Read Only Memory）から、専用のハードウェアに組み込まれているコンピュータ内のメモリ（ＲＡＭ）にプログラムを読み込んで実行させるか、あるいは、各種処理が実行可能な汎用コンピュータにプログラムをインストールして実行させることが可能である。
【００３３】
例えば、プログラムは、記録媒体としてのハードディスクやＲＯＭに予め記録しておくことが可能である。あるいは、プログラムは、フロッピー（登録商標）ディスク等の磁気ディスク、ＣＤ（Compact Disc）、ＤＶＤ(Digital Versatile Disc)等の光ディスク、ＭＯ（Magneto Optical）ディスク等の光磁気ディスクなどのリムーバブル記録媒体に、一時的、あるいは、永続的に格納（記録）しておくことが可能である。
【００３４】
このようなリムーバブル記録媒体は、いわゆるパッケージソフトウェアとして提供することが可能である。
【００３５】
なお、プログラムは、上述したようなリムーバブル記録媒体からコンピュータにインストールする他、ダウンロードサイトから、コンピュータに無線転送したり、ＬＡＮ（Local Area Network）、インターネットといったネットワークを介して、コンピュータに有線で転送したりし、コンピュータでは、転送されてきたプログラムを受信し、内蔵するハードディスク等の記録媒体にインストールすることが可能である。
【００３６】
また、上記実施形態で説明した処理動作に従って時系列的に実行されるのみならず、処理を実行する装置の処理能力、あるいは、必要に応じて並列的にあるいは個別に実行するように構築することも可能である。
【００３７】
また、上記実施形態で説明したシステムは、複数の装置の論理的集合構成にしたり、各装置の機能を混在させたりするように構築することも可能である。
【００３８】
以上、本発明の好適な実施の形態により本発明を説明した。ここでは特定の具体例を示して本発明を説明したが、特許請求の範囲に定義された本発明の広範囲な趣旨および範囲から逸脱することなく、これら具体例に様々な修正および変更が可能である。
【００３９】
また、本発明における回路図表示装置は、前記入力手段は、前記回路上のノードの指定の入力と、前記ノードに固定する固定値の指定の入力を受け、前記固定値伝播手段は、前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに固定した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するようにしても良い。
【００４０】
また、本発明における回路図表示装置は、前記表示手段は、前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分以外の部分を強調して表示するようにしても良い。
【００４１】
また、本発明における回路図表示方法は、前記表示するステップは、前記回路のうち、前記ブロックされる部分以外の部分を強調して表示するようにしても良い。
【符号の説明】
【００４２】
１００ 回路表示装置
１１０ 記憶手段
１２０ 入力手段
１３０ 固定値伝播手段
１４０ 表示手段
【先行技術文献】
【特許文献】
【００４３】
【特許文献１】特開平２−３１１７７号公報
【技術分野】
【０００１】
本発明は、ＬＳＩ等の回路設計やデバッグなどに用いる回路図表示装置及び回路図表示方法に関する。
【背景技術】
【０００２】
ＬＳＩ（Large Scale Integrated circuit）などの回路設計では、シミュレーション用の入力信号を入力し、その結果、どのような出力信号が出力されるかを計算機上でシミュレーションを行い、その出力された出力信号が期待していた出力信号と一致するかどうかを確認することで、その回路の論理が正しいものであるのかどうかを確認する。
【０００３】
期待していた出力信号と異なる出力信号が出力されたときは、その出力信号に関与した経路上で誤作動が起きているはずである。そこで、例えば、特許文献１では、期待していた出力信号と異なる出力信号が複数あったときに、それらの出力信号すべてに関与した部分を、出力側から入力側に信号を辿ることで求め、その部分に色を付ける方法が開示されている。この方法では、このように色づけを行うことにより、出力に関与した部分をわかるようにし、誤作動を起こしている箇所を特定しやすくしている。
【０００４】
また、回路の設計時やデバッグ時に回路の論理を確認するには、回路の状態（例えば、通常動作モードやテスト動作モードなど）を設定する信号線の値に応じて、回路動作に影響がある部分とない部分とを認識する必要がある。
【０００５】
そこで、例えば、SpringSoft社製の回路デバッガであるVerdiは、この伝播する部分と伝播しない部分とを認識するために、回路上の任意のノードに固定された固定値の伝播状態を色づけして表示する機能を有している。つまり、その固定値が伝播する部分を色づけし、伝播しない部分と見分けが容易に付くようにしている。
【０００６】
ここで、ノードに固定された固定値が伝播する部分とは、その固定された固定値が出力に影響を与える部分のことである。例えば、任意のノードに固定された固定値が２入力ＡＮＤゲートまで伝播してきたときに固定値が「１」であった場合、その２入力ＡＮＤゲートより先の部分は、そのノードに固定された固定値の影響を受けない。これは、２入力ＡＮＤゲートは、片方の入力が「１」に固定された場合、もう片方の入力が「１」であれば、出力が「１」になり、もう片方の入力「０」であれば、出力が「０」となるためである。つまり、２入力ＡＮＤゲートは、片方の入力が「１」に固定されたときの出力は、もう片方の入力だけにより決まる。よって、このように、ノードに固定された固定値が２入力ＡＮＤゲートまでに伝播したときに固定値が「１」である場合、そのノードに固定された固定値は、その２入力ＡＮＤゲートまでは伝播するが、その２入力ＡＮＤゲート以降の部分には伝播していかない。
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、上記のように色づけをすることにより、ある程度は認識しやすくなるが、回路全体に対して固定値の伝播情報を表示しているので、回路動作に影響がない部分についても表示されたままであり、回路動作を誤認識する恐れがある。
【０００８】
そこで本発明は、上記問題点に鑑みてなされたもので、効率良く正確に回路の論理を確認することが可能な回路図表示装置及び回路図表示方法を提供することを目的とする。
【課題を解決するための手段】
【０００９】
上記課題を解決するため、本発明における回路図表示装置は、回路の情報を記憶する記憶手段と、前記回路を表示する表示手段と、前記回路に入力する固定値の指定の入力を受ける入力手段と、前記入力手段により指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出する固定値伝播手段と、を有し、前記表示手段は、前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分を非表示することを特徴とする。
【００１０】
また、本発明における回路図表示方法は、回路に入力する固定値の指定の入力を受けるステップと、前記指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、前記回路を表示するステップと、を有し、前記表示するステップは、前記回路のうち、前記ブロックされない部分を非表示することを特徴とする。
【００１１】
また、本発明における回路図表示方法は、回路上のノードの指定の入力と、前記ノードに入力する固定値の指定の入力を受けるステップと、前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、前記回路を表示するステップと、を有し、前記表示するステップは、前記回路のうち、前記ブロックされる部分を非表示することを特徴とする。
【発明の効果】
【００１２】
本発明により、効率良く正確に回路の論理を確認することができる。
【図面の簡単な説明】
【００１３】
【図１】本発明の実施形態に係る回路表示装置の構成例を示す図である。
【図２】本発明の実施形態に係る回路表示装置による表示を説明する図である。
【図３】本発明の実施形態に係る回路表示装置による表示を説明する図である。
【図４】本発明の実施形態に係る回路表示装置における処理動作を示す図である。
【発明を実施するための形態】
【００１４】
次に、発明を実施するための形態について図面を参照して詳細に説明する。
【００１５】
＜回路図表示装置１００の構成例＞
図１は、本発明の実施形態に係る回路図表示装置１００の構成例を示す図である。本実施形態の回路図表示装置１００は、記憶手段１１０と、入力手段１２０と、固定値伝播手段１３０と、表示手段１４０と、を有して構成される。本実施形態は、この構成で、入力手段１２０により、記憶手段１１０に記憶された回路のどのノードにどのような固定値を入力するかの入力をユーザから受け、この固定値の回路上での伝播を固定値伝播手段１２０によりシミュレートする。そして、回路図のうち、その固定値の伝播によりブロックされない部分のみを表示手段１４０により表示する。
【００１６】
記憶手段１１０は、情報を記憶する。本実施形態では、シミュレートを行う回路図の情報を記憶している。
【００１７】
入力手段１２０は、固定ノード情報と、固定値情報の入力をユーザから受ける。つまり、記憶手段１１０に記憶された回路図のうちのどのノードに、どのような固定値を固定するかの情報の入力をユーザから受ける。
【００１８】
記憶手段１１０は、複数の回路図を記憶するようにし、入力手段１２０は、この複数の回路図のうち、どの回路図をシミュレートするかの選択を入力できるようにしても良い。そして、入力手段１２０は、その選択された回路図に対して、固定ノード情報と固定値情報の入力を受けるようにしても良い。
【００１９】
固定値伝播手段１３０は、入力手段１２０により入力された固定ノード情報と固定値情報を処理し、固定値伝播情報として、回路図情報とともに、表示手段１４０に出力する。つまり、固定値伝播手段１３０は、ユーザからの入力により指定されたノードに、ユーザからの入力により指定された固定値を固定したときに、このノードに指定された固定値の、記憶手段１１０に記憶された回路図上での伝播を解析する。そして、解析の結果として、このノードに固定された固定値の伝播によりブロックされる部分の情報を含んだ情報を固定値伝播情報とし、この固定値伝播情報と、回路図の情報と、を表示手段１４０に出力する。
【００２０】
ここで、ノードに固定された固定値の伝播によりブロックされる部分とは、この固定値の伝播に対して影響を与えない部分のことである。例えば、任意のノードに固定された固定値が２入力ＡＮＤゲートまで伝播してきたときに固定値が「０」であった場合、その２入力ＡＮＤゲートより先の部分は、このノードに固定された固定値のみの影響を受けると考えて良い。これは、２入力ＡＮＤゲートは、片方の入力が「０」に固定された場合、もう片方の入力がどのような値の固定値であっても、出力は「０」になるためである。つまり、２入力ＡＮＤゲートは、片方の入力が「０」に固定されたときの出力は、もう片方の入力はその２入力ＡＮＤゲートの出力に影響を与えることはない。よって、このように、ノードに固定された固定値が２入力ＡＮＤゲートまでに伝播したときに固定値が「０」である場合、もう片方の入力は、その２入力ＡＮＤゲート以降の部分には影響を与えない。つまり、この入力に関与した部分から情報は、ノードに固定された固定値の伝播によりブロックされる。
【００２１】
表示手段１４０は、固定値伝播手段１３０により出力された固定値伝播情報に基づいた表示を行う。例えば、固定値伝播情報に基づき、回路図のうち、伝播した固定値によりブロックされる部分の回路図を非表示にする。つまり、表示手段１４０は、固定値伝播情報に基づき、回路図のうち、伝播した固定値によりブロックされない部分のみを表示する。
【００２２】
このように、本実施形態では、回路図のうち、入力手段１２０により入力された固定ノード情報と固定値情報に関係する部分のみ、つまり、伝播した固定値によりブロックされない部分のみを表示するため、回路の論理を確認しやすくなる。よって、効率良く正確に回路の論理を確認することができるようになる。
【００２３】
また、本実施形態では、上述したSpringSoft社製の回路デバッガであるVerdiとは異なり、固定値が伝播する部分を強調表示するのでなく、回路図のうち、伝播した固定値によりブロックされる部分を非表示にする。このため、Verdiなどの表示より簡略化された表示になり、回路の論理をより確認しやすくなる。よって、本実施形態に係る回路図表示装置１００を使用することで、Verdiなどの固定値が伝播する部分を強調表示する方法を使用するより効率良く正確に回路の論理を確認することが可能になる。
【００２４】
また、上記のように、伝播した固定値によりブロックされる部分を完全に非表示にするのではなく、例えば、伝播した固定値によりブロックされる部分を詳細な回路図としてではなく、四角マークなどで表示するようにするなど、省略して表示するようにしても良い。このようにしても、上記と同様の効果を得ることが可能になる。
【００２５】
また、伝播した固定値によりブロックされる部分をグレーアウト表示するようにしても良い。つまり、伝播した固定値によりブロックされる部分は、グレーで表示するようにし、伝播した固定値によりブロックされない部分を強調して表示するようにしても良い。このとき、伝播した固定値によりブロックされる部分は、できる限り、薄いグレーにし、その部分の回路の詳細はわからないが、存在するのは確認できるというようにしても良い。また、伝播した固定値によりブロックされる部分は、破線で表示するようにしても良い。
【００２６】
このようにすることにより、回路全体の様子も見ながら、固定値の伝播を確認することができるようになる。このため、回路の論理の確認が容易にできるようになる。
【００２７】
また、伝播した固定値によりブロックされる部分の表示方法としては、他にもいろいろと考えられる。本実施形態は、伝播した固定値によりブロックされる部分の表示方法を、上記の表示方法に限定するものではない。
【００２８】
＜表示方法の例＞
例えば、図２に示すような回路に本発明を適用した場合を説明する。図２に示した回路は、ＭＵＸ（選択ゲート）を含んでいる。例えば、この回路に対して、入力手段１２０により、ＴＥＳＴ＿ＭＯＤＥというノードに固定値として「１」を固定した場合、ＭＵＸゲートの出力にＴＣＫが選択される。つまり、ＴＥＳＴ＿ＭＯＤＥからＭＵＸに伝播した固定値「１」により、ＰＬＬ信号が入力の関与がする部分からの入力がブロックされることになる。よって、本実施形態では、上記の構成により、図３に示すように表示される。このように、本実施形態では、伝播した固定値によりブロックされる部分が表示されないため、より単純な表示になり、回路論理を認識しやくなる。
【００２９】
また、図３では、ＴＥＳＴ＿ＭＯＤＥ信号線を非表示とし、固定値「（１）」がＭＵＸに伝播したことを示すようにしている。このような表示することにより、表示が簡略化され、回路の論理を確認しやすくなる。
【００３０】
＜回路図表示装置１００における処理動作例＞
図４は、本発明の実施形態に係る回路図表示装置１００における処理動作を示す図である。まず、固定ノード情報と固定値情報とが入力手段１２０により入力される（Ｓ１０１）。つまり、固定値とその固定値に固定されるノードの情報が入力される。固定値伝播手段１３０は、記憶手段１１０に記憶されている回路図上で、入力された固定ノード情報で指定されたノードに、ユーザによる入力により指定された固定値が固定されたときに、その固定値の伝播をシミュレートし、その伝播した固定値によりブロックされる部分を抽出し、その伝播した固定値によりブロックされる部分の情報を表示手段１４０に出力する（Ｓ１０２）。表示手段１４０は、回路図のうち、この伝播した固定値によりブロックされる部分以外の部分、つまり、伝播した固定値によりブロックされない部分を表示する（Ｓ１０３）。
【００３１】
このようにすることにより、伝播した固定値によりブロックされない部分のみが表示されることになり、効率良く正確に回路の論理を確認することができるようになる。
【００３２】
なお、ソフトウェアによる処理を実行する場合には、処理シーケンスを記録したプログラムが格納されているＲＯＭ（Read Only Memory）から、専用のハードウェアに組み込まれているコンピュータ内のメモリ（ＲＡＭ）にプログラムを読み込んで実行させるか、あるいは、各種処理が実行可能な汎用コンピュータにプログラムをインストールして実行させることが可能である。
【００３３】
例えば、プログラムは、記録媒体としてのハードディスクやＲＯＭに予め記録しておくことが可能である。あるいは、プログラムは、フロッピー（登録商標）ディスク等の磁気ディスク、ＣＤ（Compact Disc）、ＤＶＤ(Digital Versatile Disc)等の光ディスク、ＭＯ（Magneto Optical）ディスク等の光磁気ディスクなどのリムーバブル記録媒体に、一時的、あるいは、永続的に格納（記録）しておくことが可能である。
【００３４】
このようなリムーバブル記録媒体は、いわゆるパッケージソフトウェアとして提供することが可能である。
【００３５】
なお、プログラムは、上述したようなリムーバブル記録媒体からコンピュータにインストールする他、ダウンロードサイトから、コンピュータに無線転送したり、ＬＡＮ（Local Area Network）、インターネットといったネットワークを介して、コンピュータに有線で転送したりし、コンピュータでは、転送されてきたプログラムを受信し、内蔵するハードディスク等の記録媒体にインストールすることが可能である。
【００３６】
また、上記実施形態で説明した処理動作に従って時系列的に実行されるのみならず、処理を実行する装置の処理能力、あるいは、必要に応じて並列的にあるいは個別に実行するように構築することも可能である。
【００３７】
また、上記実施形態で説明したシステムは、複数の装置の論理的集合構成にしたり、各装置の機能を混在させたりするように構築することも可能である。
【００３８】
以上、本発明の好適な実施の形態により本発明を説明した。ここでは特定の具体例を示して本発明を説明したが、特許請求の範囲に定義された本発明の広範囲な趣旨および範囲から逸脱することなく、これら具体例に様々な修正および変更が可能である。
【００３９】
また、本発明における回路図表示装置は、前記入力手段は、前記回路上のノードの指定の入力と、前記ノードに固定する固定値の指定の入力を受け、前記固定値伝播手段は、前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに固定した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するようにしても良い。
【００４０】
また、本発明における回路図表示装置は、前記表示手段は、前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分以外の部分を強調して表示するようにしても良い。
【００４１】
また、本発明における回路図表示方法は、前記表示するステップは、前記回路のうち、前記ブロックされる部分以外の部分を強調して表示するようにしても良い。
【符号の説明】
【００４２】
１００ 回路表示装置
１１０ 記憶手段
１２０ 入力手段
１３０ 固定値伝播手段
１４０ 表示手段
【先行技術文献】
【特許文献】
【００４３】
【特許文献１】特開平２−３１１７７号公報
【特許請求の範囲】
【請求項１】
回路の情報を記憶する記憶手段と、
前記回路を表示する表示手段と、
前記回路に入力する固定値の指定の入力を受ける入力手段と、
前記入力手段により指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出する固定値伝播手段と、を有し、
前記表示手段は、
前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分を非表示することを特徴とする回路図表示装置。
【請求項２】
前記入力手段は、
前記回路上のノードの指定の入力と、前記ノードに固定する固定値の指定の入力を受け、
前記固定値伝播手段は、
前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに固定した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出することを特徴とする請求項１に記載の回路図表示装置。
【請求項３】
前記表示手段は、
前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分以外の部分を強調して表示することを特徴とする請求項１または２に記載の回路図表示装置。
【請求項４】
回路に入力する固定値の指定の入力を受けるステップと、
前記指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、
前記回路を表示するステップと、を有し、
前記表示するステップは、
前記回路のうち、前記ブロックされない部分を非表示することを特徴とする回路図表示方法。
【請求項５】
回路上のノードの指定の入力と、前記ノードに入力する固定値の指定の入力を受けるステップと、
前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、
前記回路を表示するステップと、を有し、
前記表示するステップは、
前記回路のうち、前記ブロックされる部分を非表示することを特徴とする回路図表示方法。
【請求項６】
前記表示するステップは、
前記回路のうち、前記ブロックされる部分以外の部分を強調して表示することを特徴とする請求項４または５に記載の回路図表示方法。
【請求項１】
回路の情報を記憶する記憶手段と、
前記回路を表示する表示手段と、
前記回路に入力する固定値の指定の入力を受ける入力手段と、
前記入力手段により指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出する固定値伝播手段と、を有し、
前記表示手段は、
前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分を非表示することを特徴とする回路図表示装置。
【請求項２】
前記入力手段は、
前記回路上のノードの指定の入力と、前記ノードに固定する固定値の指定の入力を受け、
前記固定値伝播手段は、
前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに固定した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出することを特徴とする請求項１に記載の回路図表示装置。
【請求項３】
前記表示手段は、
前記回路のうち、前記固定値伝播手段により抽出された前記ブロックされる部分以外の部分を強調して表示することを特徴とする請求項１または２に記載の回路図表示装置。
【請求項４】
回路に入力する固定値の指定の入力を受けるステップと、
前記指定された固定値を前記回路に入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、
前記回路を表示するステップと、を有し、
前記表示するステップは、
前記回路のうち、前記ブロックされない部分を非表示することを特徴とする回路図表示方法。
【請求項５】
回路上のノードの指定の入力と、前記ノードに入力する固定値の指定の入力を受けるステップと、
前記入力手段により指定された固定値を、前記入力手段により指定された前記回路上のノードに入力した場合に、前記回路のうち、前記固定値の伝播によりブロックされる部分を抽出するステップと、
前記回路を表示するステップと、を有し、
前記表示するステップは、
前記回路のうち、前記ブロックされる部分を非表示することを特徴とする回路図表示方法。
【請求項６】
前記表示するステップは、
前記回路のうち、前記ブロックされる部分以外の部分を強調して表示することを特徴とする請求項４または５に記載の回路図表示方法。
【図１】
【図２】
【図３】
【図４】
【図２】
【図３】
【図４】
【公開番号】特開２０１１−１９２１９７（Ｐ２０１１−１９２１９７Ａ）
【公開日】平成２３年９月２９日（２０１１．９．２９）
【国際特許分類】
【出願番号】特願２０１０−５９７３３（Ｐ２０１０−５９７３３）
【出願日】平成２２年３月１６日（２０１０．３．１６）
【出願人】（０００００６７４７）株式会社リコー (37,907)
【Ｆターム（参考）】
【公開日】平成２３年９月２９日（２０１１．９．２９）
【国際特許分類】
【出願日】平成２２年３月１６日（２０１０．３．１６）
【出願人】（０００００６７４７）株式会社リコー (37,907)
【Ｆターム（参考）】
[ Back to top ]