(57)【要約】【課題】Ｉ／Ｏ領域のシミュレーションにおいて、ハードウェアリソースへのアクセスの正当性をチェックすることのできる命令チェック処理を提供すること。【解決手段】Ｉ／Ｏシミュレータ１１０によるマイコン１１１のシミュレーションが実行されると、同時に命令チェック装置１２０に格納されている命令チェックプログラム１２１が起動される。この命令チェックプログラム１２１は、Ｉ／Ｏシミュレータ１１０によって実行されている命令の実行状況をチェックする機能を備えたプログラムである。特に、命令チェックプログラム１２１では、マイコン１１１によって実行される参照命令をチェックして不正な処理が実行されていないかを検証することができる。【選択図】図１
2009157649.tif 000002
【特許請求の範囲】
【請求項１】
マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータによる命令の実行状況をコンピュータにチェックさせる命令チェックプログラムであって、
前記コンピュータを、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得手段、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出手段、
前記検出手段によって検出された参照命令に関するシミュレーションの内容と、前記取得手段によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定手段、
前記判定手段によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力手段、
として機能させることを特徴とする命令チェックプログラム。
【請求項２】
前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、前記参照命令に正当性があると判定することを特徴とする請求項１に記載の命令チェックプログラム。
【請求項３】
前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力することを特徴とする請求項２に記載の命令チェックプログラム。
【請求項４】
前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致し、さらに、前記ハードウェアリソースへのアクセスタイミングが前記入出力条件と一致している場合に、前記参照命令に正当性があると判定することを特徴とする請求項２または３に記載の命令チェックプログラム。
【請求項５】
前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力することを特徴とする請求項４に記載の命令チェックプログラム。
【請求項６】
前記コンピュータを、
前記判定手段によって前記参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを前記参照命令に挿入する修正手段、
として機能させることを特徴とする請求項１〜５のいずれか一つに記載の命令チェックプログラム。
【請求項７】
マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータによる命令の実行状況をチェックさせる命令チェック方法であって、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得工程と、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出工程と、
前記検出工程によって検出された参照命令に関するシミュレーションの内容と、前記取得工程によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定工程と、
前記判定工程によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力工程と、
を含むことを特徴とする命令チェック方法。
【請求項８】
前記判定工程では、前記検出工程によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、前記参照命令に正当性があると判定することを特徴とする請求項７に記載の命令チェック方法。
【請求項９】
マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータによる命令の実行状況をチェックする命令チェック装置であって、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得手段と、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出手段と、
前記検出手段によって検出された参照命令に関するシミュレーションの内容と、前記取得手段によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定手段と、
前記判定手段によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力手段と、
を備えることを特徴とする命令チェック装置。
【請求項１０】
マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータであって、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得手段と、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出手段と、
前記検出手段によって検出された参照命令に関するシミュレーションの内容と、前記取得手段によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定手段と、
前記判定手段によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力手段と、
を備えることを特徴とするＩ／Ｏシミュレータ。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、プロセッサコアと、前記プロセッサコアから出力される制御信号によって周辺回路の制御をおこなうための入出力機能部（以下、「Ｉ／Ｏ領域」という）とから構成されたマイコンの動作シミュレーションをおこなうＩ／Ｏシミュレータにおいて、命令の実行状況をコンピュータにチェックさせる命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータに関する。
【背景技術】
【０００２】
従来より、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）やＤＳＰ（Ｄｉｇｉｔａｌ  Ｓｉｇｎａｌ  Ｐｒｏｃｅｓｓｏｒ）などのマイコンを装置に組み込み、ユーザの所望するソフトウェアを実行させる場合には、実装前にシミュレータを利用した動作検証がおこなわれる。この動作検証によってソフトウェアの実行に不具合（バグ）が生じた場合には、この不具合箇所を修正するためにデバッグ処理をおこなう。
【０００３】
デバッグ処理には、プロセッサのハードウェア自体の不都合を修正するためのハードウェアデバッグと、プロセッサに実行させるソフトウェアの不都合を修正するためのソフトウェアデバッグとがある。ソフトウェアデバッグシステムとしては、たとえばＣＰＵと記憶手段を用いてデバッグする手法がある。このソフトウェアデバッグシステムの場合、記憶手段が配置されている記憶領域に対するアクセスの内容を検証する（たとえば、下記特許文献１参照。）。
【０００４】
【特許文献１】特開２００４−２２００８９号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
しかしながら、上記特許文献１の技術の場合、Ｉ／Ｏ領域へのアクセスをしているか否かのチェックをすることはできるが、アクセスしているハードウェアリソースが正しいものであるか否かをチェックすることはできない。具体的に説明すると、ビット操作命令などによってハードウェアへの書き込みのためのアクセスがあった場合、プログラムコードの記述内容は正常であるが、Ｉ／Ｏ領域のどこからデータを取得したかによって、アクセスが不正な処理となる場合があった。このような不正な処理によってＩ／Ｏ領域から不正なデータが検出された場合、ハードウェア環境に支障をきたす可能性があるが、従来技術では対処することができないという問題があった。
【０００６】
また、Ｉ／Ｏ領域のハードウェアリソースを使用するための正しいレジスタ設定がおこなわれているかは、プロセッサの仕様書を参照する必要があった。したがって、従来の技術のように単純にＩ／Ｏアクセス情報を解析するだけでは正しいレジスタ設定がおこなわれているか否かを判断することができないという問題があった。
【０００７】
この発明は、上述した従来技術による問題点を解消するため、Ｉ／ＯシミュレータにおけるＩ／Ｏ領域のシミュレーションにおいて、ハードウェアリソースへのアクセスの正当性をチェックすることのできる命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータを提供することを目的とする。
【課題を解決するための手段】
【０００８】
上述した課題を解決し、目的を達成するため、この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータは、プロセッサコアと、前記プロセッサコアから出力される制御信号によって周辺回路の制御をおこなうための入出力機能部（以下、「Ｉ／Ｏ領域」という）とから構成されたマイコンの動作シミュレーションをおこなうＩ／Ｏシミュレータに命令の実行状況をチェックさせるため、Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得し、Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出し、検出された参照命令に関するシミュレーションの内容と、仕様情報に含まれている入出力条件とを比較して、参照命令の正当性を判定し、参照命令に正当性がないと判定された場合にエラー信号を出力する処理を備えることを要件とする。
【０００９】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによれば、Ｉ／Ｏシミュレータによって実行されるシミュレーションからＩ／Ｏ領域内のハードウェア領域への参照命令を検出し、その正当性を判別することができる。
【００１０】
また、上述の命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータは、検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、参照命令に正当性があると判定してもよい。
【００１１】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによれば、参照命令によってＩ／Ｏ領域内の正しいハードウェアリソースのアドレス設定を参照して正しいアクセスがおこなわれているか否かによって参照命令の正当性を判定することができる。
【００１２】
また、上述の命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータは、前記出力工程では、参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力してもよい。
【００１３】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによれば、参照命令によっておこなわれたアクセスが不正なアクセスである旨をＩ／Ｏシミュレータのユーザに報知することができる。
【００１４】
また、上述の命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータは、検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、入出力条件に記述されているアドレスとが一致し、さらに、ハードウェアリソースへのアクセスタイミングが入出力条件と一致している場合に、参照命令に正当性があると判定してもよい。
【００１５】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによれば、参照命令によるハードウェアリソースへのアクセスタイミングが正しいか否かによって参照命令の正当性を判定することができる。
【００１６】
また、上述の命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータは、前記出力工程では、前記判定工程によって前記参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力してもよい。
【００１７】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによれば、参照命令によっておこなわれたアクセスが不正なタイミングによるアクセスであることをＩ／Ｏシミュレータのユーザに報知することができる。
【００１８】
また、上述の命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータは、前記判定工程によって前記参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを前記参照命令に挿入する修正処理を含んでもよい。
【００１９】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによって実行された参照命令が不正な処理であると判定された場合に、該当する参照命令を自動的に正しいハードウェアリソースへのアクセスを実現する参照命令に修復することができる。
【発明の効果】
【００２０】
この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータによれば、Ｉ／ＯシミュレータにおけるＩ／Ｏ領域のシミュレーションにおいて、ハードウェアリソースへのアクセスの正当性をチェックすることができるという効果を奏する。
【発明を実施するための最良の形態】
【００２１】
以下に添付図面を参照して、この命令チェックプログラム、命令チェック方法、命令チェック装置およびＩ／Ｏシミュレータの好適な実施の形態を詳細に説明する。
【００２２】
（命令チェック処理の概要）
まず、本実施の形態にかかる命令チェック処理の概要について説明する。図１は、本実施の形態にかかる命令チェック処理の概要を示す説明図である。図１のように、本実施の形態では、Ｉ／Ｏシミュレータ１１０によってマイコン１１１の動作検証がおこなわれる。このとき、Ｉ／Ｏシミュレータ１１０は、マイコン１１１のＣＰＵコアと、周辺Ｉ／Ｏ領域に配置されているハードウェアリソースの入出力を考慮したシミュレーションをおこなうことができる。
【００２３】
Ｉ／Ｏシミュレータ１１０には、マイコン１１１の入出力を制御するマネージャ機能部として動作制御部１１２が備えられている。この動作制御部１１２からマイコン１１１によってシミュレートしたい実行命令が入力される。また、動作制御部１１２から入力された実行命令の実行結果であるＩ／Ｏ出力は、動作制御部１１２に出力される。このようにしてＩ／Ｏシミュレータ１１０は、マイコン１１１の周辺Ｉ／Ｏ領域を考慮したシミュレーションをおこなうことができる。
【００２４】
なお、上述のようなＩ／Ｏシミュレータ１１０によって実行されるシミュレーションは、マイコン１１１のＣＰＵコアと周辺Ｉ／Ｏ領域のハードウェアリソースの全ての構成を考慮したものでもよいし、ハードウェアリソースの中から特定のハードウェアリソースのＩ／Ｏを考慮したものでもよい。また、マイコン１１１の周辺Ｉ／Ｏ領域に配置されているハードウェアリソースの具体的な構成例は、マイコンの設計内容に応じて異なるが、たとえば、各種タイマ、Ｉ／Ｏポート、ＡＤコンバータなどが配置されている。
【００２５】
さらに本実施の形態の場合、Ｉ／Ｏシミュレータ１１０によるマイコン１１１のシミュレーションが実行されると、同時に、命令チェック装置１２０に格納されている命令チェックプログラム１２１が起動される。この命令チェックプログラム１２１は、Ｉ／Ｏシミュレータ１１０によって実行されている命令の実行状況をチェックする機能を備えたプログラムである。特に、命令チェックプログラム１２１では、マイコン１１１によって実行される参照命令をチェックして不正な処理が実行されていないかを検証する。
【００２６】
マイコン１１１における参照命令実行時の参照先やタイミングはマイコン１１１の仕様情報によってあらかじめ設定されている。したがって、不正な処理とは、マイコン１１１において不正なハードウェアリソース参照がおこなわれている場合や、正しくないタイミングでハードウェアリソースの参照がおこなわれている場合である。このように、命令チェックプログラム１２１によって不正な処理をチェックさせることによって正しい命令シーケンスをコンパイラやアセンブラに通知することで、次回コンパイル時に正しいハードウェアアクセスがおこなわれる命令シーケンスに変換させることができる。
【００２７】
図２は、命令チェック処理を利用したデバッグ処理の手順を示すフローチャートである。ここで、図２を用いて、マイコン１１１を実際の機器に搭載するまで処理について説明する。図２のフローチャートのように、マイコン１１１によってユーザの所望のアプリケーションを実行させるには、まず、アプリケーションのコンパイル（ステップＳ２０１）、アセンブル（ステップＳ２０２）をおこない、さらに、リング・ロード（ステップＳ２０３）をおこなう。
【００２８】
その後、Ｉ／Ｏシミュレータ１１０によってシミュレーションをおこうことによって上述のように参照命令において不正な処理がおこなわれていないか否かを検証することができる。この検証によって上述のようなＩ／Ｏデバッグがおこなわれ（ステップＳ２０４）、最後に実機デバッグがおこなれ（ステップＳ２０５）、マイコン１１１が実用可能となる。このように、本実施の形態における命令チェック処理を実行させることによって効率的にＩ／Ｏデバッグをおこなうことができる。
【００２９】
なお、図１では、命令チェックプログラムは、Ｉ／Ｏシミュレータ１１０と独立した命令チェック装置１２０によって実行されるが、命令チェック装置１２０相当の機能をＩ／Ｏシミュレータ１１０に搭載してもよい。このような場合、命令チェックプログラム１２１を備えたＩ／Ｏシミュレータ１１０となる。本実施の形態の場合は、Ｉ／Ｏシミュレータ１１０と命令チェック装置１２０とがそれぞれ独立したものとして説明する。したがって、以下、命令チェックプログラム１２１を命令チェック装置１２０によって実行させる場合の命令チェック装置１２０機能的構成および命令チェック処理の手順について説明する。
【００３０】
（命令チェック装置のハードウェア構成）
まず、本実施の形態において、本実施の形態にかかる命令チェックプログラムを実行させる命令チェック装置１２０のハードウェア構成について説明する。図３は、命令チェックプログラムを実行する命令チェック装置のハードウェア構成を示す説明である。
【００３１】
図３において、命令チェック装置１２０は、コンピュータ本体３１０と、入力装置３２０と、出力装置３３０と、から構成されており、不図示のルータやモデムを介してＬＡＮ、ＷＡＮやインターネットなどのネットワーク３４０に接続可能である。
【００３２】
コンピュータ本体３１０は、ＣＰＵ、記憶領域、インターフェースを有する。ＣＰＵは、Ｉ／Ｏシミュレータ１１０の全体の制御を司る。記憶領域は、ＲＯＭ、ＲＡＭ、ＨＤ、光ディスク３１１、フラッシュメモリから構成される。これら記憶領域はＣＰＵのワークエリアとして使用される。
【００３３】
また、記憶領域には各種プログラムが格納されており、ＣＰＵからの命令に応じてロードされる。ＨＤおよび光ディスク３１１はディスクドライブによりデータのリード／ライトが制御される。また、光ディスク３１１およびフラッシュメモリはコンピュータ本体３１０に対し着脱自在である。インターフェースは、入力装置３２０からの入力、出力装置３３０への出力、ネットワーク３４０に対する送受信の制御をおこなう。
【００３４】
また、入力装置３２０としては、キーボード３２１、マウス３２２、スキャナ３２３などがある。キーボード３２１は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式であってもよい。マウス３２２は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などをおこなう。スキャナ３２３は、画像を光学的に読み取る。読み取られた画像は画像データとして取り込まれ、コンピュータ本体３１０内の記憶領域に格納される。なお、スキャナ３２３にＯＣＲ機能を持たせてもよい。
【００３５】
また、出力装置３３０としては、ディスプレイ３３１、スピーカ３３２、プリンタ３３３などがある。ディスプレイ３３１は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータを表示する。またスピーカ３３２は、効果音や読み上げ音などの音声を出力する。また、プリンタ３３３は、画像データや文書データを印刷する。
【００３６】
（命令チェック処理部の機能的構成）
上述したハードウェア構成を備えた命令チェック装置１２０によって命令チェックプログラム１２１を実行させることによって、Ｉ／Ｏシミュレータ１１０によって実行されている命令をチェックする機能的構成として命令チェック処理部が構成される。したがって、つぎに、命令チェック装置１２０に構成される命令チェック処理の機能的構成について説明する。
【００３７】
図４は、命令チェック処理部の機能的構成を示すブロック図である。図４において、Ｉ／Ｏシミュレータ１１０の命令チェック処理部４００は、取得部４０１と、検出部４０２と、判定部４０３と、出力部４０４と、修正部４０５とから構成される。
【００３８】
まず、取得部４０１は、プロセッサ１１１の周辺Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された仕様情報を取得する。一般的にＩ／Ｏシミュレータ１１０は、シミュレーション対象（ここではプロセッサ１１１）の仕様情報を取得してシミュレーションを構成するため、取得部４０１は、Ｉ／Ｏシミュレータ１１０が保持している仕様情報を取得するようにしてもよいし、外部から取得するようにしてもよい。
【００３９】
検出部４０２は、Ｉ／Ｏシミュレータ１１０によって実行されるハードウェアリソースへの参照命令のシミュレーションを検出する。上述したようにＩ／Ｏシミュレータ１１０では、マイコン１１１の機能や構成内容に応じたシミュレーションをおこなうため様々な命令が実行される。検出部４０２は、マイコン１１１において実行された命令のうち、参照命令の実行を検出する。
【００４０】
判定部４０３は、検出部４０２によって検出された参照命令に関するシミュレーションの内容と、取得部４０１によって取得した仕様情報に含まれているハードウェアリソースの入出力条件とを比較して、参照命令の正当性を判定する。参照命令は、マイコン１１１における実行状況が仕様情報に記述されている入出力条件の設定に合致している場合に正当性があるとみさなれる。反対に入出力条件の設定に合致していなければ正当性はなく、不正な処理とみなされる。
【００４１】
ハードウェアリソースの入出力条件とは、具体的には、参照されるアドレス設定やアクセスタイミングである。したがって、判定部４０３は、Ｉ／Ｏシミュレーション１１０による参照命令において参照されたハードウェアリソースのアドレスと、ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、参照命令に正当性があると判定する。
【００４２】
また、判定部４０３は、上述のように参照命令によって参照されたハードウェアリソースのアドレスと、ハードウェアリソースの入出力条件に記述されているアドレスとが一致していれば、さらに、ハードウェアリソースへのアクセスタイミングが入出力条件と一致している場合に、参照命令に正当性があると判定してもよい。
【００４３】
出力部４０４は、判定部４０３によって参照命令に正当性がないと判定された場合にエラー信号を出力する。エラー信号の出力には、図３にて説明した出力装置３３０のいずれを用いてもよく、ユーザが任意に設定することもできる。また、エラー信号の出力例として、出力部４０４は、判定部４０３によって参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力してもよい。同様に、出力部４０４は、判定部４０３によって参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力してもよい。
【００４４】
修正部４０５は、判定部４０３によって参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを参照命令に挿入する。この修正部４０５の修正コードに挿入によって次回コンパイル時に正しいハードウェアアクセスがおこなわれる命令シーケンスに修正することができる。なお、不正な処理がおこなわれていた場合に、出力部４０４によるエラー信号の出力をおこなうか、修正部４０５による該当命令の修正をおこなうかは、ユーザが適宜設定することができる。
【００４５】
（命令チェック処理の実行手順）
つぎに、命令チェック処理の実行手順について説明する。図５は、命令チェック処理の実行手順を示すフローチャートである。図５のフローチャートにおいて、まず、取得部４０１によってプロセッサ１１１の仕様情報を取得する（ステップＳ５０１）。その後、検出部４０２が、Ｉ／Ｏシミュレータ１１０によって実行されるシミュレーションから参照命令のシミュレーションを検出したか否かを判断する（ステップＳ５０２）。
【００４６】
ステップＳ５０２において、参照命令のシミュレーションが検出されるまで待ち（ステップＳ５０２：Ｎｏのループ）、参照命令のシミュレーションが検出されると（ステップＳ５０２：Ｙｅｓ）、判定部４０３によって、検出された参照命令が仕様情報に記述されている入出力条件と合致しているか否かを判定する（ステップＳ５０３）。
【００４７】
ステップＳ５０３において入出力条件と合致していないと判定された場合（ステップＳ５０３：Ｎｏ）、出力部４０４によってエラー信号が出力され（ステップＳ５０４）、一連の処理を終了する。一方、ステップＳ５０３において、入出力条件と合致していると判定された場合（ステップＳ５０３：Ｙｅｓ）、参照命令シミュレーションが終了したか否かの判断をおこなう（ステップＳ５０５）。
【００４８】
ステップＳ５０５において、参照命令のシミュレーションが終了していないと判断された場合（ステップＳ５０５：Ｎｏ）、ステップＳ５０２の処理に戻り、引き続き参照命令の検出をおこなう。一方、ステップＳ５０５において参照命令のシミュレーションが終了したと判断された場合（ステップＳ５０５：Ｙｅｓ）、そのまま一連の処理を終了する。
【００４９】
以上説明したように、命令チェック装置１２０にて実行される命令チェックプログラム１２１は、Ｉ／Ｏシミュレータ１１０によるシミュレーション実行時に、マイコン１１１に負荷がかかるような不正な参照命令がおこなわれていないかをチェックすることができる。以下、ＲＯＭ、ＲＡＭおよびＩ／Ｏ領域を含んだＬＳＩに対して上述の命令チェック処理を含んだＩ／Ｏシミュレーションを実行させる場合の実施例１〜３について説明する。
【００５０】
（実施例１）
まず、実施例１における命令チェック手順について説明する。実施例１は、基本的な命令チェック処理であり、不正な処理とチェックされた場合には、ユーザにこのエラー報知をおこなう。
【００５１】
図６は、実施例１における命令チェック手順を示すフローチャートである。図６のフローチャートであるにおいて、まず、ＲＡＭ、ＲＯＭおよびＩ／Ｏ領域の設定をおこない（ステップＳ６０１）、ＬＳＩのシミュレーションによってデバッグを開始させる（ステップＳ６０２）。
【００５２】
ステップＳ６０２においてデバッグが開始されると、Ｉ／Ｏ領域にアクセスする（ステップＳ６０３）。レジスタ設定は正しいか否かを判断する（ステップＳ６０４）。ここで、レジスタ設定は正しいと判断された場合（ステップＳ６０４：Ｙｅｓ）、つぎに、Ｉ／Ｏ領域へのアクセスタイミングは正しいか否かを判断する（ステップＳ６０５）。ステップＳ６０５において、Ｉ／Ｏ領域へのアクセスタイミングは正しいと判断された場合（ステップＳ６０５：Ｙｅｓ）、そのままデバッグが終了したか否かの判断をおこない（ステップＳ６０６）、デバッグが終了するまで引き続きデバッグ処理をおこなうためステップＳ６０３に戻りＩ／Ｏ領域アクセスをおこなう（ステップＳ６０６：Ｎｏのループ）。
【００５３】
一方、ステップＳ６０４においてレジスタ設定は正しくないと判断された場合（ステップＳ６０４：Ｎｏ）、また、ステップＳ６０５において、Ｉ／Ｏ領域へのアクセスタイミングが正しくないと判断された場合（ステップＳ６０５：Ｎｏ）、不正な処理がおこなわれたため、エラー通知をおこない（ステップＳ６０７）、一連処理を終了する。これら、ステップＳ６０４、Ｓ６０５において不正な処理がおこなわれたと判断されなかった場合には（ステップＳ６０４，Ｓ６０５：Ｙｅｓ）、デバッグが終了すれば（ステップＳ６０６：Ｙｅｓ）、そのまま一連の処理を終了する。
【００５４】
このように、実施例１では、Ｉ／Ｏ領域へのアクセス時のレジスタ設定と、アクセスタイミングとのいずれかが正しくないと判断された場合に、ユーザに対してエラーを通知する。デバッグ処理は、エラー通知によって停止されるため、ユーザがどの命令がエラーの原因となったかを判断することができる。
【００５５】
（実施例２）
つぎに、実施例２について説明する。実施例２では、実施例１のように不正な処理がおこなわれたと判断した場合に、エラーを通知し、さらに、自動的にエラー箇所を修復する。
【００５６】
図７は、実施例２における命令チェック手順を示すフローチャートである。図７のフローチャートにおいて、ＲＡＭ、ＲＯＭおよびＩ／Ｏ領域の設定（ステップＳ７０１）からデバッグ終了判断（ステップＳ７０６）までの処理は、図６にて説明した実施例１と同様の処理がおこなわれる。
【００５７】
実施例２では、ステップＳ７０４においてレジスタ設定は正しくないと判断された場合（ステップＳ７０４：Ｎｏ）、また、ステップＳ７０５において、Ｉ／Ｏ領域へのアクセスタイミングが正しくないと判断された場合（ステップＳ７０５：Ｎｏ）、不正な処理がおこなわれたため、実施例１と同様にエラー通知をおこない（ステップＳ７０７）、さらに、エラー修復し（ステップＳ７０８）、一連の処理を終了する。
【００５８】
ここで、ステップＳ７０８によって実行されるエラー修復の具体的な処理内容について説明する。図８は、エラー修復処理の手順を示すフローチャートである。また図９は、エラープログラムの一例を示すソースコードである。図８のフローチャートにおいて、まず、エラーのアドレスを特定する（ステップＳ８０１）。ここでは一例として図９に示したソースコード９００のアドレス［０ｘ１００Ｄ］でエラーが起こったとする。したがって、つぎに、デバッグ情報からエラーを起こしたソース行の情報を取得する（ステップＳ８０２）。すなわち、アドレス［０ｘ１００Ｄ］のソース列のｆｕｎｃ：ＭＯＶＡ，Ｉ：＿ＩＯ＿ＤＤＲ１（９０１）が取得される。ステップＳ８０２によって取得した情報に対してエラーに応じた自動修正をおこない（ステップＳ８０３）、一連のエラー修正処理を終了する。自動修正によって、アドレス［０ｘ１００Ｄ］には、＃ｐｒａｇｍａなどの修正コードが挿入される。
【００５９】
このように、実施例２では、Ｉ／Ｏ領域へのアクセス時のレジスタ設定と、アクセスタイミングとのいずれかが正しくないと判断された処理が実行された箇所のソース列の情報を取得することによって自動的にエラー箇所を修復することができる。なお、図７のフローチャートでは、エラー通知（ステップＳ７０７）をおこなった後に、通知したエラーの修復（ステップＳ７０８）をおこなっているが、エラー通知をおこなわずに、修復処理のみをおこなってもよい。
【００６０】
（実施例３）
最後に、実施例３について説明する。実施例３では、Ｉ／Ｏデバッグを実行中のＬＳＩの仕様情報に応じて異なるエラーメッセージを通知する。
【００６１】
図１０は、実施例３における命令チェック手順を示すフローチャートである。図１０のフローチャートにおいて、ＲＡＭ、ＲＯＭおよびＩ／Ｏ領域の設定（ステップＳ１００１）からデバッグ終了判断（ステップＳ１００６）までの処理は、図６にて説明した実施例１と同様の処理がおこなわれる。また、ステップＳ１００４において、レジスタ設定が正しくないと判断された場合（ステップＳ１００４：Ｎｏ）、また、Ｉ／Ｏ領域へのアクセスのタイミングが正しくないと判断された場合（ステップＳ１００５：Ｎｏ）には、実施例１と同様に、エラー通知がおこなわれる（ステップＳ１００７）。
【００６２】
実施例３の場合、このステップＳ１００７においてによってエラー通知をおこなう場合に、現在Ｉ／Ｏシミュレーション中のＬＳＩの仕様情報に応じたエラー通知をおこなうことができる。以下、エラーメッセージの出力形式、エラーメッセージの種別について具体的を挙げて説明する。
【００６３】
＜エラーメッセージの出力形式＞
実施例３において、エラーメッセージは、下記のような形式によって出力される。
「＊＊＊ファイル名（行番号）ＸｎｎｎｎＫ：メッセージ文」
・ファイル名（行番号）：エラーの発生したソースファイル名と、ソース行番号
・Ｘ                  ：エラーのレベルをあらわす英数字（例  Ｅ…エラー）
・ｎｎｎｎ            ：エラー番号
・Ｋ                  ：ツール種別（例  Ｋ…Ｉ／Ｏシミュレーションアドイン）
・メッセージ文        ：エラーメッセージ本文および付加情報
【００６４】
なお、メッセージ文に含まれる付加情報とはレジスタ名とビット名である。具体的には、レジスタ名のみを出力する場合（ＸＸＸ）や、レジスタ名とビット名とを出力する場合（ＸＸＸ：ＹＹＹ）、さらに、複数のレジスタを出力する場合（ＸＸＸ：ＹＹＹ＆ＸＸＸ：ＹＹＹ）などがある（ＸＸＸはレジスタ名をあらわし、ＹＹＹはビット名をあらわす）。
【００６５】
したがって、エラーメッセージとして「＊＊＊ｓａｍｐｌｅ．ｃ（２３４）Ｅ４００１Ｋ：予約ビットに設定禁止値が書き込まれました…（ＰＳＣＣＲ）」と出力された場合、ファイル名「ｓａｍｐｌｅ．ｃ（２３４）」のファイル実行中にエラー番号Ｅ４００１Ｋに相当するエラーが発生したことをあらわす。また、このエラーメッセージには、付加情報としてレジスタ名「ＰＳＣＣＲ」が含まれていることがわかる。
【００６６】
＜エラーメッセージの種別＞
つぎに、エラーメッセージの種別について説明する。エラーメッセージの種別は、Ｉ／Ｏシミュレータ１１０によって実行しているシミュレーションがＩ／Ｏ領域の中のどの部分であるかによって異なるため、ここでは具体的な種別を幾つか例示する。
【００６７】
・種別１：予約ビットアクセス違反
Ｉ／Ｏレジスタの予約ビットにハードウェアマニュアル（仕様書）にて禁止されている値が書き込まれた場合に出力されるエラーメッセージ。エラー番号「Ｅ４００１Ｋ」が出力され、「予約ビットに設定禁止値が書き込まれました…」などアクセス違反を報知するメッセージ文が表示される。
【００６８】
・種別２：Ｉ／Ｏレジスタ設定値違反
Ｉ／Ｏレジスタにハードウェアマニュアル（仕様書）にて禁止されている値が書き込まれた場合に出力されるエラーメッセージ。エラー番号「Ｅ４００２Ｋ」が出力され、「レジスタに設定禁止値が書き込まれました…」などアクセス違反を報知するメッセージ文が表示される。
【００６９】
・種別３：未サポート機能警告
Ｉ／Ｏレジスタへの設定値によって選択されるＩ／Ｏリソースの機能がＩ／Ｏシミュレータ１１０ではサポートされていない場合に出力されるエラーメッセージ。エラー番号「Ｅ４０２１Ｋ」が出力され、「設定された値はシミュレータでは未サポートです…」など未サポート機能の警告を報知するメッセージ文が表示される。
【００７０】
図１１は、エラーメッセージ例を示す図表である。命令チェックプログラム１２１には図表１１００のようなテーブルが蓄積されている。エラーメッセージを出力する際には、エラー番号、Ｉ／Ｏリソース、Ｉ／Ｏレジスタ、Ｉ／Ｏビットの内容に応じて、最適なエラーメッセージを選択して出力させる。
【００７１】
このように、実施例３では、不正な処理が検出された場合、ユーザが不正な処理の原因を特定できるように、Ｉ／Ｏデバッグを実行中のＬＳＩの仕様情報に応じて最適なエラーメッセージを通知することができる。
【００７２】
以上説明した実施例１〜３のように、実機によるデバッグ処理に移る前に、命令チェック処理を含んだＩ／Ｏシミュレータ１１０を使用することによって、不正なハードウェアアクセスを検知することができる。この不正なハードウェアアクセスの検知を利用して、正しい命令シーケンスになる様に、コンパイラやアセンブラに補正を反映させれば、ハードウェア環境に支障を来さずに早い段階でのプログラム修正が可能となる。
【００７３】
また、従来は、Ｉ／Ｏリソースを使用するための正しいレジスタ設定がおこなわれているかは、ＬＳＩの仕様書を参照する必要があり単にＩ／Ｏアクセス情報を解析するだけでは分からなかったが、本実施の形態の場合、エラー通知を参照することによって具体的にどのような処理がエラーの原因となったかを容易に特定することができる。
【００７４】
以上説明したように、本実施の形態によれば、Ｉ／ＯシミュレータにおけるＩ／Ｏ領域のシミュレーションにおいて、ハードウェアリソースへのアクセスの正当性をチェックすることができる。また、本実施の形態のように、実機に搭載するための前段階の処理としＩ／Ｏシミュレータ１１０を利用する場合の他に、すでに実機に搭載されているマイコンを他のマイコンに乗り換える検討をおこなう際に、他のマイコンを搭載した場合の先行評価をおこなうこともできる。
【００７５】
なお、本実施の形態で説明した命令チェック方法は、あらかじめ用意されたプログラムをパーソナル・コンピュータやワークステーションなどのコンピュータで実行することにより実現することができる。このプログラムは、ハードディスク、フレキシブルディスク、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネットなどのネットワークを介して配布することが可能な伝送媒体であってもよい。
【００７６】
また、本実施の形態で説明したＩ／Ｏシミュレータ１１０は、スタンダードセルやストラクチャードＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ  Ｓｐｅｃｉｆｉｃ  Ｉｎｔｅｇｒａｔｅｄ  Ｃｉｒｃｕｉｔ）などの特定用途向けＩＣ（以下、単に「ＡＳＩＣ」と称す。）やＦＰＧＡなどのＰＬＤ（Ｐｒｏｇｒａｍｍａｂｌｅ  Ｌｏｇｉｃ  Ｄｅｖｉｃｅ）によっても実現することができる。具体的には、たとえば、上述したＩ／Ｏシミュレータ１１０機能と命令チェック処理部３００とをＨＤＬ記述によって機能定義し、そのＨＤＬ記述を論理合成してＡＳＩＣやＰＬＤに与えることにより、命令チェック処理機能を含んだＩ／Ｏシミュレータ１１０を製造することができる。
【００７７】
上述した実施の形態に関し、さらに以下の付記を開示する。
【００７８】
（付記１）マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータによる命令の実行状況をコンピュータにチェックさせる命令チェックプログラムであって、
前記コンピュータを、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得手段、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出手段、
前記検出手段によって検出された参照命令に関するシミュレーションの内容と、前記取得手段によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定手段、
前記判定手段によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力手段、
として機能させることを特徴とする命令チェックプログラム。
【００７９】
（付記２）前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記１に記載の命令チェックプログラム。
【００８０】
（付記３）前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力することを特徴とする付記２に記載の命令チェックプログラム。
【００８１】
（付記４）前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致し、さらに、前記ハードウェアリソースへのアクセスタイミングが前記入出力条件と一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記２または３に記載の命令チェックプログラム。
【００８２】
（付記５）前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力することを特徴とする付記４に記載の命令チェックプログラム。
【００８３】
（付記６）前記コンピュータを、
前記判定手段によって前記参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを前記参照命令に挿入する修正手段、
として機能させることを特徴とする付記１〜５のいずれか一つに記載の命令チェックプログラム。
【００８４】
（付記７）マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータによる命令の実行状況をチェックさせる命令チェック方法であって、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得工程と、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出工程と、
前記検出工程によって検出された参照命令に関するシミュレーションの内容と、前記取得工程によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定工程と、
前記判定工程によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力工程と、
を含むことを特徴とする命令チェック方法。
【００８５】
（付記８）前記判定工程では、前記検出工程によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記７に記載の命令チェック方法。
【００８６】
（付記９）前記出力工程では、前記判定工程によって前記参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力することを特徴とする付記８に記載の命令チェック方法。
【００８７】
（付記１０）前記判定工程では、前記検出工程によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致し、さらに、前記ハードウェアリソースへのアクセスタイミングが前記入出力条件と一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記８または９に記載の命令チェック方法。
【００８８】
（付記１１）前記出力工程では、前記判定工程によって前記参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力することを特徴とする付記１０に記載の命令チェック方法。
【００８９】
（付記１２）前記判定工程によって前記参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを前記参照命令に挿入する修正工程をさらに含むことを特徴とする付記７〜１１のいずれか一つに記載の命令チェック方法。
【００９０】
（付記１３）マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータによる命令の実行状況をチェックする命令チェック装置であって、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得手段と、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出手段と、
前記検出手段によって検出された参照命令に関するシミュレーションの内容と、前記取得手段によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定手段と、
前記判定手段によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力手段と、
を備えることを特徴とする命令チェック装置。
【００９１】
（付記１４）前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記１３に記載の命令チェック装置。
【００９２】
（付記１５）前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力することを特徴とする付記１４に記載の命令チェック装置。
【００９３】
（付記１６）前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致し、さらに、前記ハードウェアリソースへのアクセスタイミングが前記入出力条件と一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記１４または１５に記載の命令チェック装置。
【００９４】
（付記１７）前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力することを特徴とする付記１６に記載の命令チェック装置。
【００９５】
（付記１８）前記判定手段によって前記参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを前記参照命令に挿入する修正手段を備えることを特徴とする付記１３〜１７のいずれか一つに記載の命令チェック装置。
【００９６】
（付記１９）マイコンのＩ／Ｏ領域の構成に応じた動作シミュレーションをおこなうＩ／Ｏシミュレータであって、
前記Ｉ／Ｏ領域内のハードウェアリソースの入出力条件が記述された前記マイコンの仕様情報を取得する取得手段と、
前記Ｉ／Ｏシミュレータによって実行される前記ハードウェアリソースへの参照命令のシミュレーションを検出する検出手段と、
前記検出手段によって検出された参照命令に関するシミュレーションの内容と、前記取得手段によって取得した仕様情報に含まれている前記ハードウェアリソースの入出力条件とを比較して、前記参照命令の正当性を判定する判定手段と、
前記判定手段によって前記参照命令に正当性がないと判定された場合にエラー信号を出力する出力手段と、
を備えることを特徴とするＩ／Ｏシミュレータ。
【００９７】
（付記２０）前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記１９に記載のＩ／Ｏシミュレータ。
【００９８】
（付記２１）前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、不正なハードウェアリソースへの参照を報知するエラーメッセージを出力することを特徴とする付記２０に記載のＩ／Ｏシミュレータ。
【００９９】
（付記２２）前記判定手段は、前記検出手段によって検出されたシミュレーションにおいて参照されたハードウェアリソースのアドレスと、前記ハードウェアリソースの入出力条件に記述されているアドレスとが一致し、さらに、前記ハードウェアリソースへのアクセスタイミングが前記入出力条件と一致している場合に、前記参照命令に正当性があると判定することを特徴とする付記２０または２１に記載のＩ／Ｏシミュレータ。
【０１００】
（付記２３）前記出力手段は、前記判定手段によって前記参照命令に正当性がないと判定された場合に、ハードウェアリソースへの不正なアクセスタイミングを報知するエラーメッセージを出力することを特徴とする付記２２に記載のＩ／Ｏシミュレータ。
【０１０１】
（付記２４）前記判定手段によって前記参照命令に正当性がないと判定された場合に、正しいハードウェアへの参照を実行させるための修正コードを前記参照命令に挿入する修正手段を備えることを特徴とする付記１９〜２３のいずれか一つに記載のＩ／Ｏシミュレータ。
【図面の簡単な説明】
【０１０２】
【図１】本実施の形態にかかる命令チェック処理の概要を示す説明図である。
【図２】命令チェック処理を利用したデバッグ処理の手順を示すフローチャートである。
【図３】命令チェックプログラムを実行する命令チェック装置のハードウェア構成を示す説明である。
【図４】命令チェック処理部の機能的構成を示すブロック図である。
【図５】命令チェック処理の実行手順を示すフローチャートである。
【図６】実施例１における命令チェック手順を示すフローチャートである。
【図７】実施例２における命令チェック手順を示すフローチャートである。
【図８】エラー修復処理の手順を示すフローチャートである。
【図９】エラープログラムの一例を示すソースコードである。
【図１０】実施例３における命令チェック手順を示すフローチャートである。
【図１１】エラーメッセージ例を示す図表である。
【符号の説明】
【０１０３】
１１０  Ｉ／Ｏシミュレータ
１１１  マイコン
１１２  動作制御部
１２０  命令チェック装置
１２１  命令チェックプログラム
【図１】
2009157649.tif 000003
【図２】
2009157649.tif 000004
【図３】
2009157649.tif 000005
【図４】
2009157649.tif 000006
【図５】
2009157649.tif 000007
【図６】
2009157649.tif 000008
【図７】
2009157649.tif 000009
【図８】
2009157649.tif 000010
【図９】
2009157649.tif 000011
【図１０】
2009157649.tif 000012
【図１１】
2009157649.tif 000013