JPH0850603A - 機能設計支援装置及び機能設計支援方法 - Google Patents

Abstract

(57)【要約】 【目的】 複数の状態遷移図を使用するようなＬＳＩの
機能設計を効率よく行うことができる機能設計支援装置
を提供する。 【構成】 状態遷移図作成手段１と、表示手段２と、シ
ミュレーション手段３とを備えた機能設計支援装置であ
って、上記状態遷移図作成手段から供給される、状態シ
ンボルに状態識別情報が付与された状態遷移図の情報と
上記シミュレーション手段から供給される現状態識別情
報とに基づき上記現状態識別情報が示す状態識別情報を
有する状態シンボルを有する状態遷移図を検索し検索し
た状態遷移図を上記表示手段へ表示させるシミュレーシ
ョン実行経過検索手段４を備えた。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ＬＳＩ（大規模集積回
路）の機能設計を行う場合に使用する機能設計支援装置
及び機能設計支援方法に関する。

【０００２】

【従来の技術】近年においてＬＳＩの状態遷移図による
機能記述が頻繁に行われるようになっている。それに伴
い、計算機を用いて状態遷移図を入力し、シミュレーシ
ョンを行う装置も普及し始めている。このような装置の
中で、シミュレーション実行中に現在の状態を表す状態
シンボルをたとえば表示色を変える等の方法で状態の遷
移を判りやすく表示する装置も開発されている。

【０００３】

【発明が解決しようとする課題】上述したような表示色
を変える装置にあっては、操作者が予め該当する状態遷
移図を表示画面上に表示させておく必要があった。しか
し回路の大規模化に伴い、図６に示すように、状態遷移
図の枚数が多くなり、また、複数の状態遷移図の接続関
係も複雑になって、表示画面上のどの状態遷移図に注目
すればよいのかが判りにくくなっている。本発明はこの
ような問題点を解決するためになされたもので、複数の
状態遷移図を使用するようなＬＳＩの機能設計を効率よ
く行うことができる機能設計支援装置及び機能設計支援
方法を提供することを目的とする。

【０００４】

【課題を解決するための手段】本発明の機能設計支援装
置は、回路の状態間の遷移関係を示す状態遷移図を構成
する複数の状態シンボル情報のそれぞれに状態識別情報
が付加された状態遷移図の情報に基づき作成されたシミ
ュレーション用情報が供給され該シミュレーション用情
報に基づき上記回路の少なくともアルゴリズムをシミュ
レーションするシミュレーション手段を備えた機能設計
支援装置であって、上記状態遷移図の情報が供給される
一方、上記シミュレーション手段からシミュレーション
を実行している状態を示す現状態識別情報が供給され、
上記現状態識別情報に基づき上記現状態識別情報が示す
状態識別情報を有する状態シンボル情報を上記状態遷移
図の情報から検索し検索した状態シンボル情報を含む状
態遷移図の情報を送出するシミュレーション実行経過検
索手段と、上記シミュレーション実行経過検索手段が送
出する状態遷移図の情報を表示する表示手段とを備えた
ことを特徴とする。

【０００５】又、本発明の機能設計支援装置は、回路の
状態間の遷移関係を示す状態遷移図を構成する複数の状
態シンボル情報のそれぞれに状態識別情報が付加された
状態遷移図の情報に基づき作成されたシミュレーション
用情報が供給され該シミュレーション用情報に基づき上
記回路の少なくともアルゴリズムをシミュレーションす
るシミュレーション手段を備えた機能設計支援装置であ
って、上記状態遷移図の情報に基づき当該状態遷移図の
階層構造及び接続関係に関する接続関係情報を作成し、
かつ上記シミュレーション手段からシミュレーションを
実行している状態を示す現状態識別情報が供給され該現
状態識別情報に基づき該現状態識別情報を有する状態遷
移図の情報を上記接続関係情報から検索し検索した状態
遷移図の情報を送出する状態遷移図接続関係検索手段
と、上記シミュレーション実行経過検索手段が送出する
状態遷移図の情報を表示する表示手段とを備えたことを
特徴とする。

