JP3183581B2 - 論理回路自動生成装置および論理検証装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理回路自動生成装置
および論理検証装置に関し、特にＣＡＤ（Computer Aid
ed Design ）において、オペレータの仕様入力に対し、
論理回路の一表現形態での結果物あるいは中間生成物を
自動生成し、その自動生成した結果物を検証する装置に
関するものである。

【０００２】

【従来の技術】従来の論理回路シミュレーション装置に
おいては、検証すべき論理回路とその論理回路の入力デ
ータを表現した数値データを入力し、その入力データに
従って論理回路のシミュレーションを行ない、論理回路
の動作シミュレーション結果である出力データを数値で
出力するようにしていた。

【０００３】即ち、検証すべき論理回路の一例として、
図１２に示すような論理回路を、下記のような、ハード
ウエア記述言語で記述し、その入力データとして“０
０”，“０１”，“１０”，“１１”をそれぞれ入力
し、その出力データとして、“０００１”，“００１
０”，“０１００”，“１０００”がそれぞれ期待通り
得られるか否かで、その検証を行なうようにしていた。
なお、この図１２において、１１１は入力端子ＩＮ０，
ＩＮ１に接続されたその入力ノードＩ１，Ｉ２の信号を
入力しそのＮＯＲをとった信号をその出力ノードＯ１を
介して出力端子ＯＵＴ０に出力する２入力ＮＯＲゲー
ト、１１２は入力端子ＩＮ１およびノードｎｅｔ８に接
続されたその入力ノードＩ１，Ｉ２の信号を入力しその
ＮＯＲをとった信号をその出力ノードＯ１を介して出力
端子ＯＵＴ１に出力する２入力ＮＯＲゲート、１１３は
ノードｎｅｔ８および入力端子ＩＮ１に接続されたその
入力ノードＩ１，Ｉ２の信号を入力しそのＡＮＤをとっ
た信号をその出力ノードＯ１を介して出力端子ＯＵＴ２
に出力する２入力ＡＮＤゲート、１１４は入力端子ＩＮ
０，ＩＮ１に接続されたその入力ノードＩ１，Ｉ２の信
号を入力しそのＡＮＤをとった信号をその出力ノードＯ
１を介して出力端子ＯＵＴ３に出力する２入力ＡＮＤゲ
ート、１１５は入力端子ＩＮ０に接続されたその入力ノ
ードＩ１の信号を反転して出力ノードＯ１を介してノー
ドｎｅｔ８に出力するインバータである。従って、検証
すべき論理回路をハードウエア記述言語で記述すると、
以下のようになる。

【０００４】 module dec2to4 (OUT0，OUT1，OUT2，OUT3，IN0, IN1) ； output OUTO, OUT1, OUT2, OUT3 ； intput IN0，IN1 ； ANDO2 I3 (OUT3, IN0, IN1)； ANDO2 I2 (OUT2, net8, IN1) ； IO1 I4 (net8, IN0) ； NRO2 I1 (OUT1, IN1, net8)； NRO2 I0 (OUT1, IN0, IN1) ；

【０００５】

【発明が解決しようとする課題】しかしながら、従来の
論理回路シミュレーション装置では検証しようとする回
路の仕様記述をハードウェア記述言語で行っており、そ
の検証は、上述のように入力データとして“００”，
“０１”，“１０”，“１１”をそれぞれ入力した場合
に、その出力データとして、“０００１”，“００１
０”，“０１００”，“１０００”が得られるか否か、
即ち、それぞれ記述した仕様の目的とする結果が期待通
りの結果となるか否かについて行われるにすぎず、また
その検証結果は上述のように数値にて表示されるのみで
あった。このため、その検証過程においてはその問題点
を判定することが困難であった。

【０００６】この発明は、上記のような従来のものの問
題点を解消するためになされたもので、論理回路の動作
シミュレーション過程を視覚的に表示でき、使用者が問
題点の判定を容易に行なえる論理回路自動生成装置およ
び論理検証装置を得ることを目的としている。

【０００７】

【課題を解決するための手段】この発明に係る論理回路
自動生成装置は、状態遷移図を含む図形入力、もしくは
その一部にハードウェア記述言語が混在して記述された
図形入力によって示された、目的とする仕様またはこれ
を包含する仕様を実現する論理回路結果物を生成する論
理回路自動生成手段と、本装置が合成した論理回路結果
物と、他の装置で作成され本装置が合成した論理回路結
果物と協調して動作する論理回路結果物とを合わせてそ
の正当性を検証するシミュレーションを実行する論理検
証手段と、この論理検証手段によるシミュレーションに
より状態が遷移する様子を、本装置に入力した状態遷移
図の状態を修飾する絵もしくは文字を、状態の遷移に伴
って他の状態位置に順次表示位置を変更することにより
表示する検証結果表示手段とを設けるようにしたもので
ある。

