JPH0357032A - 計算機調整支援論理シミュレーション方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、電子計算機等の実機調整方法に係り，特に、
論理設計の検証、調整を：Ａ整済電子計算機上に構築し
たシミュレーションモデルを用いて行う論理シミュレー
ション方法の初期値設定方法に関するものである。

〔従来の技術〕

電子言１算機のＬＳＩ化に伴い，その実機調整作業にお
いて論理不良が発生したとき、内部信号などを容易に観
測することができ無くなったため、非常に不便になった
。

この対応方法として、従来の技術における電子計算機等
の論理設計の不良を検出する論理検証では、論理シミュ
レーションを用い、電子計算機により自動的に設計結果
の正しさを確認する論理検証を行っている。すなわち、
設計対象である集積回路の設計言語による記述と、シミ
ュレーション実行制御データを入力として，論理シミュ
レートし，結果として動作を表すタイムチャートを出力
する。電子計算機の不良解析は、このタイムチャートの
内容を確認することにより行われる。

さらには，調整される被調整電子計算機の実行途中の状
態から、調整済み電子計算機上に構築した論理シミュレ
ーションモデルを用いて、被調整電子計算機の不良解析
をおこなう方法がある．すなわち、大型計算機の調整支
援のため、不良の発生時に、実機の内部状態を取り出し
、別途に調整済み電子計算機上に構築したシミュレーシ
ョンモデルに、「信号名をキー」として初期値設定し、
このシミュレーションモデルを起動して，論理不良解析
を行う方法である。この際、実機からシミュレーション
モデルへの状態写像には、スキャンアドレスと信号名の
対応表を用いている．この従来方法は、特開昭５９−１
１７６６０号公報、および、この特開昭５９−１　１　
７６６０号公報を改善した発明である特開昭６２−２０
０４３４号公報に記載されている。特開昭６２−２００
４３４号公報は、特に論理シミュレーションのりスター
ト時の誤動作の防止を目的としており、リスタート時の
論理回路の信号の初期値は、素子自身が持つ信号値で決
定した後、イベントテーブルに存在する素子については
、イベントテーブル中の旧信号値で書き替えることによ
り実現されている。

〔発明が解決しようとする課題〕

従来の電子計算機の実機調整における論理シミュレーシ
ョンでは、特開昭６　’２　−　２　０　０　４　３　
４号公報に示されるように、シミュレーションモデルの
初期値設定のために、スキャンアドレスと信号の対応表
が必要であり，この対応表を誤りなく保持していくこと
は、工数、信頼性の面で非常に困難なものであった。

本発明の目的は，これら従来技術の課題を解決し、スキ
ャンアドレスと信号名の対応表を用いず，実機の内部状
態を直接シミュレーションモデルに写像することを可能
とし、論理不良解析を行うときの初期値設定等に伴う解
析期間を短縮し、実機調整作業の効率を向上させる計算
機調整支援論理シュるレーション方法を提供することで
ある。

〔課題を解決するための手段〕

上記目的を達成するため，本発明の計算機調整支援論理
シュミレーション方法は、動作の確認が行われる被調整
電子計算機の内部レジスタおよびメモリの内容を，調整
済電子計算機上に構築したシミュレーションモデルに転
送し、被調整電子計算機の実行途中の状態からシミュレ
ーションモデルを用いて、被調整電子計算機の不良解析
を行う論理シミュレーション方法において、被調整電子
計算機の内部状態をスキャンアウトするサービスプロセ
ッサとサービスプロセッサによりスキャンアウトして得
られたスキャンデータを格納する外部記憶部を用い、こ
の外部記憶部のスキャンデータを直接シミュレーション
モデルでスキャンインシミュレーションすることで初期
値設定を写像することを特徴とする。

〔作用〕

本発明においては、サービスプロセッサにより，被調整
電子計算機の内部状態をスキャンアウトし、さらに、こ
のスキャンアウト信号の内容，例えば、レジスタ，メモ
リ等を効率良く外部記憶部に格納する． 調整済電子計算機は，被調整電子計算機と同等の論理シ
ミュレーションモデルである論理シミュレータを有し、
この論理シミュレータに、被調整電子計算機の実行途中
の状態から、外部記憶部に格納された被調整電子計算機
の内容（スキャンデータ）をスキャンインし、直接スキ
ャンインシミュレーションを実行する。

このようにして、被調整電子計算機の内部状態を調整済
電子計算機のシミュレーションモデルに写像することに
より，従来必要とされたスキャンアドレスと信号名の対
応表を用いず初期値設定を実現する。