【０００６】又、本発明の機能設計支援方法は、回路の
状態間の遷移関係を示す状態遷移図を構成する複数の状
態シンボル情報のそれぞれに状態識別情報が付加された
状態遷移図の情報に基づき作成されたシミュレーション
用情報が供給され該シミュレーション用情報に基づき上
記回路の少なくともアルゴリズムをシミュレーションす
るシミュレーション工程を備えた機能設計支援方法であ
って、上記状態遷移図の情報が供給される一方、上記シ
ミュレーション工程によりシミュレーションを実行して
いる状態を示す現状態識別情報が供給され、上記現状態
識別情報に基づき上記現状態識別情報が示す状態識別情
報を有する状態シンボル情報を上記状態遷移図の情報か
ら検索し検索した状態シンボル情報を含む状態遷移図の
情報を送出するシミュレーション実行経過検索工程と、
上記シミュレーション実行経過検索工程により送出され
る状態遷移図の情報を表示する表示工程とを備えたこと
を特徴とする。

【０００７】又、本発明の機能設計支援方法は、回路の
状態間の遷移関係を示す状態遷移図を構成する複数の状
態シンボル情報のそれぞれに状態識別情報が付加された
状態遷移図の情報に基づき作成されたシミュレーション
用情報が供給され該シミュレーション用情報に基づき上
記回路の少なくともアルゴリズムをシミュレーションす
るシミュレーション工程を備えた機能設計支援方法であ
って、上記状態遷移図の情報に基づき当該状態遷移図の
階層構造及び接続関係に関する接続関係情報を作成し、
かつ上記シミュレーション工程によりシミュレーション
を実行している状態を示す現状態識別情報が供給され該
現状態識別情報に基づき該現状態識別情報を有する状態
遷移図の情報を上記接続関係情報から検索し検索した状
態遷移図の情報を送出する状態遷移図接続関係検索工程
と、上記シミュレーション実行経過検索工程により送出
される状態遷移図の情報を表示する表示工程とを備えた
ことを特徴とする。

【０００８】

【作用】このように構成することで、シミュレーション
実行経過検索手段には、状態遷移図の情報が供給され、
シミュレーション手段からシミュレーションを実行して
いる状態を示す現状態識別情報がそれぞれ供給される。
シミュレーション実行経過検索手段は、上記現状態識別
情報に基づき上記現状態識別情報が示す状態識別情報を
有する状態シンボル情報を上記状態遷移図の情報から検
索し検索した状態シンボル情報を含む状態遷移図の情報
を表示手段へ送出する。表示手段は、上記シミュレーシ
ョン実行経過検索手段が送出する状態遷移図の情報を表
示する。よって、シミュレーション実行経過検索手段
は、複数の状態遷移図を使用する機能設計の場合にあっ
ても、シミュレーション中の状態シンボルを含む状態遷
移図を自動的に検索し表示させることより、回路の動作
を追跡し把握することが容易かつ迅速に行え機能設計を
効率よく行えるように作用する。

【０００９】又、状態遷移図接続関係検索手段には、状
態遷移図の情報が供給され、シミュレーション手段から
シミュレーションを実行している状態を示す現状態識別
情報がそれぞれ供給される。状態遷移図接続関係検索手
段は、状態遷移図の階層構造及び接続関係に関する接続
関係情報を作成し、上記現状態識別情報に基づき上記現
状態識別情報が示す状態識別情報を有する状態シンボル
情報を上記状態遷移図の情報から検索し検索した状態シ
ンボル情報を含む状態遷移図の情報を表示手段へ送出す
る。表示手段は、上記状態遷移図接続関係検索手段が送
出する状態遷移図の情報を表示する。よって、状態遷移
図接続関係検索手段は、複数の状態遷移図を使用する機
能設計の場合にあっても、シミュレーション中の状態シ
ンボルを含む状態遷移図を自動的に検索し表示させるこ
とより、回路の動作を追跡し把握することが容易かつ迅
速に行え機能設計を効率よく行えるように作用する。

【００１０】