【０００８】また、この発明に係る論理検証装置は、状
態遷移図を含む図形入力、もしくはその一部にハードウ
ェア記述言語が混在して記述された図形入力によって示
された、目的とする仕様またはこれを包含する仕様を実
現する論理回路の中間生成物を生成する論理回路自動生
成手段と、本装置が合成した論理回路の中間生成物と、
他の装置で作成され本装置が合成した論理回路の中間生
成物と協調して動作する論理回路の中間生成物とを合わ
せてその正当性を検証するシミュレーションを実行する
論理検証手段と、該論理検証手段によるシミュレーショ
ンにより状態が遷移する様子を、本装置に入力した状態
遷移図の状態を修飾する絵もしくは文字を、状態の遷移
に伴って他の状態位置に順次表示位置を変更することに
より表示する検証結果表示手段とを設けるようにしたも
のである。

【０００９】

【００１０】

【００１１】

【００１２】

【００１３】

【００１４】

【００１５】

【作用】本発明においては、上述のように構成したこと
により、状態遷移図を含む図形入力、もしくはその一部
にハードウェア記述言語が混在して記述された図形入力
によって記述された論理回路の仕様から論理回路結果物
を生成する装置によって、入力した図形によって生成し
た論理回路結果物と、他の装置で作成され本装置が合成
した論理回路結果物と協調して動作する論理回路結果物
とを合せてその正当性を検証するシミュレーションの結
果を、シミュレーションにより状態が遷移する様子を、
本装置に入力した状態遷移図の状態を修飾する絵もしく
は文字を、状態の遷移に伴って他の状態位置に順次表示
位置を変更することにより表示するようにしたので、問
題のある箇所も容易に理解することができ、論理回路の
正当性の検査が容易になる。

【００１６】また、本発明においては、上述のように構
成したことにより、状態遷移図を含む図形入力、もしく
はその一部にハードウェア記述言語が混在して記述され
た図形入力によって記述された論理回路の仕様から論理
回路の中間生成物を生成する装置によって、入力した図
形によって生成した論理回路の中間生成物と、他の装置
で作成され本装置が合成した論理回路の中間生成物と協
調して動作する論理回路結果物とを合せてその正当性を
検証するシミュレーションの結果を、シミュレーション
により状態が遷移する様子を、本装置に入力した状態遷
移図の状態を修飾する絵もしくは文字を、状態の遷移に
伴って他の状態位置に順次表示位置を変更することによ
り表示するようにしたので、問題のある箇所も容易に理
解することができ、論理回路の正当性の検査が容易にな
る。

【００１７】

【００１８】

【００１９】

【００２０】

【００２１】

【００２２】

【００２３】

【実施例】

実施例１．以下、この発明の一実施例を図について説明
する。図１は本発明の一実施例による論理回路自動生成
装置の全体構成を示すブロック構成図である。

【００２４】図１において、１は状態遷移図等の図形入
力による論理回路の仕様入力によって論理回路結果物を
生成し、また論理回路結果物の正当性を検査するシミュ
レーションの結果を例えばそのビデオディスプレイ装置
に表示する機能を有する論理回路自動生成装置本体、２
はこの論理回路自動生成装置本体１によって生成された
論理回路結果物であり、これは論理回路自動生成装置本
体１に入力された状態遷移図等の図形入力に対応する論
理回路の回路図等がこれに相当する。また、３は論理回
路結果物２を入力し、この論理回路結果物の回路動作を
シミュレーションする機能を有するシミュレーション装
置、４は論理回路自動生成装置本体１がシミュレーショ
ン装置３の動作を制御するための制御情報の情報伝達経
路、５はシミュレーション装置３による論理回路のシミ
ュレーションの結果情報を論理回路自動生成装置本体１
に伝える情報伝達経路を示す。

【００２５】また、図２は図１の論理回路自動生成装置
に入力される状態遷移図の一例を示す。この図２におい
て、１１，１３および１５は図３にその構成を示した論
理回路を等価的に表現する状態遷移図の各状態を示す。
また、この図２において、１２，１４および１６は状態
遷移図の各状態でのそれぞれの動作を示す。

【００２６】この図２により示される論理回路は、例え
ば、その状態遷移が状態１１になったとき、式１２によ
り示される数値発生動作を行う。次にこの動作が完了
し、次に論理回路の状態遷移が状態１３になったとき、
式１４により示される加算動作を行う。そして、この動
作が完了し、論理回路の状態遷移が状態１５になったと
き、式１６により示される加算動作を行い、この加算動
作が完了すると、論理回路の状態遷移が状態１１とな
り、上述の数値発生動作に戻る、という動作を繰り返す
ものである。