〔実施例〕

以下本発明の実施例を、図面により詳細に説明する． 第１図は本発明を施した論理シミュレーションを行う電
子計算機ｇ整支援システムの構威を示すブロック図であ
る。

被調整電子計算機１、被調整電子計算＆１１内の主記憶
部２と記憶制御部３と命令処理部・１、サービスプロセ
ッサ５、外部記憶部６、調整済電子計算機７、調整済電
子計算機７の論理シミュレータ８、そして、結果ファイ
ル９により構或されている。

被調整電子計算機工内の主記憶部２には、対象となる調
整用プログラムを格納する。記憶制御部３は、この主記
憶部２を制御するものである。命令処理部４は、本実施
例の動作に関する命令の解読・実行を行う。

サービスプロセッサ５は、システム保守用であり、不良
が検出されたときに、被調整電子計算機の内部状態を効
率良く収集、保存するための制御を行う、外部記憶部６
は，サービスプロセッサ５の制御により、調整時や不良
発生時に被調整電子計算機１の内部状態、例えば、レジ
スタ、メモリ等を格納するためのものである。

調整済電子計算機７は，搭載した論理シミュレータ８に
外部記憶装置６にある不良時の被調整電子計算機１の内
部状態をスキャンインし、スキャンインシミュレーショ
ン等を行い、不良の解析結果を出す。結果ファイル９は
、調整済電子計算機７が論理シミュレーションを行った
結果を格納する。

さて，被調整電子計算機上の調整動作が調整用プログラ
ムに基づき起動し、なんらかの不良が検出されると，命
令処理部４は，その不良発生時の被調整電子計算機１の
内部状態をサービスプロセッサ５を介して外部記憶部６
に格納される。

調整済電子計算機７は、その内部に被調整電子計算機１
と同等のシミュレーションモデルを論理シミュレータ８
に構築しており、この論理シミュレータ８に、外部記憶
部６にあるスキャンアウトして得られた被調整電子計算
機１の内部状態をスキャンインすることにより、被調整
電子計算機の不良発生時の内部状態を再現する。さらに
、調整済電子計算機７は、初期シミュレーション、解析
シミュレーション動作を行い被調整電子計算機１の不良
の解析を行う。

調整済電子計算機７が論理シミュレーションを行った結
果は、結果ファイル９に格納される．第２図は、第１図
の被調整電子計算機１の論理誤動作を検出したときに、
その被調整電子計算機１の内部状態を外部記憶部６に退
避するサービスプロセッサ５内のコントロールウェアの
処理手順を示すフローチャートである。

第２図により，第ｌ図の被調ａ電子計算機１とサービス
プロセッサ５および外部記憶部６の動作を説明する。

まず、被調整電子計算機１の動作テストを行う（ステッ
プ２０１）。ステップ２０１の動作テストの結果、不良
が発生し動作の解析が必要であるか否かの判定を行う（
ステップ２０２）。不良が発生し動作の解析が必要な場
合には，被調整電子計算機１の内部状態を示すプログラ
ム状態語（ＰｒｏｇｒａｍＳｔａｔｕｓ　Ｗｏｒｄ）、
レジスタなどの内容をスキャンアウト信号によりサービ
スプロセッサ５を介し、外部記憶部６へ書き込みを行い
（ステップ２０３）、動作を終了する。もし、ステノプ
２０２において、不良が発生せず動作の解析が必要でな
い場合には、ステップ２０３の処理は行わず動作を終了
する。

第３図は、第１図の調整済電子計算機７内の各処理の動
作を示すフローチャートである。

第３図により、第１図の調整済電子計算機７と外部記憶
部６そして論理シミュレータ８の動作説明を行う。

調整済電子計算機７上に被調整電子計算機上と同等の論
理シミュレーションモデルを作或する（ステップ３０１
）。調整済電子計算機７上の図示されないメモリに、シ
ミュレーションモデルを展開し論理シミュレータ８とす
る（ステップ３０２）。