【実施例】本発明の機能設計支援装置の一実施例につい
て図を参照しながら以下に説明する。尚、本発明の機能
設計支援方法は、上記一実施例による機能設計支援装置
を使用することで実施されるものである。本実施例にお
ける機能設計支援装置は、図１に示すように、状態遷移
図作成手段１と、状態遷移図作成手段１の出力情報が供
給されるシミュレーション手段３と、状態遷移図作成手
段１及びシミュレーション手段３の出力情報が供給され
るシミュレーション実行経過検索手段４と、状態遷移図
作成手段１及びシミュレーション手段３の出力情報が供
給される状態遷移図接続関係検索手段５と、状態遷移図
作成手段１、シミュレーション実行経過検索手段４及び
状態遷移図接続関係検索手段５の出力情報を表示する表
示手段２とを備える。尚、状態遷移図作成手段１、表示
手段２及びシミュレーション手段３は既に一般的に使用
されているものである。

【００１１】状態遷移図作成手段１は、回路の状態間の
遷移関係を示す状態遷移図を構成する複数の状態シンボ
ル情報が入力されることで上記各状態シンボル情報に、
各状態を識別する状態識別情報を付加して状態遷移図を
作成し、さらに作成した状態遷移図に基づきシミュレー
ション用情報を作成する。シミュレーション手段３に
は、上記状態遷移図作成手段１にて作成された上記シミ
ュレーション用情報が供給され、シミュレーション手段
３は該シミュレーション用情報に基づき上記回路の少な
くともアルゴリズムについてシミュレーションを行う。

【００１２】シミュレーション実行経過検索手段４に
は、上記状態遷移図作成手段１から状態遷移図の情報が
供給される一方、上記シミュレーション手段３からシミ
ュレーションを実行している状態を示す現状態識別情報
が供給され、シミュレーション実行経過検索手段４は、
上記現状態識別情報に基づき上記状態遷移図の情報から
上記現状態識別情報が示す状態識別情報を有する状態シ
ンボル情報を検索し検索された状態シンボル情報を含む
状態遷移図の情報を上記表示手段２へ送出する。

【００１３】状態遷移図接続関係検索手段５には、上記
状態遷移図作成手段１から状態遷移図の情報が供給さ
れ、状態遷移図接続関係検索手段５は、当該状態遷移図
の階層構造及び接続関係に関する接続関係情報を作成
し、かつ上記シミュレーション手段３から供給される上
記現状態識別情報に基づき上記接続関係情報から上記現
状態識別情報が示す状態遷移図の情報を検索し検索した
状態遷移図の情報を上記表示手段２へ送出する。

【００１４】尚、状態遷移図作成手段１、シミュレーシ
ョン手段３、シミュレーション実行経過検索手段４及び
状態遷移図接続関係検索手段５は、例えばパーソナルコ
ンピュータが使用でき、表示手段２は例えばＣＲＴのよ
うなディスプレイが使用できる。又、状態遷移図作成手
段１、シミュレーション手段３、シミュレーション実行
経過検索手段４及び状態遷移図接続関係検索手段５への
情報の入力等は、キーボード、マウスを使用する。

【００１５】このように構成される本実施例の機能設計
支援装置の動作を図２等を参照し以下に説明する。ステ
ップ（図２では、「Ｓ」にて示す）１では、公知の状態
遷移図作成手段１は、状態遷移図を構成する、例えば図
３に示す「Ｓ０」，「Ｓ１」のような状態シンボル情報
や状態の遷移方向情報等が操作者によって入力されるこ
とで状態遷移図を作成する。尚、図３等において二重円
にて示す状態シンボルは下階層の状態遷移図を有するこ
とを示す。又、状態遷移図が作成されることで、各状態
シンボルには、それぞれの状態シンボルを一意に示す状
態識別情報が付与されている。又、作成された状態遷移
図の情報は、表示手段２、シミュレーション実行経過検
索手段４及び状態遷移図接続関係検索手段５へそれぞれ
送出される。さらに、このようにして状態遷移図作成手
段１にて１枚若しくは複数枚の状態遷移図が作成された
後、状態遷移図作成手段１は、公知の方法により、作成
されたそれぞれの状態遷移図に基づき、シミュレーショ
ン用情報としてのＨＤＬ（ハードウエア記述言語）を自
動作成する。作成されたシミュレーション用情報は、シ
ミュレーション手段３へ送出される。