【００２７】さらに、図３は、図１の論理回路自動生成
装置により得られた論理回路結果物の一例を示す。図に
おいて、４１は数値“０”を発生しこれを変数ａに代入
する数値発生器、４２は変数ａの値に数値“１”を加算
してこれを変数ａの値とする＋１加算器、４３は変数ａ
の値に数値“２”を加算してこれを変数ａの値とする＋
２加算器である。

【００２８】この回路は、数値発生器４１により数値
“０”を発生しこれを変数ａに代入してその内容を消去
し、＋１加算器４２によりその値に数値“１”を加算し
てこれを変数ａに格納し、＋２加算器４３によりその値
に数値“２”を加算してこれを変数ａに格納し、数値発
生器４１に戻ってその内容をクリアする、という動作を
行なうものである。

【００２９】次に図１の装置についてその動作をさらに
詳しく説明をする。論理回路自動生成装置本体１にマウ
ス，スタイラス，キーボード等の入力装置を用いて、図
２に示すような自動生成すべき論理回路の仕様を図形入
力する。その際、入力にミスがあったとしても、論理回
路自動生成装置本体１のディスプレイ装置の入力画面を
参照しながらこれを適宜修正することが可能となってい
る。そして、仕様の入力の修正が完了すると、この論理
回路自動生成装置本体１はその内部に記憶された所定の
生成規則に基づいて図３に示すような論理回路結果物２
を生成する。この論理回路結果物２には図７に示すよう
な、本来の論理回路結果物記述２２とともに、シミュレ
ーション装置３によって伝達される、論理回路シミュレ
ーションの結果情報をこの論理回路自動生成装置本体１
の側に伝送するための通信手順である結果情報生成処理
の記述が含まれている。シミュレーション装置３は、こ
の論理回路自動生成装置本体１によって生成された論理
回路結果物２を入力し、この入力された論理回路結果物
に対し、そのシミュレーション動作を実行する。

【００３０】同時に、図１の論理回路自動生成装置本体
１によって生成された論理回路結果物中に含まれる結果
情報生成処理の記述に従って、図１のシミュレーション
装置３から図１の経路５を介して伝達される結果情報が
図１の論理回路自動生成装置本体１に送られる。図１の
論理回路自動生成装置本体１では、図１のシミュレーシ
ョン装置３から図１の経路５を介して送られた結果情報
に応じて、図１の装置１に入力された論理回路の仕様を
表現した図形に作用してシミュレーション結果を図形表
現する。続いて、図１の論理回路自動生成装置本体１
は、図１の経路４を介して図１のシミュレーション装置
３に制御情報を送る。これにより、図１のシミュレーシ
ョン装置３は、図１の論理回路自動生成装置本体１から
送られた制御情報に応じて次にシミュレーションを実行
すべき論理回路結果物のシミュレーションを継続する。

【００３１】図４ないし図６は図１のシミュレーション
装置によるシミュレーション結果が論理回路生成装置本
体のディスプレイ装置に表示される様子を詳しく示して
いるものである。

【００３２】この図４ないし図６において、それぞれ斜
線を付した状態１１，状態１３および状態１５は、論理
回路シミュレーションにおいて、シミュレーション中の
論理回路の状態遷移位置を表している。また、この図４
ないし図６は、論理回路シミュレーションによる状態遷
移の時間経過を順に示しているものである。

【００３３】これをさらに詳しく述べると、まず、図４
の状態１１から始まる論理回路シミュレーションは、図
４の状態１１において同図の式１２で示された数値発生
動作を行う。続いて、図５の状態１３に遷移し、同図の
式１４で示された＋１の加算動作を行う。続いて、図６
の状態１５に遷移し同図の式１６で示された＋２の加算
動作を行う。さらに続いて状態は図２の状態１１に遷移
し上記の動作および遷移を繰返すことを示している。

【００３４】図７は図１の論理回路結果物２をさらに詳
しく示す。図７において、２１は論理回路結果物におけ
る結果情報生成規則の記述を示し、これは論理回路生成
装置本体とシミュレーション装置と間の通信の規約（プ
ロトコール）を示すものであり、論理回路シミュレーシ
ョンによる論理回路結果物の変化物のうち結果を譲渡し
て情報生成が必要な変化物を特定する記述を含むもので
ある。また、この図７において、２２は本来の論理回路
結果物に関する記述である。

