JPH0772745B2 - ディジタル回路の論理シミュレ−ション結果の照合方式 - Google Patents
ディジタル回路の論理シミュレ−ション結果の照合方式Info
- Publication number
- JPH0772745B2 JPH0772745B2 JP62170295A JP17029587A JPH0772745B2 JP H0772745 B2 JPH0772745 B2 JP H0772745B2 JP 62170295 A JP62170295 A JP 62170295A JP 17029587 A JP17029587 A JP 17029587A JP H0772745 B2 JPH0772745 B2 JP H0772745B2
- Authority
- JP
- Japan
- Prior art keywords
- file
- circuit
- collated
- collation
- simulation result
- 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.)
- Expired - Lifetime
Links
Landscapes
- Tests Of Electronic Circuits (AREA)
Description
【発明の詳細な説明】 〔産業上の利用分野〕 本発明は電子回路の設計分野に利用される。
本発明は、ディジタル回路における論理ジミュレーショ
ン結果の照合方式に関する。
ン結果の照合方式に関する。
本発明は、ディジタル回路設計後、機能図レベルまたは
回路図レベルで動作確認を行うディジタル回路の論理シ
ミュレーション結果の照合方式において、 シミュレーション結果の被照合全状態ファイルと、照合
を行うべき照合全状態ファイルとについて、統一された
所定の形式によりそれぞれ変換して中間ファイルを作成
し、この中間ファイルに基づいて論理シミュレーション
とは独立に所定の照合を行うことにより、 全信号、全状態の照合が可能で、ならびに期待値と不一
致が生じたときの解析が容易で、かつ論理シミュレータ
の負荷を軽減できるようにしたものである。
回路図レベルで動作確認を行うディジタル回路の論理シ
ミュレーション結果の照合方式において、 シミュレーション結果の被照合全状態ファイルと、照合
を行うべき照合全状態ファイルとについて、統一された
所定の形式によりそれぞれ変換して中間ファイルを作成
し、この中間ファイルに基づいて論理シミュレーション
とは独立に所定の照合を行うことにより、 全信号、全状態の照合が可能で、ならびに期待値と不一
致が生じたときの解析が容易で、かつ論理シミュレータ
の負荷を軽減できるようにしたものである。
従来、ディジタル回路における論理シミュレーション結
果の照合方式は、 （ア） 自動照合機能はなく、人間がリスト上で目視で
照合する。
果の照合方式は、 （ア） 自動照合機能はなく、人間がリスト上で目視で
照合する。
（イ） 論理シミュレータ自身が照合機能を持ち、論理
シミュレータが出力する照合リストにより照合する。
シミュレータが出力する照合リストにより照合する。
という方式があった。
上述した従来のディジタル回路の論理シミュレーション
結果の照合方式では、 （ア） 目視による照合では、工数がかかり、誤る確率
も高い。
結果の照合方式では、 （ア） 目視による照合では、工数がかかり、誤る確率
も高い。
（イ） シミュレータ自身の照合機能は、全信号、全状
態の照合ではなく、外部入出力信号すなわち回路の切り
口のみの照合であり、期待値と不一致が起きたときの解
析工数が大である。また、全信号、全状態の照合機能を
シミュレータに組み込むと、シミュレータの負荷が大に
なる。
態の照合ではなく、外部入出力信号すなわち回路の切り
口のみの照合であり、期待値と不一致が起きたときの解
析工数が大である。また、全信号、全状態の照合機能を
シミュレータに組み込むと、シミュレータの負荷が大に
なる。
という欠点があった。
本発明の目的は、前記の欠点を除去することにより、全
信号、全状態の照合が可能で、ならびに期待値と不一致
が生じたときの解析が容易で、かつ論理シミュレータの
負荷を軽減できるディジタル回路の論理シミュレーショ
ン結果の照合方式を提供することにある。
信号、全状態の照合が可能で、ならびに期待値と不一致
が生じたときの解析が容易で、かつ論理シミュレータの
負荷を軽減できるディジタル回路の論理シミュレーショ
ン結果の照合方式を提供することにある。
本発明は、ディジタル回路設計後、機能図レベルまたは
回路図レベルで動作確認を行うディジタル回路の論理シ
ミュレーション結果の照合方式において、シミュレーシ
ョン結果の全信号および全状態を格納した被照合全状態
ファイルと、この被照合全状態ファイルとの照合を行う
べき全信号および全状態が格納された照合全状態ファイ
ルとについて、統一された所定の形式によりそれぞれ変
換して中間ファイルを作成する中間ファイル変換手段
と、この中間ファイル間で論理シミュレータとは独立に
信号および状態の照合を行う照合手段とを備えたことを
特徴とする。
回路図レベルで動作確認を行うディジタル回路の論理シ
ミュレーション結果の照合方式において、シミュレーシ
ョン結果の全信号および全状態を格納した被照合全状態
ファイルと、この被照合全状態ファイルとの照合を行う
べき全信号および全状態が格納された照合全状態ファイ
ルとについて、統一された所定の形式によりそれぞれ変
換して中間ファイルを作成する中間ファイル変換手段
と、この中間ファイル間で論理シミュレータとは独立に
信号および状態の照合を行う照合手段とを備えたことを
特徴とする。
また本発明は、照合全状態ファイルは、設計者が期待し
た出力値を持つ出力期待値ファイルと、回路修正後版数
の異なる図面に対して再シミュレートした結果の全状態
ファイルと、機能図に対しては回路図、回路図に対して
は機能図の全状態ファイルと、異論理シミュレータ上の
全状態ファイルとのうちの少なくとも一つを含むことが
できる。
た出力値を持つ出力期待値ファイルと、回路修正後版数
の異なる図面に対して再シミュレートした結果の全状態
ファイルと、機能図に対しては回路図、回路図に対して
は機能図の全状態ファイルと、異論理シミュレータ上の
全状態ファイルとのうちの少なくとも一つを含むことが
できる。
また本発明は、信号および状態の照合は、カードで指定
された信号およびパタンについてのみ行うことができ
る。
された信号およびパタンについてのみ行うことができ
る。
照合機能を一つの独立したシステムとし、シミュレート
した結果の全信号および全状態を格納した被照合全状態
ファイルと、照合すべき他の照合全状態ファイルまたは
出力期待値ファイルとを中間ファイル変換手段に入力す
ることにより、一たん統一的な中間ファイルへ変換した
後、全信号、全状態の照合を行う。また、不一致解析な
どの場合には、カードで指定された信号およびパタンに
ついてのみ照合を行う。
した結果の全信号および全状態を格納した被照合全状態
ファイルと、照合すべき他の照合全状態ファイルまたは
出力期待値ファイルとを中間ファイル変換手段に入力す
ることにより、一たん統一的な中間ファイルへ変換した
後、全信号、全状態の照合を行う。また、不一致解析な
どの場合には、カードで指定された信号およびパタンに
ついてのみ照合を行う。
従って、全信号および全状態についての照合ができ、不
一致解析が容易で、かつ論理シミュレータの負荷を軽減
することができる。
一致解析が容易で、かつ論理シミュレータの負荷を軽減
することができる。
以下、本発明の実施例について図面および表を参照して
説明する。
説明する。
第１図は本発明の一実施例による照合システムの要部を
示すブロック構成図である。本実施例は、シミュレーシ
ョン結果の全信号および全状態を格納した被照合全状態
ファイル１と、例えば、出力期待値ファイル、再シミュ
レートした全状態ファイル、レベルの異なる全状態ファ
イルおよび異論理シミュレータ上の全状態ファイルなど
の照合すべき照合全状態ファイル２と、機能図・回路図
信号名対応ファイル３とが中間ファイル変換手段４に入
力され、統一的な形式を持つ被照合中間ファイル５およ
び照合中間ファイル６にそれぞれ変換され、さらに照合
手段７に入力され所定の照合が行われ、その結果が照合
リスト８として出力されるように構成される。
示すブロック構成図である。本実施例は、シミュレーシ
ョン結果の全信号および全状態を格納した被照合全状態
ファイル１と、例えば、出力期待値ファイル、再シミュ
レートした全状態ファイル、レベルの異なる全状態ファ
イルおよび異論理シミュレータ上の全状態ファイルなど
の照合すべき照合全状態ファイル２と、機能図・回路図
信号名対応ファイル３とが中間ファイル変換手段４に入
力され、統一的な形式を持つ被照合中間ファイル５およ
び照合中間ファイル６にそれぞれ変換され、さらに照合
手段７に入力され所定の照合が行われ、その結果が照合
リスト８として出力されるように構成される。
また、カード指示９を照合手段７に入力した場合には、
そのカード指示による信号またはパタンについてのみ照
合が行われる構成である。
そのカード指示による信号またはパタンについてのみ照
合が行われる構成である。
次に、各部の詳細を含め動作について説明する。
第２図は第１図に示された中間ファイル５および６の形
式を表わす説明図である。中間ファイル５および６はヘ
ッダーレコード、信号名レコードおよびパタンレコード
より構成される。
式を表わす説明図である。中間ファイル５および６はヘ
ッダーレコード、信号名レコードおよびパタンレコード
より構成される。
ヘッダーレコードは、第１表に示すように当該中間ファ
イル全体に関する情報を持つ。すなわち、回路名、回路
種別、版数、シミュレータID、開始パタンNo.、終了パ
タンNo.、総信号数、入力信号数、出力信号数、入出力
信号数、クロック数および内部信号数を含む。
イル全体に関する情報を持つ。すなわち、回路名、回路
種別、版数、シミュレータID、開始パタンNo.、終了パ
タンNo.、総信号数、入力信号数、出力信号数、入出力
信号数、クロック数および内部信号数を含む。
信号名レコードは第２表に示すように、全信号数分のレ
コードを持ち、機能図、回路図対応の信号名、またはピ
ン名あるいはピン番号、属性、束線識別等のフィールド
を持つ。機能図の全状態ファイルであれば機能図信号名
フィールドのみに信号名が入り、回路図の全状態ファイ
ルであれば回路図信号名フィールドに信号名が入るとと
もに対応する機能図信号名が機能図信号名フィールドに
入る。機能図信号名と回路図信号名の対応は、回路図モ
デル作成時に自動的に認識される。出力期待値ファイル
の場合も、機能図信号名で記述した場合には機能図信号
名フィールドのみに、回路図信号名で記述した場合は回
路図信号名フィールドと、機能図信号名フィールドにそ
れぞれ信号名が入る。
コードを持ち、機能図、回路図対応の信号名、またはピ
ン名あるいはピン番号、属性、束線識別等のフィールド
を持つ。機能図の全状態ファイルであれば機能図信号名
フィールドのみに信号名が入り、回路図の全状態ファイ
ルであれば回路図信号名フィールドに信号名が入るとと
もに対応する機能図信号名が機能図信号名フィールドに
入る。機能図信号名と回路図信号名の対応は、回路図モ
デル作成時に自動的に認識される。出力期待値ファイル
の場合も、機能図信号名で記述した場合には機能図信号
名フィールドのみに、回路図信号名で記述した場合は回
路図信号名フィールドと、機能図信号名フィールドにそ
れぞれ信号名が入る。
パタンレコードは、パタン数分のレコードを持ち、第３
表に示すように信号名レコードで定義された順に各信号
の値を４ビットで持ち、論理値０ビット列「0000」論理
値１は「0011」で表す。
表に示すように信号名レコードで定義された順に各信号
の値を４ビットで持ち、論理値０ビット列「0000」論理
値１は「0011」で表す。
被照合全状態ファイル１と出力期待値ファイルを含む照
合全状態ファイル２を機能図・回路図信号名対応ファイ
ル３とともに、中間ファイル変換手段４に入力し、被照
合中間ファイル５および照合中間ファイル６へ変換した
後、全信号、全状態の照合を照合手段７により行う。
合全状態ファイル２を機能図・回路図信号名対応ファイ
ル３とともに、中間ファイル変換手段４に入力し、被照
合中間ファイル５および照合中間ファイル６へ変換した
後、全信号、全状態の照合を照合手段７により行う。
照合の方法は、第３図（ａ）〜（ｅ）に示すように、機
能図同士、機能図、回路図間および機能図と機能図信号
名で記述された期待値との照合であれば、機能図信号名
フィールドをキーに、回路図同士および回路図と回路図
信号名で記述された期待値との照合であれば、回路図信
号名フィールドをキーにして照合する。なお、第３図
（ａ）〜（ｅ）において、それぞれ並べられた二つのフ
ァイルのうち、左側は被照合ファイル、右側は照合ファ
イルである。
能図同士、機能図、回路図間および機能図と機能図信号
名で記述された期待値との照合であれば、機能図信号名
フィールドをキーに、回路図同士および回路図と回路図
信号名で記述された期待値との照合であれば、回路図信
号名フィールドをキーにして照合する。なお、第３図
（ａ）〜（ｅ）において、それぞれ並べられた二つのフ
ァイルのうち、左側は被照合ファイル、右側は照合ファ
イルである。
また、全信号、全状態のみでなく、カード指示９で指定
した信号のみ、パタンのみの照合も可能である。
した信号のみ、パタンのみの照合も可能である。
照合リスト８は、第４表に示すような形式である。
縦方向にパタン番号または時刻、横方向にキーとして照
合した信号名のペアが出力され、照合時に不一致が置き
たときそれぞれの信号値を出力する。表中のＡ、Ｂ、Ｆ
は、束線として照合した場合の16進表示を表している。
合した信号名のペアが出力され、照合時に不一致が置き
たときそれぞれの信号値を出力する。表中のＡ、Ｂ、Ｆ
は、束線として照合した場合の16進表示を表している。
以上、説明したように、本発明によれば、ディジタル回
路における論理シミュレーション結果の照合を一つの独
立したシステムとすることにより、論理シミュレータの
負荷を軽減し、かつ全信号および全状態の照合を可能と
し、期待値と不一致が置きたときの解析を容易にするデ
ィジタル回路の論理シミュレーション結果の照合方式が
得られ、その結果は大である。
路における論理シミュレーション結果の照合を一つの独
立したシステムとすることにより、論理シミュレータの
負荷を軽減し、かつ全信号および全状態の照合を可能と
し、期待値と不一致が置きたときの解析を容易にするデ
ィジタル回路の論理シミュレーション結果の照合方式が
得られ、その結果は大である。
第１図は本発明の一実施例による照合システムの要部を
示すブロック構成図。 第２図はその中間ファイルの形式を示す説明図。 第３図（ａ）〜（ｅ）はその照合時のキー信号名を示す
説明図。 １……被照合全状態ファイル、２……照合全状態ファイ
ル、３……機能図・回路図信号名ファイル、４……中間
ファイル変換手段、５……被照合中間ファイル、６……
照合中間ファイル、７……照合手段、８……照合リス
ト、９……カード指示。
示すブロック構成図。 第２図はその中間ファイルの形式を示す説明図。 第３図（ａ）〜（ｅ）はその照合時のキー信号名を示す
説明図。 １……被照合全状態ファイル、２……照合全状態ファイ
ル、３……機能図・回路図信号名ファイル、４……中間
ファイル変換手段、５……被照合中間ファイル、６……
照合中間ファイル、７……照合手段、８……照合リス
ト、９……カード指示。
Claims (3)
- 【請求項１】ディジタル回路設計後、機能図レベルまた
は回路図レベルで動作確認を行うディジタル回路の論理
シミュレーション結果の照合方式において、 シミュレーション結果の全信号および全状態を格納した
被照合全状態ファイルと、この被照合全状態ファイルと
の照合を行うべき全信号および全状態が格納された照合
全状態ファイルとについて、統一された所定の形式によ
りそれぞれ変換して中間ファイルを作成する中間ファイ
ル変換手段と、 この中間ファイル間で論理シミュレータとは独立に信号
および状態の照合を行う照合手段と を備えたことを特徴とするディジタル回路の論理シミュ
レーション結果の照合方式。 - 【請求項２】照合全状態ファイルは、設計者が期待した
出力値を持つ出力期待値ファイルと、回路修正後版数の
異なる図面に対して再シミュレートした結果の全状態フ
ァイルと、機能図に対しては回路図、回路図に対しては
機能図の全状態ファイルと、異論理シミュレータ上の全
状態ファイルとのうちの少なくとも一つを含む特許請求
の範囲第（１）項記載のディジタル回路の論理シミュレ
ーション結果の照合方式。 - 【請求項３】信号および状態の照合は、カードで指定さ
れた信号およびパタンについてのみ行う特許請求の範囲
第（１）項記載のディジタル回路の論理シミュレーショ
ン結果の照合方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62170295A JPH0772745B2 (ja) | 1987-07-08 | 1987-07-08 | ディジタル回路の論理シミュレ−ション結果の照合方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP62170295A JPH0772745B2 (ja) | 1987-07-08 | 1987-07-08 | ディジタル回路の論理シミュレ−ション結果の照合方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS6413481A JPS6413481A (en) | 1989-01-18 |
| JPH0772745B2 true JPH0772745B2 (ja) | 1995-08-02 |
Family
ID=15902314
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP62170295A Expired - Lifetime JPH0772745B2 (ja) | 1987-07-08 | 1987-07-08 | ディジタル回路の論理シミュレ−ション結果の照合方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0772745B2 (ja) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105917038B (zh) | 2014-01-15 | 2018-02-23 | 株式会社大赛璐 | 乙酸纤维素纤维、乙酸纤维素纤维成型体、及它们的制造方法 |
| EP3312227B1 (en) | 2015-06-19 | 2023-10-04 | Daicel Corporation | Water-soluble cellulose acetate resin composition, coated preparation, water-soluble cellulose acetate composite molded article and method for producing same |
-
1987
- 1987-07-08 JP JP62170295A patent/JPH0772745B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPS6413481A (en) | 1989-01-18 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| TW498201B (en) | System and method for generating year 2000 test cases | |
| US5740408A (en) | Method for automated software application testing | |
| GB2280289A (en) | Method for generating specific program systems and tools to facilitate program system generation | |
| JPH0772745B2 (ja) | ディジタル回路の論理シミュレ−ション結果の照合方式 | |
| Mathur | Methodology for business system development | |
| JP2705548B2 (ja) | 印刷回路基板設計支援装置 | |
| CN110389955A (zh) | 一种数据仓库调度文件自动生成系统及生成方法 | |
| JP3197075B2 (ja) | 診断型エキスパートシステム及びその構築支援装置 | |
| CN116226788B (zh) | 一种融合多种数据类型的建模方法及相关设备 | |
| Larson et al. | Well-Formed Entity Relationship Diagrams | |
| JP3109331B2 (ja) | 帳票出力装置 | |
| Firesmith | Mixing apples and oranges: or what is an Ada line of code anyway? | |
| Raban | Information systems modeling with CGs logic | |
| JPH06162127A (ja) | Ｃａｄデータの検証装置 | |
| KR20060022370A (ko) | ３차원 캐드 모델링 및 도면 데이터 관리 시스템 | |
| CN115688485A (zh) | 一种工业设计流程中主辅参数配置绑定设计方法 | |
| Wolfenson et al. | An approach to health data validation | |
| JP3412075B2 (ja) | 工数情報のファイル管理方法 | |
| JP3623617B2 (ja) | データ設定システム | |
| KR100298168B1 (ko) | 전화번호변동자료의가공및편집방법 | |
| JPH07175845A (ja) | 論理シミュレーション用回路変換方式 | |
| JPH08314958A (ja) | 議会議事録検索システムにおけるデータ登録方法 | |
| Townsend | Creating Files | |
| Tan et al. | Extracting code fragment that implements functionality | |
| Niedermuller | AUTOMATING THE MANAGEMENT OF INTERFACE DATA |