【００１６】尚、図３に示す状態遷移図は、当該回路に
おいて最上位にある状態遷移図（以下、図３に示す状態
遷移図を「ＴＯＰ」と記す）であり、下階層を有する状
態シンボル「ＳＵＢ１」を有する。図４に示す状態遷移
図は、上記状態シンボル「ＳＵＢ１」の内容を示すもの
で、さらに下階層を有する状態シンボル「ＳＵＢ２」を
有する。図５に示す状態遷移図は、上記状態シンボル
「ＳＵＢ２」の内容を示すものである。よって、すべて
の状態遷移図の作成が終了した後、状態遷移図作成手段
１から表示手段２へ送出される状態遷移図の情報により
表示手段２へ表示される画像は、例えば図６に示すもの
となる。

【００１７】ステップ２では、状態遷移図作成手段１か
ら供給されたシミュレーション用情報に基づきシミュレ
ーション手段３にて、上記状態遷移図にて表される回路
について、少なくとも当該回路のアルゴリズムのシミュ
レーションが実行される。当該シミュレーションが実行
されることで、シミュレーション手段３からシミュレー
ション実行経過検索手段４及び状態遷移図接続関係検索
手段５には、シミュレーションを実行中の現状態識別情
報が送出される。

【００１８】ステップ３では、作成された状態遷移図の
すべてについてシミュレーションを実行したか否かが判
断され、すべてを実行しておれば動作を終了し、実行し
ていないものがあれば次のステップ４へ移行する。

【００１９】ステップ４では、上述したように状態遷移
図作成手段１から供給される、それぞれの状態シンボル
に状態識別情報が付与された状態遷移図の情報と、シミ
ュレーション手段３から供給される上記現状態識別情報
とに基づき、シミュレーション実行経過検索手段４で
は、上記状態識別情報が付与されている状態シンボル情
報を有する状態遷移図の情報を検索し、検索した状態遷
移図の情報を表示手段２へ送出する。例えばシミュレー
ション実行開始直後にあっては、図３に示す状態シンボ
ル「Ｓ０」を実行しているので、シミュレーション実行
経過検索手段４は図３に示す状態遷移図を検索し、ステ
ップ５にて、検索された図３に示す状態遷移図を図７に
示すように表示手段２へ表示させる。さらに、シミュレ
ーション実行経過検索手段４は、図７に示すように、現
在シミュレーションを実行中している状態シンボル「Ｓ
０」を例えばハイライト表示させ（図７では網目模様に
て記している）、他の状態シンボルとの区別化を図る。
そしてシミュレーション手段３におけるシミュレーショ
ンが進行し状態シンボル「ＳＵＢ１」に含まれる、図４
に示す状態シンボル「Ｓ１」の状態についてシミュレー
ション手段３がシミュレーションを実行したとすると、
シミュレーション手段３から供給される現状態識別情報
によってシミュレーション実行経過検索手段４は、図４
に示す状態シンボル「Ｓ１」を含む状態遷移図を検索
し、ステップ６，７にて、表示手段２へ先の「ＴＯＰ」
の状態遷移図に変わって図８に示す状態シンボル「ＳＵ
Ｂ１」の状態遷移図を表示させ、さらに状態シンボル
「ＳＵＢ１」の状態遷移図内の状態シンボル「Ｓ１」を
ハイライト表示する。

【００２０】このようにシミュレーション実行経過検索
手段４を設けることで、複数枚の状態遷移図が存在する
場合であっても、シミュレーション実行中の状態シンボ
ルを含む状態遷移図を表示手段２に自動的に表示するこ
とができる。よって複数の状態遷移図からなる複雑で大
規模な回路でもその動作を追跡し把握することが容易か
つ迅速に行うことができる。

【００２１】一方、ステップ８，９において、状態遷移
図接続関係検索手段５は、状態遷移図作成手段１から供
給される状態遷移図の情報に基づき、図９に示すような
各状態遷移図の接続関係を示す図を作成する。作成した
接続関係を示す図の情報は表示手段２へ送出され表示手
段２に表示される。そして、上述したように状態遷移図
作成手段１から供給される、それぞれの状態シンボルに
状態識別情報が付与された状態遷移図の情報と、シミュ
レーション手段３から供給される上記現状態識別情報と
に基づき、状態遷移図接続関係検索手段５は、上記状態
識別情報が付与されている状態シンボル情報を有する状
態遷移図の情報を検索し、さらに検索した状態遷移図の
情報が上記接続関係を示す図のいずれの項目に該当する
かを検索し、検索結果情報を表示手段２へ送出する。よ
って、表示手段２において、シミュレーション開始直後
にあっては図９に示すように、「ＴＯＰ」の記載部分が
ハイライト表示（図９では網目模様にて記している）さ
れ、シミュレーションが進行し状態シンボル「ＳＵＢ
１」についてのシミュレーションを実行しているときに
は図１０に示すように「ＳＵＢ１」の記載部分がハイラ
イト表示される。