【００３５】以下、この論理回路結果物の一例を示す。 module state exec； ／＊省略＊／ initial begin ＄initsdclink() ； ／＊プロトコール＊／ ／＊省略＊／ end ／＊省略＊／ initial begin ／＊省略＊／ always ＠(u1.Q) ＄sdclink(u1.Q，price,“ａ”）；／＊表に相当する＊ ／ always ＠(r clk) ＄sdclink(r clk,r reset,“ｂ”）；／＊表に相 当する＊／ initial begin ＄monitor(＄time, ／＊省略＊／ )； end endmodule

【００３６】図８は、図１の論理回路生成装置本体１お
よび論理回路結果物シミュレーション装置３の処理を示
す。この図８の処理をさらに詳しく説明する。論理回路
シミュレーション装置３は図８のステップ３１から処理
を始める。図８のステップ３１においては、論理回路自
動生成装置本体１において、論理回路結果物中の結果情
報生成記述から論理回路シミュレーション実施時に結果
情報の生成が必要となる、生起しうる状態変化を通知す
る状態変化通知表を作成する。ステップ３２では論理回
路結果物シミュレーション装置３において、論理回路結
果物が示す論理回路のシミュレーションを処理する。図
８のステップ３３では、図８のステップ３２で処理され
た論理回路シミュレーションの結果と図８のステップ３
１で生成した状態変化通知表を比較する。図８のステッ
プ３３において比較を行なう結果、一致する結果物がな
ければ、処理は図８のステップ３２へ移行して前述の処
理を繰返す。図８のステップ３３において、論理回路シ
ミュレーションの結果物が状態通知表と一致していれ
ば、処理は図８のステップ３４へ移行する。図８のステ
ップ３４においてはシミュレーション結果物から結果情
報を生成し、図１の結果情報伝達経路５を介して結果情
報を図１の論理回路自動生成装置本体１へ伝達される。
続いて、図８のステップ３５では図１の情報伝達経路４
によって伝達される制御信号の到着を待ち処理を図８の
ステップ３２へ移行させる。

【００３７】これにより、シミュレーションの遂行の過
程が、入力した状態遷移図の各状態を修飾するハッチン
グパターンが次々に遷移すべき状態間を移動することに
より、入力した状態遷移図に経時的に表示されるので、
ハッチングパターンによって修飾されない状態が含まれ
るパスが存在したり、分岐すべき状態で異なる方向に分
岐したりするのをチェックすることにより、検証結果を
一目瞭然に判定できる。

【００３８】なお、上記実施例では、論理回路自動生成
装置本体１に対する入力は専ら図的入力である状態遷移
図のみである場合についてのみ示したが、状態の傍にそ
の処理すべき内容がハードウエア記述言語で記述された
関数の名称等が記述されていてもよく、上記実施例と同
様の効果を奏する。なお、この関数は論理回路自動生成
装置本体１に予め登録されるものであり、図形入力を行
なった際にその有無がサーチされ、このような記述が含
まれていると、これがその登録してある内容に展開され
る。

【００３９】また、上記実施例では、シミュレーション
装置３がその論理回路自動生成装置本体により得られた
論理回路結果物のみを入力するものとして説明したが、
他の装置によって作成された論理回路結果物であって、
本装置により作成された論理回路結果物と協調して動作
する論理回路結果物についてもこれを入力するようにし
てもよく、上記実施例と同様の効果を奏する。ただし、
この他の装置によって作成された論理回路結果物のシミ
ュレーション結果についてはこれは図的表現できないこ
とは言うまでもない。

【００４０】また、上記実施例では、シミュレーション
装置３がその論理回路自動生成装置本体により得られた
論理回路結果物のみを入力するものとして説明したが、
ハードウエア記述言語により記述され、本装置により作
成された論理回路結果物と協調して動作する論理回路結
果物についてもこれを外部から論理検証手段に入力する
ようにしてもよく、上記実施例と同様の効果を奏する。
ただし、このハードウエア記述言語により記述された論
理回路結果物のシミュレーション結果についてはこれは
図的表現できないことは言うまでもない。

【００４１】また、上記実施例では、論理回路自動生成
装置本体に入力する図形入力が状態遷移図のみである場
合についてのみ説明したが、これは目的とする回路の一
部分のみを状態遷移図により入力し、他の部分について
はこれを別の図的表現により入力してもよく、上記実施
例と同様の効果を奏する。

【００４２】また、本装置により得られる論理回路結果
物と協調して動作する論理回路結果物を生成する他の装
置に対する入力も図形入力、ひいては状態遷移図であっ
てもよく、また、この場合も目的とする回路の一部分の
みを状態遷移図により入力し、他の部分についてはこれ
を別の図的表現により入力するようにしてもよいことは
言うまでもない。

【００４３】さらに、上記実施例では、図形入力とし
て、目的とする装置の仕様のみを入力するようにした
が、目的とする装置の仕様を包含する仕様、例えば通信
用ＬＳＩのトラフィック測定装置のように、装置の試作
段階では必要であるが、装置が完成した際には不要とな
る装置の仕様についても、これを入力できるようにして
もよい。なお、その際の入力は、上述のように状態遷移
図の他、他の装置で得られた論理回路結果物などであっ
てもよいことは言うまでもない。

【００４４】実施例２．また、上記実施例では、論理回
路自動生成装置本体が最終的な論理回路結果物である論
理回路図に等価な情報を作成する場合について説明した
が、論理検証のみをその目的とし、論理回路の生成は中
間生成物の生成までしか行なわない装置も考えられる。

【００４５】図９は上述のような、論理検証を指向した
本発明の一実施例による論理検証装置を示すものであ
る。

【００４６】図９において、１０１は状態遷移図等の図
形入力による論理回路の仕様入力によって論理回路の中
間生成物を生成し、また論理回路の中間生成物の正当性
を検査するシミュレーションの結果を例えばそのビデオ
ディスプレイ装置に表示する機能を有する論理回路自動
生成装置本体、１０２はこの論理回路自動生成装置本体
１０１によって生成された論理回路の中間生成物であ
り、これは論理回路自動生成装置本体１０１に入力され
た状態遷移図等の図形入力に対応するハードウエア記述
言語等がこれに相当する。また、１０３は論理回路中間
生成物１０２を入力し、この論理回路の中間生成物の回
路動作をシミュレーションする機能を有するシミュレー
ション装置、１０４は論理回路自動生成装置本体１０１
がシミュレーション装置１０３の動作を制御するための
制御情報の情報伝達経路、１０５はシミュレーション装
置１０３による論理回路のシミュレーションの結果情報
を論理回路自動生成装置本体１０１に伝える情報伝達経
路を示す。

【００４７】次に図９の装置についてその動作をさらに
詳しく説明をする。論理回路自動生成装置本体１０１に
マウス，スタイラス，キーボード等の入力装置を用い
て、図２に示すような自動生成すべき論理回路の仕様を
図形入力する。その際、入力にミスがあったとしても、
論理回路自動生成装置本体１０１のディスプレイ装置の
入力画面を参照しながらこれを適宜修正することが可能
となっている。そして、仕様の入力の修正が完了する
と、この論理回路自動生成装置本体１０１はその内部に
記憶された所定の生成規則に基づいて論理回路の中間生
成物１０２を生成する。この論理回路の中間生成物１０
２には、本来の論理回路の中間生成物記述とともに、シ
ミュレーション装置１０３によって伝達される、論理回
路シミュレーションの結果情報をこの論理回路自動生成
装置本体１０１の側に伝送するための通信手順である結
果情報生成処理の記述が含まれている。シミュレーショ
ン装置１０３は、この論理回路自動生成装置本体１０１
によって生成された論理回路の中間生成物１０２を入力
し、この入力された論理回路の中間生成物に対し、その
シミュレーション動作を実行する。

【００４８】同時に、図９の論理回路自動生成装置本体
１０１によって生成された論理回路の中間生成物中に含
まれる結果情報生成処理の記述に従って、図９のシミュ
レーション装置１０３から図９の経路１０５を介して伝
達される結果情報が図９の論理回路自動生成装置本体１
０１に送られる。図９の論理回路自動生成装置本体１０
１では、図９のシミュレーション装置１０３から図９の
経路１０５を介して送られた結果情報に応じて、図９の
装置１０１に入力された論理回路の仕様を表現した図形
に作用してシミュレーション結果を図形表現する。続い
て、図９の論理回路自動生成装置本体１０１は、図９の
経路１０４を介して図９のシミュレーション装置１０３
に制御情報を送る。これにより、図９のシミュレーショ
ン装置１０３は、図９の論理回路自動生成装置本体１か
ら送られた制御情報に応じて次にシミュレーションを実
行すべき論理回路の中間生成物のシミュレーションを継
続する。

【００４９】図４ないし図６は図９のシミュレーション
装置によるシミュレーション結果が論理回路生成装置本
体のディスプレイ装置に表示される様子を詳しく示して
いるものである。

【００５０】この図４ないし図６において、それぞれ斜
線を付した状態１１，状態１３および状態１５は、論理
回路シミュレーションにおいて、シミュレーション中の
論理回路の状態遷移位置を表している。また、この図４
ないし図６は、論理回路シミュレーションによる状態遷
移の時間経過を順に示しているものである。

【００５１】これをさらに詳しく述べると、まず、図４
の状態１１から始まる論理回路シミュレーションは、図
４の状態１１において同図の式１２で示された数値発生
動作を行う。続いて、図５の状態１３に遷移し、同図の
式１４で示された＋１の加算動作を行う。続いて、図６
の状態１５に遷移し同図の式１６で示された＋２の加算
動作を行う。さらに続いて状態は図２の状態１１に遷移
し上記の動作および遷移を繰返すことを示している。

【００５２】図１０は図９の論理回路の中間生成物１０
２をさらに詳しく示す。図１０において、１２１は論理
回路の中間生成物における結果情報生成規則の記述を示
し、これは論理回路生成装置本体とシミュレーション装
置と間の通信の規約（プロトコール）を示すものであ
り、論理回路シミュレーションによる論理回路の中間生
成物の変化物のうち結果を譲渡して情報生成が必要な変
化物を特定する記述を含むものである。また、この図１
０において、１２２は本来の論理回路の中間生成物に関
する記述である。

【００５３】図１１は、図９の論理回路生成装置本体１
０１および論理回路結果物シミュレーション装置１０３
の処理を示す。この図１１の処理をさらに詳しく説明す
る。論理回路シミュレーション装置３は図８のステップ
１３１から処理を始める。図１１のステップ１３１にお
いては、論理回路自動生成装置本体１０１において、論
理回路の中間生成物中の結果情報生成記述から論理回路
シミュレーション実施時に結果情報の生成が必要とな
る、生起しうる状態変化を通知する状態変化通知表を作
成する。ステップ１３２ではシミュレーション装置１０
３において、論理回路の中間生成物が示す論理回路のシ
ミュレーションを処理する。図１１のステップ１３３で
は、図１１のステップ１３２で処理された論理回路シミ
ュレーションの結果と図１１のステップ１３１で生成し
た状態変化通知表を比較する。図１１のステップ１３３
において比較を行なう結果、一致する結果物がなけれ
ば、処理は図１１のステップ１３２へ移行して前述の処
理を繰返す。図１１のステップ１３３において、論理回
路シミュレーションの結果物が状態通知表と一致してい
れば、処理は図１１のステップ１３４へ移行する。図１
１のステップ１３４においてはシミュレーション結果物
から結果情報を生成し、図９の結果情報伝達経路１０５
を介して結果情報を図９の論理回路自動生成装置本体１
０１へ伝達される。続いて、図１１のステップ１３５で
は図９の情報伝達経路１０４によって伝達される制御信
号の到着を待ち処理を図１１のステップ１３２へ移行さ
せる。

【００５４】これにより、シミュレーションの遂行の過
程が、入力した状態遷移図の状態を修飾するハッチング
パターンが次々に遷移すべき状態間を移動することによ
り、入力した状態遷移図に経時的に表示されるので、ハ
ッチングパターンによって修飾されない状態が含まれる
パスが存在したり、分岐すべき状態で異なる方向に分岐
したりするのをチェックすることにより、検証結果を一
目瞭然に判定できる。

【００５５】なお、上記実施例では、論理回路自動生成
装置本体１０１に対する入力は専ら図的入力である状態
遷移図のみである場合についてのみ示したが、状態の傍
にその処理すべき内容がハードウエア記述言語で記述さ
れた関数の名称等が記述されていてもよく、上記実施例
と同様の効果を奏する。なお、この関数は論理回路自動
生成装置本体１０１に予め登録されるものであり、図形
入力を行なった際にその有無がサーチされ、このような
記述が含まれていると、これがその登録してある内容に
展開される。

【００５６】また、上記実施例では、シミュレーション
装置１０３がその論理回路自動生成装置本体により得ら
れた論理回路の中間生成物のみを入力するものとして説
明したが、他の装置によって作成された論理回路の中間
生成物であって、本装置により作成された論理回路の中
間生成物と協調して動作する論理回路の中間生成物につ
いてもこれを入力するようにしてもよく、上記実施例と
同様の効果を奏する。ただし、この他の装置によって作
成された論理回路の中間生成物のシミュレーション結果
についてはこれは図的表現できないことは言うまでもな
い。

【００５７】また、上記実施例では、シミュレーション
装置１０３がその論理回路自動生成装置本体により得ら
れた論理回路の中間生成物のみを入力するものとして説
明したが、ハードウエア記述言語により記述され、本装
置により作成された論理回路結果物と協調して動作する
論理回路の中間生成物についてもこれを外部から論理検
証手段に入力するようにしてもよく、上記実施例と同様
の効果を奏する。ただし、このハードウエア記述言語に
より記述された論理回路の中間生成物のシミュレーショ
ン結果についてはこれは図的表現できないことは言うま
でもない。

【００５８】また、上記実施例では、論理回路自動生成
装置本体に入力する図形入力が状態遷移図のみである場
合についてのみ説明したが、これは目的とする回路の一
部分のみを状態遷移図により入力し、他の部分について
はこれを別の図的表現により入力してもよく、上記実施
例と同様の効果を奏する。

【００５９】また、本装置により得られる論理回路の中
間生成物と協調して動作する論理回路結果物を生成する
他の装置に対する入力も図形入力、ひいては状態遷移図
であってもよく、また、この場合も目的とする回路の一
部分のみを状態遷移図により入力し、他の部分について
はこれを別の図的表現により入力するようにしてもよい
ことは言うまでもない。

【００６０】さらに、上記実施例では、図形入力とし
て、目的とする装置の仕様のみを入力するようにした
が、目的とする装置の仕様を包含する仕様、例えば通信
用ＬＳＩのトラフィック測定装置のように、装置の試作
段階では必要であるが、装置が完成した際には不要とな
る装置の仕様についても、これを入力できるようにして
もよい。なお、その際の入力は、上述のように状態遷移
図の他、他の装置で得られた論理回路結果物などであっ
てもよいことは言うまでもない。

【００６１】

【発明の効果】以上のように、この発明に係る論理回路
自動生成装置によれば、状態遷移図を含む図形入力、も
しくはその一部にハードウェア記述言語が混在して記述
された図形入力によって示された、目的とする仕様また
はこれを包含する仕様を実現する論理回路結果物を生成
する論理回路自動生成手段と、本装置が合成した論理回
路結果物と、他の装置で作成され本装置が合成した論理
回路結果物と協調して動作する論理回路結果物とを合わ
せてその正当性を検証するシミュレーションを実行する
論理検証手段と、該論理検証手段によるシミュレーショ
ンにより状態が遷移する様子を、本装置に入力した状態
遷移図の状態を修飾する絵もしくは文字を、状態の遷移
に伴って他の状態位置に順次表示位置を変更することに
より表示する検証結果表示手段とを設けるようにしたの
で、状態遷移図を含む図形入力、もしくはその一部にハ
ードウェア記述言語が混在して記述された図形入力によ
って記述された論理回路の仕様から論理回路結果物を生
成する装置によって、入力した図形によって生成した論
理回路結果物と、他の装置で作成され本装置が合成した
論理回路結果物と協調して動作する論理回路結果物とを
合せてその正当性を検証するシミュレーションの結果
を、シミュレーションにより状態が遷移する様子を、本
装置に入力した状態遷移図の状態を修飾する絵もしくは
文字を、状態の遷移に伴って他の状態位置に順次表示位
置を変更することにより表示することができ、問題のあ
る箇所を容易に理解することができ、論理回路の正当性
の検査が容易になる効果がある。

【００６２】また、この発明に係る論理検証装置によれ
ば、状態遷移図を含む図形入力、もしくはその一部にハ
ードウェア記述言語が混在して記述された図形入力によ
って示された、目的とする仕様またはこれを包含する仕
様を実現する論理回路の中間生成物を生成する論理回路
自動生成手段と、本装置が合成した論理回路の中間生成
物と、他の装置で作成され本装置が合成した論理回路の
中間生成物と協調して動作する論理回路の中間生成物と
を合わせてその正当性を検証するシミュレーションを実
行する論理検証手段と、該論理検証手段によるシミュレ
ーションにより状態が遷移する様子を、本装置に入力し
た状態遷移図の状態を修飾する絵もしくは文字を、状態
の遷移に伴って他の状態位置に順次表示位置を変更する
ことにより表示する検証結果表示手段とを設けるように
したので、状態遷移図を含む図形入力、もしくはその一
部にハードウェア記述言語が混在して記述された図形入
力によって記述された論理回路の仕様から論理回路の中
間生成物を生成する装置によって、入力した図形によっ
て生成した論理回路の中間生成物と、他の装置で作成さ
れ本装置が合成した論理回路の中間生成物と協調して動
作する論理回路結果物とを合せてその正当性を検証する
シミュレーションの結果を、シミュレーションにより状
態が遷移する様子を、本装置に入力した状態遷移図の状
態を修飾する絵もしくは文字を、状態の遷移に伴って他
の状態位置に順次表示位置を変更することにより表示す
ることができ、問題のある箇所を容易に理解することが
でき、論理回路の正当性の検査が容易になる効果があ
る。

【００６３】

【００６４】

【００６５】

【００６６】

【００６７】

【００６８】

【図面の簡単な説明】

【図１】図１はこの発明の一実施例による論理回路自動
生成装置のブロック構成を示す図である。

【図２】図２は図１の装置に入力される図形入力の一例
である状態遷移図の一例を示す図である。

【図３】図３は図１の装置により生成された論理回路結
果物の一例である、論理回路の回路図を示す図である。

【図４】図４は図１の装置により実行されたシミュレー
ションの経時的変化が図２の入力を修飾する図形で表現
される様子を示す図である。

【図５】図５は図１の装置により実行されたシミュレー
ションの経時的変化が図２の入力を修飾する図形で表現
される様子を示す図である。

【図６】図６は図１の装置により実行されたシミュレー
ションの経時的変化が図２の入力を修飾する図形で表現
される様子を示す図である。

【図７】図７は図１の装置により生成される論理回路結
果物の詳細な構成を示す図である。

【図８】図８は図１の論理結果物シミュレーション装置
の動作を示すフローチャート図である。

【図９】図９は本発明の一実施例による論理検証装置の
ブロック構成を示す図である。

【図１０】図１０は図９の装置により生成される論理回
路の中間生成物の詳細な構成を示す図である。

【図１１】図１１は図９のシミュレーション装置の動作
を示すフローチャート図である。

【図１２】図１２は従来のシミュレーション装置に対す
るハードウエア記述言語による仕様入力の一例を示す図
である。

【符号の説明】

１ 論理回路自動生成装置本体 ２ 論理回路結果物 ３ シミュレーション装置 ４ 情報伝達経路 ５ 情報伝達経路 １１ 状態遷移図の状態 １２ 状態１１における動作 １３ 状態遷移図の状態 １４ 状態１３における動作 １５ 状態遷移図の状態 １６ 状態１５における動作 ２１ 結果情報生成規則の記述 ２２ 論理回路結果物に関する記述 １０１ 論理回路自動生成装置本体 １０２ 論理回路中間生成物 １０３ シミュレーション装置 １０４ 情報伝達経路 １０５ 情報伝達経路

フロントページの続き (72)発明者 増田 隆弘 大阪府吹田市江坂町１丁目12番38号 江 坂ソリトンビル 株式会社メガチップス 内 (56)参考文献 特開 平３−19085（ＪＰ，Ａ) 特開 昭62−177637（ＪＰ，Ａ) 特開 平５−151307（ＪＰ，Ａ) 特開 平５−312906（ＪＰ，Ａ) 特開 平５−135126（ＪＰ，Ａ) 特開 平６−149923（ＪＰ，Ａ) 特開 平５−290119（ＪＰ，Ａ) 特開 平５−250437（ＪＰ，Ａ) 特開 平４−253276（ＪＰ，Ａ) 特開 平３−88071（ＪＰ，Ａ) 特開 平３−41567（ＪＰ，Ａ) 特開 平２−205972（ＪＰ，Ａ) 特開 平２−202675（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 17/50 672