第２図の動作説明において退避させた被調′Ｍ電子計算
機１の内容を外部記憶部６より論理シミュレータ８へ読
み込ませる（ステップ３０３）。ステップ３０３で読み
込んだ情報を用い、レジスタの値を設定するときには，
そのレジスタに該当するスキャンアトレスとスキャンア
ウトデータを，スキャンアドレスで示す論理部へスキャ
ンインシミュレーションを実行させる事で値を設定する
。これを繰返し、各部分の論理部へスキャンインシミュ
レーションを行わせることで、被調整電子計算機工の内
部状態をシミュレーションモデル上に写像する。また、
メモリのときは、アドレス変換後、シミュレーション時
に使用する擬似メモリデータをセットする（ステップ３
０４）．このように、ステノプ３０４を実行することに
より、直接、シミュレーション開始時の初期設定を行い
、シミュレーションリスタートを行う準備は、自動的に
完了する（ステップ３０５）。ステップ３０５の初期設
定の後、論理不良解析シミュレーションを指定サイクル
数まで実行する（ステップ３０６）。ステップ３０６の
実行結果を登録した第１図の結果ファイル９を用いて，
論理不良原因の追及を行う（ステソプ３０７）。

第４図は、第３図におけるステップ３０４のスキャンイ
ンシミュレーションの動作原理を示すブロック図である
。

メモリ素子１０（電子計算機内の全レジスタ（フリップ
フロップ）を表す），セレクタ１１、デコーダ■２〜１
／ｉにより構威される。

スキャンインとは、スキャン論理における書き込み動作
のことをいい，スキャン論理とは，電子計算機内の全レ
ジスタ（フリップフロップ）をメモリ素子とみなして、
アドレス付けを行い、通常動作とは別に、独立して，外
部からレジスタへの書き込み・設定（スキャンイン）し
、レジスタからの読み出し・観測（スキャンアウト）を
行うものである。

ワードアドレスをデコーダ（Ａ）で、バイトアドレスを
デコーダ（Ｂ）、ビッ１−アドレスをデコーダ（Ｃ）で
デコードしてスキャンインアドレスを設定し、そのアド
レスに対応するスキャンインデータをスキャンインタイ
ミング（クロック）を入れることによりメモリ素子１０
にスキャンインデータを設定させる、以上の動作をスキ
ャンインシミュレーションという。

スキャン論理の動作としては、セレクタ１１を介してス
キャンアウトデータを読み出す事により完了する。

このように、本実施例では、被調整電子計算機１の内部
状態のスキャンアウトデータを、調整済み電子計算機７
の論理シミュレータ８でスキャンインシミュレーション
を行わせることにより、被調整電子計算機１の内部状態
を、直接、調整済み電子計算機７に再現し、シミュレー
ションリスタートを行うための初期設定が可能となるた
め、従来技術による初期設定において必要とされていた
スキャンアドレスと信号名の対応表の作或およびメンテ
ナンス工数等が不要となる。

〔発明の効果〕

本発明によればスキャンアドレスと信号名の対、応表を
用いず、実機の内部状態を直接シミュレーションモデル
に写像することが可能となり、論理不良解析を行うとき
の初期値設定等に伴う解析期間を短縮し、実機調整作業
の効率を向上させることが可能である。

【図面の簡単な説明】

第１図は本発明を施した電子計算機調整支援システムの
構成を示すブロック図，第２図は第１１考におけるサー
ビスプロセッサの処理手順を示すフローチャート、第３
図は第１図における調整済電子計算機の各処理動作を示
すフローチャート、第４図は第３図におけるスキャンイ
ンシミュレーションの動作原理を示すブロック図である
。 １：被調整電子計算機，２：主記憶部，３：記憶制御部
，４：命令処理部，５：サービスプロセッサ，６：外部
記憶部，７：調整済電子計算機，８：論理シミュレー夕
，９：結果ファイル，１０：メモリ素子（フリップフロ
ップ），１１：セレクタ，１２〜１４：デコーダ。 第 ２ 図 第 ３ 図

Claims (1)

【特許請求の範囲】
1. １、動作の確認が行われる被調整電子計算機の内部レジ
   スタおよびメモリの内容を、調整済電子計算機上に構築
   したシミュレーションモデルに転送し、上記被調整電子
   計算機の実行途中の状態から該シミュレーションモデル
   を用いて、上記被調整電子計算機の不良解析を行う論理
   シミュレーション方法において、上記被調整電子計算機
   の内部状態をスキャンアウトするサービスプロセッサと
   該サービスプロセッサによりスキャンアウトして得られ
   たスキャンデータを格納する外部記憶手段を用い、該外
   部記憶手段に格納された上記スキャンデータを、直接上
   記シミュレーションモデルでスキャンインシミュレーシ
   ョンすることにより初期値設定を写像することを特徴と
   する計算機調整支援論理シミュレーション方法。