【００２２】このように状態遷移図接続関係検索手段５
を設けることで、複数枚の状態遷移図が存在する場合で
あっても、これらの状態遷移図のいずれの状態遷移図を
実行しているかを表示手段２に自動的に表示することが
できる。よって複数の状態遷移図からなる複雑で大規模
な回路でもその動作を追跡し把握することが容易かつ迅
速に行うことができる。

【００２３】上述したステップ４からステップ９までを
シミュレーション手段３にてシミュレーションが終了す
るまで繰り返し実行する。

【００２４】尚、上述した実施例では、シミュレーショ
ン実行経過検索手段４及び状態遷移図接続関係検索手段
５には、状態遷移図作成手段１から状態遷移図の情報が
直接に供給されるが、これに限らず、例えば状態遷移図
作成手段１から記憶手段に上記状態遷移図の情報が記憶
され、該記憶手段からシミュレーション実行経過検索手
段４や状態遷移図接続関係検索手段５へ上記状態遷移図
の情報が供給されるようにしてもよい。

【００２５】又、上述した実施例では、状態遷移図接続
関係検索手段５において、供給される状態遷移図の情報
に基づき状態遷移図の階層構造及び接続関係に関する接
続情報を作成するようにしたが、上記接続情報は他の構
成部分にて別途作成し作成された接続情報が状態遷移図
接続関係検索手段５に供給され状態遷移図接続関係検索
手段５ではシミュレーション手段３から供給される現状
態識別情報に基づき上記現状態識別情報を有する状態遷
移図の情報を上記接続関係情報から検索するようにして
もよい。

【００２６】

【発明の効果】以上詳述したように本発明によれば、シ
ミュレーション実行中の状態を示す現状態識別情報と状
態遷移図を構成する状態シンボルに付与された状態識別
情報とに基づき、上記現状態識別情報が示す状態識別情
報を有する状態シンボル情報を状態遷移図の情報から検
索し、検索した状態シンボル情報を含む状態遷移図の情
報を送出し表示するようにしたことより、複数の状態遷
移図を使用する機能設計の場合にあっても、シミュレー
ション中の状態シンボルを含む状態遷移図を自動的に検
索し表示することができ、回路の動作を追跡し把握する
ことが容易かつ迅速に行え機能設計を効率よく行うこと
ができる。

【図面の簡単な説明】

【図１】 本発明の機能設計支援装置の一実施例におけ
る構成を示すブロック図である。

【図２】 図１に示す機能設計支援装置の動作を示すフ
ローチャートである。

【図３】 図１に示す状態遷移図作成装置にて作成され
た状態遷移図の一例を示す図である。

【図４】 図３に示す状態シンボル「ＳＵＢ１」の下階
層の状態遷移図を示す図である。

【図５】 図４に示す状態シンボル「ＳＵＢ２」の下階
層の状態遷移図を示す図である。

【図６】 図１に示す状態遷移図作成装置にて作成され
た複数の状態遷移図を表示手段へ表示した状態を示す図
である。

【図７】 図１に示すシミュレーション実行経過検索手
段の動作により表示手段に表示される状態を示す図であ
る。

【図８】 図１に示すシミュレーション実行経過検索手
段の動作により表示手段に表示される状態を示す図であ
る。

【図９】 図１に示す状態遷移図接続関係検索手段の動
作により表示手段に表示される状態を示す図である。

【図１０】 図１に示す状態遷移図接続関係検索手段の
動作により表示手段に表示される状態を示す図である。

【符号の説明】

１…状態遷移図作成手段、２…表示手段、３…シミュレ
ーション手段、４…シミュレーション実行経過検索手
段、５…状態遷移図接続関係検索手段。