Claims (2)

(57)【特許請求の範囲】
1. 【請求項１】 状態遷移図を含む図形入力、もしくはそ
   の一部にハードウェア記述言語が混在して記述された図
   形入力によって示された、目的とする仕様またはこれを
   包含する仕様を実現する論理回路結果物を生成する論理
   回路自動生成手段と、 本装置が合成した論理回路結果物と、他の装置で作成さ
   れ本装置が合成した論理回路結果物と協調して動作する
   論理回路結果物とを合わせてその正当性を検証するシミ
   ュレーションを実行する論理検証手段と、 該論理検証手段によるシミュレーションにより状態が遷
   移する様子を、本装置に入力した状態遷移図の状態を修
   飾する絵もしくは文字を、状態の遷移に伴って他の状態
   位置に順次表示位置を変更することにより表示する検証
   結果表示手段 とを備えたことを特徴とする論理回路自動
   生成装置。
2. 【請求項２】 状態遷移図を含む図形入力、もしくはそ
   の一部にハードウェア記述言語が混在して記述された図
   形入力によって示された、目的とする仕様またはこれを
   包含する仕様を実現する論理回路の中間生成物を生成す
   る論理回路自動生成手段と、 本装置が合成した論理回路の中間生成物と、他の装置で
   作成され本装置が合成した論理回路の中間生成物と協調
   して動作する論理回路の中間生成物とを合わせてその正
   当性を検証するシミュレーションを実行する論理検証手
   段と、 該論理検証手段によるシミュレーションにより状態が遷
   移する様子を、本装置に入力した状態遷移図の状態を修
   飾する絵もしくは文字を、状態の遷移に伴って他の状態
   位置に順次表示位置を変更することにより表示する検証
   結果表示手段と を備えたことを特徴とする論理検証装
   置。