JPH06195413A - 論理回路の階層復元方式 - Google Patents
論理回路の階層復元方式Info
- Publication number
- JPH06195413A JPH06195413A JP4272169A JP27216992A JPH06195413A JP H06195413 A JPH06195413 A JP H06195413A JP 4272169 A JP4272169 A JP 4272169A JP 27216992 A JP27216992 A JP 27216992A JP H06195413 A JPH06195413 A JP H06195413A
- Authority
- JP
- Japan
- Prior art keywords
- information
- hierarchy
- signal name
- restoring
- cut
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Withdrawn
Links
Abstract
(57)【要約】
【目的】論理回路の階層を復元する場合に、一度展開し
た回路を一部変更するアプリケーションプログラムを実
行した回路に対して、階層，信号名，切り口のピン名も
復元できる方式を提供する。 【構成】階層無し論理回路８と、階層展開手段２により
得られた信号名情報３を信号名情報比較手段９に入力
し、信号名情報復元手段１０を得る。階層無し論理回路
８と、階層展開手段２により得られた階層展開情報４を
階層情報比較手段１１に入力し、階層情報復元手段１２
を得る。階層無し論理回路８と、階層展開手段２により
得られた切り口情報５を切り口情報比較手段１３に入力
し、切り口情報復元手段１４を得る。信号名情報復元手
段１０と階層情報復元手段１２と切り口情報復元手段１
４から階層復元手段１５を通して階層有り論理回路１６
を得る。
た回路を一部変更するアプリケーションプログラムを実
行した回路に対して、階層，信号名，切り口のピン名も
復元できる方式を提供する。 【構成】階層無し論理回路８と、階層展開手段２により
得られた信号名情報３を信号名情報比較手段９に入力
し、信号名情報復元手段１０を得る。階層無し論理回路
８と、階層展開手段２により得られた階層展開情報４を
階層情報比較手段１１に入力し、階層情報復元手段１２
を得る。階層無し論理回路８と、階層展開手段２により
得られた切り口情報５を切り口情報比較手段１３に入力
し、切り口情報復元手段１４を得る。信号名情報復元手
段１０と階層情報復元手段１２と切り口情報復元手段１
４から階層復元手段１５を通して階層有り論理回路１６
を得る。
Description
【０００１】
【産業上の利用分野】本発明は論理回路の階層復元方式
に関し、特に一度展開した回路を一部変更するアプリケ
ーションプログラムを実行した回路に対し階層を復元
し、かつ、階層内の信号名、階層の切り口のピン名も復
元することができる論理回路の階層復元方式に関する。
に関し、特に一度展開した回路を一部変更するアプリケ
ーションプログラムを実行した回路に対し階層を復元
し、かつ、階層内の信号名、階層の切り口のピン名も復
元することができる論理回路の階層復元方式に関する。
【０００２】
【従来の技術】従来の論理回路において一度展開された
回路は、回路を一部変更するアプリケーションプログラ
ムが階層を持つ論理回路の入力として許さないので、階
層系に戻すことができなかった。
回路は、回路を一部変更するアプリケーションプログラ
ムが階層を持つ論理回路の入力として許さないので、階
層系に戻すことができなかった。
【０００３】
【発明が解決しようとする課題】上述したように、従来
は、階層を持つ論理回路に対して回路を一部変更するア
プリケーションプログラムが階層を持つ論理回路の入力
として許さない場合に、一度、論理回路を展開してから
実行せねばならず、結果の回路は階層無しとなってしま
い、階層記述の利点を行かすことができなかった。
は、階層を持つ論理回路に対して回路を一部変更するア
プリケーションプログラムが階層を持つ論理回路の入力
として許さない場合に、一度、論理回路を展開してから
実行せねばならず、結果の回路は階層無しとなってしま
い、階層記述の利点を行かすことができなかった。
【０００４】
【課題を解決するための手段】本発明の論理回路の階層
復元方式は、階層を持つ論理回路において、階層を展開
し、階層展開前後でのシンボルに付与するユニークな名
前（以後、インスタンス名という）の対応を記述した階
層展開情報と階層展開前後での信号名の対応を記述した
信号名情報および階層展開前のピン名とそれに接続され
る上位階層の信号名との対応を記述した切り口情報を出
力するための階層展開手段と、回路を一部変更するアプ
リケーションプログラム実行前の階層展開情報と現在の
情報とを比較するための階層情報比較手段と、この階層
情報比較手段の結果に基づき階層復元のために階層復元
情報を設定する階層情報復元手段と、前記アプリケーシ
ョンプログラム実行前の信号名情報の現在の信号名を比
較するための信号名比較手段と、この信号名情報比較手
段の結果に基づき階層内の信号名復元のために信号名情
報を設定する信号名情報復元手段と、前記アプリケーシ
ョンプログラム実行前の切り口情報の信号名と現在の信
号を比較するための切り口情報比較手段と、この切り口
情報比較手段の結果に基づき階層の切り口ピン名復元の
ために切り口情報を設定する切り口情報復元手段と、前
記階層情報復元手段により設定された階層復元情報と前
記信号名情報復元手段により設定された信号名復元情報
と前記切り口情報復元手段により設定された切り口情報
とに従い階層を復元させる階層復元手段とを有する。
復元方式は、階層を持つ論理回路において、階層を展開
し、階層展開前後でのシンボルに付与するユニークな名
前（以後、インスタンス名という）の対応を記述した階
層展開情報と階層展開前後での信号名の対応を記述した
信号名情報および階層展開前のピン名とそれに接続され
る上位階層の信号名との対応を記述した切り口情報を出
力するための階層展開手段と、回路を一部変更するアプ
リケーションプログラム実行前の階層展開情報と現在の
情報とを比較するための階層情報比較手段と、この階層
情報比較手段の結果に基づき階層復元のために階層復元
情報を設定する階層情報復元手段と、前記アプリケーシ
ョンプログラム実行前の信号名情報の現在の信号名を比
較するための信号名比較手段と、この信号名情報比較手
段の結果に基づき階層内の信号名復元のために信号名情
報を設定する信号名情報復元手段と、前記アプリケーシ
ョンプログラム実行前の切り口情報の信号名と現在の信
号を比較するための切り口情報比較手段と、この切り口
情報比較手段の結果に基づき階層の切り口ピン名復元の
ために切り口情報を設定する切り口情報復元手段と、前
記階層情報復元手段により設定された階層復元情報と前
記信号名情報復元手段により設定された信号名復元情報
と前記切り口情報復元手段により設定された切り口情報
とに従い階層を復元させる階層復元手段とを有する。
【０００５】
【実施例】次に本発明について図面を参照して説明す
る。図１は、本発明の一実施例を示す構成図である。
る。図１は、本発明の一実施例を示す構成図である。
【０００６】通常、論理回路の階層を展開するための基
本情報として、階層展開前後でのインタンス系（ユニー
クな名前）の対応を記述した情報である階層展開情報
と、階層展開前後での信号名の対応を記述した情報であ
る信号名情報と、階層展開前のピン名とそれに接続され
る上位階層の信号名との対応を記述した情報である切り
口情報の３つがある。
本情報として、階層展開前後でのインタンス系（ユニー
クな名前）の対応を記述した情報である階層展開情報
と、階層展開前後での信号名の対応を記述した情報であ
る信号名情報と、階層展開前のピン名とそれに接続され
る上位階層の信号名との対応を記述した情報である切り
口情報の３つがある。
【０００７】最初に図１で使用される各手段の機能を説
明する。
明する。
【０００８】階層展開手段−前述の３情報を出力する手
段、階層情報比較手段−回路を一部変更するアプリケー
ションプログラム実行前の階層展開情報と現在の階層展
開情報を比較する手段、階層情報復元手段−階層情報比
較の結果に基き階層復元のための階層復元情報を設定す
る手段、信号名情報比較手段−プログラム実行前と現在
の信号名情報を比較する手段信号名情報復元手段−信号
名比較の結果に基き信号名復元のための信号名復元情報
を設定する手段、階層復元手段−上記階層復元情報、信
号名復元情報および切り口復元情報に従って階層を復元
する手段、図１において、階層展開手段２は階層有り論
理回路１を入力し、信号名情報３と階層展開情報４と切
り口情報５と階層無し論理回路６を出力する。アプリケ
ーションプログラム７は、階層無し論理回路６に対し、
アプリケーションプログラムを実行し、アプリケーショ
ンプログラムを実行した階層無し論理回路８を出力す
る。信号名情報比較手段９は、階層無し論理回路８と信
号名情報３とを比較する。信号名情報復元手段１０は、
信号名情報比較手段９の結果を基に信号名情報を復元す
る。階層情報比較手段１１は、階層無し論理回路８と階
層展開情報４とを比較する。階層情報復元手段１２は、
階層情報比較手段１１の結果を基に階層情報を復元す
る。切り口情報比較手段１３は、階層無し論理回路８と
切り口情報５とを比較する。切り口情報復元手段１４
は、切り口情報比較手段１３の結果を基に切り口情報を
復元する。階層復元手段１５は、信号名情報比較手段１
０によって作成された信号名情報と階層情報復元手段１
２によって作成された階層情報と切り口復元手段１４に
よって作成された切り口情報とを基に階層有り論理回路
１６を作成する。
段、階層情報比較手段−回路を一部変更するアプリケー
ションプログラム実行前の階層展開情報と現在の階層展
開情報を比較する手段、階層情報復元手段−階層情報比
較の結果に基き階層復元のための階層復元情報を設定す
る手段、信号名情報比較手段−プログラム実行前と現在
の信号名情報を比較する手段信号名情報復元手段−信号
名比較の結果に基き信号名復元のための信号名復元情報
を設定する手段、階層復元手段−上記階層復元情報、信
号名復元情報および切り口復元情報に従って階層を復元
する手段、図１において、階層展開手段２は階層有り論
理回路１を入力し、信号名情報３と階層展開情報４と切
り口情報５と階層無し論理回路６を出力する。アプリケ
ーションプログラム７は、階層無し論理回路６に対し、
アプリケーションプログラムを実行し、アプリケーショ
ンプログラムを実行した階層無し論理回路８を出力す
る。信号名情報比較手段９は、階層無し論理回路８と信
号名情報３とを比較する。信号名情報復元手段１０は、
信号名情報比較手段９の結果を基に信号名情報を復元す
る。階層情報比較手段１１は、階層無し論理回路８と階
層展開情報４とを比較する。階層情報復元手段１２は、
階層情報比較手段１１の結果を基に階層情報を復元す
る。切り口情報比較手段１３は、階層無し論理回路８と
切り口情報５とを比較する。切り口情報復元手段１４
は、切り口情報比較手段１３の結果を基に切り口情報を
復元する。階層復元手段１５は、信号名情報比較手段１
０によって作成された信号名情報と階層情報復元手段１
２によって作成された階層情報と切り口復元手段１４に
よって作成された切り口情報とを基に階層有り論理回路
１６を作成する。
【０００９】次に、階層復元のための階層情報を作成す
るための処理フローを図２により説明する。まず、現在
の論理回路のシンボルの情報を読み込み、（ステップＳ
１，Ｓ２）の階層展開手段２によって出力された階層展
開情報と比較する（ステップＳ３）。次に、その結果を
見て（ステップＳ４）、追加されたものに関しては階層
展開情報を接続関係のあるシンボルの階層展開情報から
擬似的に発生する（ステップＳ５）。削除されたものに
関しては階層展開情報から削除する。変更されたものに
関しては階層展開情報を変更する。その後に、読み込ん
だ階層展開情報と擬似的に発生した階層展開情報から階
層情報を作成する（ステップ６）。
るための処理フローを図２により説明する。まず、現在
の論理回路のシンボルの情報を読み込み、（ステップＳ
１，Ｓ２）の階層展開手段２によって出力された階層展
開情報と比較する（ステップＳ３）。次に、その結果を
見て（ステップＳ４）、追加されたものに関しては階層
展開情報を接続関係のあるシンボルの階層展開情報から
擬似的に発生する（ステップＳ５）。削除されたものに
関しては階層展開情報から削除する。変更されたものに
関しては階層展開情報を変更する。その後に、読み込ん
だ階層展開情報と擬似的に発生した階層展開情報から階
層情報を作成する（ステップ６）。
【００１０】次に信号名情報を作成するための処理フロ
ーを図３により説明する。まず、現在の論理回路の信号
情報を読み込み（ステップＳ１１，Ｓ１２）、階層展開
手段２によって出力された信号名情報と比較する（ステ
ップＳ１３）。次に、その結果を見て（ステップ１
４）、追加されたものに関しては信号名情報を接続関係
のあるシンボルの階層展開情報から展開前の階層につい
て情報を得て、それと現在の信号名を基に信号情報を擬
似的に発生する（ステップ１５）。削除されたものに関
しては信号名情報から削除する。変更されたものに関し
ては信号名情報を変更する。その後に、読み込んだ信号
名情報と擬似的に発生した信号名情報から信号名復元情
報を作成する（ステップ１６）。
ーを図３により説明する。まず、現在の論理回路の信号
情報を読み込み（ステップＳ１１，Ｓ１２）、階層展開
手段２によって出力された信号名情報と比較する（ステ
ップＳ１３）。次に、その結果を見て（ステップ１
４）、追加されたものに関しては信号名情報を接続関係
のあるシンボルの階層展開情報から展開前の階層につい
て情報を得て、それと現在の信号名を基に信号情報を擬
似的に発生する（ステップ１５）。削除されたものに関
しては信号名情報から削除する。変更されたものに関し
ては信号名情報を変更する。その後に、読み込んだ信号
名情報と擬似的に発生した信号名情報から信号名復元情
報を作成する（ステップ１６）。
【００１１】次に、切り口情報を作成するためを処理フ
ローを図４により説明する。まず、現在の論理回路の信
号情報を読み込み（ステップＳ２１，Ｓ２２）、階層展
開手段２によって出力された切り口情報の信号名と比較
する（ステップＳ２３）。次にその結果を見て（ステッ
プＳ２４）、追加されたものに関しては自動的に、任意
のピン名を擬似的に発生する（ステップ２５）。削除さ
れたものに関しては切り口情報から削除する。変更され
たものに関しては切り口情報を変更する。その後に、読
み込んだ切り口情報と擬似的に発生した切り口情報から
切り口復元情報を作成する（ステップ２６）。
ローを図４により説明する。まず、現在の論理回路の信
号情報を読み込み（ステップＳ２１，Ｓ２２）、階層展
開手段２によって出力された切り口情報の信号名と比較
する（ステップＳ２３）。次にその結果を見て（ステッ
プＳ２４）、追加されたものに関しては自動的に、任意
のピン名を擬似的に発生する（ステップ２５）。削除さ
れたものに関しては切り口情報から削除する。変更され
たものに関しては切り口情報を変更する。その後に、読
み込んだ切り口情報と擬似的に発生した切り口情報から
切り口復元情報を作成する（ステップ２６）。
【００１２】図５から図１０までは、処理の様子を論理
回路の１例を引例して示した図である。図５のような階
層を有する論理回路を展開して、図６の論理回路を得
る。そのとき、図７に示すようなデータ構造で階層展開
情報と信号名情報と切り口情報とを出力する。次に、図
６の論理回路に対し、アプリケーションプログラムを実
行し、図８の論理回路を得る。このとき発生させたシン
ボルのインスタンス名、信号名について、図９に示すよ
うに、階層展開情報、信号名情報、切り口情報を擬似的
に発生する。最後に、階層展開情報、信号名情報、切り
口情報を基に、図１０の様に階層を復元して処理が終了
する。
回路の１例を引例して示した図である。図５のような階
層を有する論理回路を展開して、図６の論理回路を得
る。そのとき、図７に示すようなデータ構造で階層展開
情報と信号名情報と切り口情報とを出力する。次に、図
６の論理回路に対し、アプリケーションプログラムを実
行し、図８の論理回路を得る。このとき発生させたシン
ボルのインスタンス名、信号名について、図９に示すよ
うに、階層展開情報、信号名情報、切り口情報を擬似的
に発生する。最後に、階層展開情報、信号名情報、切り
口情報を基に、図１０の様に階層を復元して処理が終了
する。
【００１３】
【発明の効果】以上説明したように本発明は、階層情報
復元手段、信号名復元手段、切り口情報復元手段の処理
手順を行うことにより、階層の展開・復元を自由に行
え、かつ、インスタンス名、信号名、階層の切り口のピ
ン名が復元できるので、階層を持つ論理回路を入力とし
て許さない回路の一部を変更するアプリケーションの実
行後に、信号名やピン名を意識するアプリケーションが
実行できるという効果がある。
復元手段、信号名復元手段、切り口情報復元手段の処理
手順を行うことにより、階層の展開・復元を自由に行
え、かつ、インスタンス名、信号名、階層の切り口のピ
ン名が復元できるので、階層を持つ論理回路を入力とし
て許さない回路の一部を変更するアプリケーションの実
行後に、信号名やピン名を意識するアプリケーションが
実行できるという効果がある。
【図１】本発明の一実施例を示す構成図である。
【図２】本実施例の展開情報作成の処理フロー図であ
る。
る。
【図３】本実施例の信号名情報作成の処理フロー図であ
る。
る。
【図４】本実施例の切り口情報作成の処理フロー図であ
る。
る。
【図５】本実施例の処理過程の説明図である。
【図６】本実施例の処理過程の説明図である。
【図７】図６のインスタンス、信号名、切り口情報の説
明図である。
明図である。
【図８】本実施例の処理過程の説明図である。
【図９】図８のインスタンス、信号名、切り口情報の説
明図である。
明図である。
【図１０】本実施例の最終処理後の説明図である。
１ 階層有り論理回路 ２ 階層展開手段 ３ 信号名情報 ４ 階層展開情報 ５ 切り口情報 ６ 階層無し論理回路 ７ アプリケーションプログラム ８ 階層無し論理回路 ９ 信号名情報比較手段 １０ 信号名情報復元手段 １１ 階層情報比較手段 １２ 階層情報復元手段 １３ 切り口情報比較手段 １４ 切り口情報復元手段 １５ 階層復元手段 １６ 階層有り論理回路
Claims (1)
- 【請求項１】 階層を持つ論理回路において、階層を展
開し、階層展開前後でのシンボルに付与するユニークな
名前（以後、インスタンス名という）の対応を記述した
階層展開情報と階層展開前後での信号名の対応を記述し
た信号名情報および階層展開前のピン名とそれに接続さ
れる上位階層の信号名との対応を記述した切り口情報を
出力するための階層展開手段と、回路を一部変更するア
プリケーションプログラム実行前の階層展開情報と現在
の情報とを比較するための階層情報比較手段と、この階
層情報比較手段の結果に基づき階層復元のために階層復
元情報を設定する階層情報復元手段と、前記アプリケー
ションプログラム実行前の信号名情報の現在の信号名を
比較するための信号名比較手段と、この信号名情報比較
手段の結果に基づき階層内の信号名復元のために信号名
情報を設定する信号名情報復元手段と、前記アプリケー
ションプログラム実行前の切り口情報の信号名と現在の
信号を比較するための切り口情報比較手段と、この切り
口情報比較手段の結果に基づき階層の切り口ピン名復元
のために切り口情報を設定する切り口情報復元手段と、
前記階層情報復元手段により設定された階層復元情報と
前記信号名情報復元手段により設定された信号名復元情
報と前記切り口情報復元手段により設定された切り口情
報とに従い階層を復元させる階層復元手段とを有するこ
とを特徴とする論理回路の階層復元方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4272169A JPH06195413A (ja) | 1992-10-12 | 1992-10-12 | 論理回路の階層復元方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4272169A JPH06195413A (ja) | 1992-10-12 | 1992-10-12 | 論理回路の階層復元方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH06195413A true JPH06195413A (ja) | 1994-07-15 |
Family
ID=17510038
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4272169A Withdrawn JPH06195413A (ja) | 1992-10-12 | 1992-10-12 | 論理回路の階層復元方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH06195413A (ja) |
-
1992
- 1992-10-12 JP JP4272169A patent/JPH06195413A/ja not_active Withdrawn
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5051911A (en) | Apparatus for effecting simulation of a logic circuit and method for producing a semiconductor device using the simulation approach | |
| JPS60142771A (ja) | 論理回路デ−タ作成方法 | |
| US5909374A (en) | System and method for verifying logic circuit based on signal line set affecting internal signal | |
| JP2758817B2 (ja) | 論理回路実現性判定システム | |
| JPH0744588A (ja) | 論理シミュレーション方法 | |
| JPH06195413A (ja) | 論理回路の階層復元方式 | |
| JPH0430068B2 (ja) | ||
| JPH05151308A (ja) | 論理回路の階層復元方式 | |
| JPH05282398A (ja) | 論理回路の階層復元方式 | |
| JPH1153239A (ja) | データベースのロールバック処理方法及び前記ロールバック処理方法の手順を記録した記録媒体 | |
| JP2600572B2 (ja) | 順序回路を含む論理検証対象回路の論理検証容易化回路への変換方法とその装置 | |
| JP2725490B2 (ja) | ソフトウエアバグ原因推論エキスパートシステム | |
| JPS6367581A (ja) | 部分テスト項目作成方法 | |
| JPH0822485A (ja) | 論理等価性検証方法およびその装置 | |
| JP2785708B2 (ja) | 論理シミュレーション方法 | |
| JP2928128B2 (ja) | Ｃｐｕ周辺装置のシミュレーション方式およびその方法 | |
| JP2850629B2 (ja) | 論理検証システム | |
| JP2874031B2 (ja) | 組み合わせ回路の再設計方式 | |
| JP2896315B2 (ja) | 論理シミュレーション方法 | |
| JPH0635983A (ja) | 回路図生成システム | |
| JPH04320575A (ja) | 論理合成方法およびその装置 | |
| JPH06274570A (ja) | 回路分割方式 | |
| JPH0731696B2 (ja) | 論理回路の接続構成方法 | |
| JPH0535817A (ja) | シミユレーシヨン方法 | |
| JPH0713975A (ja) | レイアウト検証システム |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 20000104 |