Claims (4)

【特許請求の範囲】
1. 【請求項１】 回路の状態間の遷移関係を示す状態遷移
   図を構成する複数の状態シンボル情報のそれぞれに状態
   識別情報が付加された状態遷移図の情報に基づき作成さ
   れたシミュレーション用情報が供給され該シミュレーシ
   ョン用情報に基づき上記回路の少なくともアルゴリズム
   をシミュレーションするシミュレーション手段を備えた
   機能設計支援装置であって、 上記状態遷移図の情報が供給される一方、上記シミュレ
   ーション手段からシミュレーションを実行している状態
   を示す現状態識別情報が供給され、上記現状態識別情報
   に基づき上記現状態識別情報が示す状態識別情報を有す
   る状態シンボル情報を上記状態遷移図の情報から検索し
   検索した状態シンボル情報を含む状態遷移図の情報を送
   出するシミュレーション実行経過検索手段と、 上記シミュレーション実行経過検索手段が送出する状態
   遷移図の情報を表示する表示手段と、を備えたことを特
   徴とする機能設計支援装置。
2. 【請求項２】 回路の状態間の遷移関係を示す状態遷移
   図を構成する複数の状態シンボル情報のそれぞれに状態
   識別情報が付加された状態遷移図の情報に基づき作成さ
   れたシミュレーション用情報が供給され該シミュレーシ
   ョン用情報に基づき上記回路の少なくともアルゴリズム
   をシミュレーションするシミュレーション手段を備えた
   機能設計支援装置であって、 上記状態遷移図の情報に基づき当該状態遷移図の階層構
   造及び接続関係に関する接続関係情報を作成し、かつ上
   記シミュレーション手段からシミュレーションを実行し
   ている状態を示す現状態識別情報が供給され該現状態識
   別情報に基づき該現状態識別情報を有する状態遷移図の
   情報を上記接続関係情報から検索し検索した状態遷移図
   の情報を送出する状態遷移図接続関係検索手段と、 上記シミュレーション実行経過検索手段が送出する状態
   遷移図の情報を表示する表示手段と、を備えたことを特
   徴とする機能設計支援装置。
3. 【請求項３】 回路の状態間の遷移関係を示す状態遷移
   図を構成する複数の状態シンボル情報のそれぞれに状態
   識別情報が付加された状態遷移図の情報に基づき作成さ
   れたシミュレーション用情報が供給され該シミュレーシ
   ョン用情報に基づき上記回路の少なくともアルゴリズム
   をシミュレーションするシミュレーション工程を備えた
   機能設計支援方法であって、 上記状態遷移図の情報が供給される一方、上記シミュレ
   ーション工程によりシミュレーションを実行している状
   態を示す現状態識別情報が供給され、上記現状態識別情
   報に基づき上記現状態識別情報が示す状態識別情報を有
   する状態シンボル情報を上記状態遷移図の情報から検索
   し検索した状態シンボル情報を含む状態遷移図の情報を
   送出するシミュレーション実行経過検索工程と、 上記シミュレーション実行経過検索工程により送出され
   る状態遷移図の情報を表示する表示工程と、を備えたこ
   とを特徴とする機能設計支援方法。
4. 【請求項４】 回路の状態間の遷移関係を示す状態遷移
   図を構成する複数の状態シンボル情報のそれぞれに状態
   識別情報が付加された状態遷移図の情報に基づき作成さ
   れたシミュレーション用情報が供給され該シミュレーシ
   ョン用情報に基づき上記回路の少なくともアルゴリズム
   をシミュレーションするシミュレーション工程を備えた
   機能設計支援方法であって、 上記状態遷移図の情報に基づき当該状態遷移図の階層構
   造及び接続関係に関する接続関係情報を作成し、かつ上
   記シミュレーション工程によりシミュレーションを実行
   している状態を示す現状態識別情報が供給され該現状態
   識別情報に基づき該現状態識別情報を有する状態遷移図
   の情報を上記接続関係情報から検索し検索した状態遷移
   図の情報を送出する状態遷移図接続関係検索工程と、 上記シミュレーション実行経過検索工程により送出され
   る状態遷移図の情報を表示する表示工程と、を備えたこ
   とを特徴とする機能設計支援方法。