JP3439353B2 - ソフトウェア・シミュレータシステム及びプログラムを記録した記録媒体 - Google Patents
ソフトウェア・シミュレータシステム及びプログラムを記録した記録媒体Info
- Publication number
- JP3439353B2 JP3439353B2 JP29713898A JP29713898A JP3439353B2 JP 3439353 B2 JP3439353 B2 JP 3439353B2 JP 29713898 A JP29713898 A JP 29713898A JP 29713898 A JP29713898 A JP 29713898A JP 3439353 B2 JP3439353 B2 JP 3439353B2
- Authority
- JP
- Japan
- Prior art keywords
- function
- simulation
- support tool
- design support
- undefined
- 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 - Fee Related
Links
Landscapes
- Debugging And Monitoring (AREA)
Description
【０００１】
【発明の属する技術分野】本発明は、集積回路の設計支
援ツールを起動し、その結果を取得可能なソフトウェア
・シミュレータシステム及びプログラムを記録した記録
媒体に関する。
援ツールを起動し、その結果を取得可能なソフトウェア
・シミュレータシステム及びプログラムを記録した記録
媒体に関する。
【０００２】
【従来の技術】従来のソフトウェア・シミュレータシス
テムは、図３に示すように、設計支援ツール１１０と、
アプリケーション・プログラム１２０と、アプリケーシ
ョン・プログラム１２０をコンパイル、リンクして得ら
れるロード・モジュール１３０と、設計支援ツール１１
０の生成するソースコード１４０と、ソフトウェア・シ
ミュレータ１６０とから構成されている。
テムは、図３に示すように、設計支援ツール１１０と、
アプリケーション・プログラム１２０と、アプリケーシ
ョン・プログラム１２０をコンパイル、リンクして得ら
れるロード・モジュール１３０と、設計支援ツール１１
０の生成するソースコード１４０と、ソフトウェア・シ
ミュレータ１６０とから構成されている。
【０００３】ソフトウェア・シミュレータ１６０は、ロ
ード手段１０１と、プログラムメモリ部１０２と、シミ
ュレーション実行手段１０３と、内部情報修正手段１０
７と、スタブジャンプ手段１０８と、スタブメモリ部１
０１０とにより構成される。
ード手段１０１と、プログラムメモリ部１０２と、シミ
ュレーション実行手段１０３と、内部情報修正手段１０
７と、スタブジャンプ手段１０８と、スタブメモリ部１
０１０とにより構成される。
【０００４】上記各部は、それぞれ概略以下に示すよう
に動作する。内部情報修正手段１０７は、シミュレーシ
ョン実行中にレジスタ値や端子値、メモリ内容などを書
き換える。スタブジャンプ手段１０８は、イベント成立
時に予めスタブメモリ部１０１０にダウンロード、また
はオンライン・アセンブルで書き込んでおいたユーザ・
プログラム領域にジャンプする。
に動作する。内部情報修正手段１０７は、シミュレーシ
ョン実行中にレジスタ値や端子値、メモリ内容などを書
き換える。スタブジャンプ手段１０８は、イベント成立
時に予めスタブメモリ部１０１０にダウンロード、また
はオンライン・アセンブルで書き込んでおいたユーザ・
プログラム領域にジャンプする。
【０００５】上記のような構成を有する従来のソフトウ
ェア・シミュレータシステムは次のように動作する。即
ち、アプリケーション・プログラムのシミュレーション
中に、機能が未定義の関数が呼び出されても、その関数
に処理は移すが、内部の処理が未定義なので処理は行わ
ず、呼び出し元に戻ってきた。
ェア・シミュレータシステムは次のように動作する。即
ち、アプリケーション・プログラムのシミュレーション
中に、機能が未定義の関数が呼び出されても、その関数
に処理は移すが、内部の処理が未定義なので処理は行わ
ず、呼び出し元に戻ってきた。
【０００６】また、シミュレーション中に関数機能を記
述し、シミュレーションを行いたい場合には、シミュレ
ーション中に内部情報修正手段１０７でレジスタ値や端
子値などを書き換えたり、スタブジャンプ手段１０８の
スタブ機能を利用していた。
述し、シミュレーションを行いたい場合には、シミュレ
ーション中に内部情報修正手段１０７でレジスタ値や端
子値などを書き換えたり、スタブジャンプ手段１０８の
スタブ機能を利用していた。
【０００７】また、シミュレーションとは別に、エディ
タや設計支援ツールを使用して設計を行い、アプリケー
ション・プログラムをロードし直してシミュレーション
を行っていた。
タや設計支援ツールを使用して設計を行い、アプリケー
ション・プログラムをロードし直してシミュレーション
を行っていた。
【０００８】
【発明が解決しようとする課題】しかしながら、上記の
従来技術には、以下のような問題点があった。第１の問
題点は、レジスタ値や端子値を書き換えても、その情報
が残らないということである。その理由は、シミュレー
ション中にレジスタ値や端子値を書き換えても、その情
報を残す手段をシミュレータが持たないためである。
従来技術には、以下のような問題点があった。第１の問
題点は、レジスタ値や端子値を書き換えても、その情報
が残らないということである。その理由は、シミュレー
ション中にレジスタ値や端子値を書き換えても、その情
報を残す手段をシミュレータが持たないためである。
【０００９】第２の問題点は、アプリケーション・プロ
グラムの設計に時間がかかるということである。その理
由は、シミュレーション中に不具合が見つかってもアプ
リケーション・プログラムを修正する機能がないので、
後戻り工数が多くなるためである。
グラムの設計に時間がかかるということである。その理
由は、シミュレーション中に不具合が見つかってもアプ
リケーション・プログラムを修正する機能がないので、
後戻り工数が多くなるためである。
【００１０】本発明は、上記の問題を解決するために成
されたもので、シミュレーション中にレジスタ値や端子
値を書き換えても、その情報を残すことができると共
に、アプリケーション・プログラムの設計効率を上げる
と共に、機能が未定義の関数を検出して設計支援ツール
に記述できるようにすることを目的としている。
されたもので、シミュレーション中にレジスタ値や端子
値を書き換えても、その情報を残すことができると共
に、アプリケーション・プログラムの設計効率を上げる
と共に、機能が未定義の関数を検出して設計支援ツール
に記述できるようにすることを目的としている。
【００１１】
【課題を解決するための手段】前記課題を解決するため
に、請求項１記載の発明は、回路設計を支援する設計支
援ツール手段と、アプリケーション・プログラムのシミ
ュレーションを実行する実行手段と、実行手段により実
行された前記シミュレーション中に機能が未定義の関数
が呼び出されたことを検出する検出手段と、検出手段に
よる検出に基づいて設計支援ツール手段を自動的に起動
する起動手段と、使用者が前記設計支援ツール手段を使
用して設計された前記検出手段により検出された未定義
の関数の関数機能を前記設計支援ツール手段の状態遷移
表に記述する機能記述手段と、機能記述手段により記述
された関数機能のシミュレーションを実行し、仕様通り
に動作するか否かを検証する検証手段と、検証手段によ
るシミュレーション結果を実行手段により実行するシミ
ュレーションに反映させる反映手段と、を有することを
特徴とする。
に、請求項１記載の発明は、回路設計を支援する設計支
援ツール手段と、アプリケーション・プログラムのシミ
ュレーションを実行する実行手段と、実行手段により実
行された前記シミュレーション中に機能が未定義の関数
が呼び出されたことを検出する検出手段と、検出手段に
よる検出に基づいて設計支援ツール手段を自動的に起動
する起動手段と、使用者が前記設計支援ツール手段を使
用して設計された前記検出手段により検出された未定義
の関数の関数機能を前記設計支援ツール手段の状態遷移
表に記述する機能記述手段と、機能記述手段により記述
された関数機能のシミュレーションを実行し、仕様通り
に動作するか否かを検証する検証手段と、検証手段によ
るシミュレーション結果を実行手段により実行するシミ
ュレーションに反映させる反映手段と、を有することを
特徴とする。
【００１２】請求項２記載の発明は、請求項１記載の発
明において、検出手段による検出に基づいて設計支援ツ
ール手段を起動するか否かを選択する選択手段を有する
ことを特徴とする。
明において、検出手段による検出に基づいて設計支援ツ
ール手段を起動するか否かを選択する選択手段を有する
ことを特徴とする。
【００１３】請求項３記載の発明は、請求項１記載の発
明において、機能記述手段により状態遷移表に記述され
た未定義の関数機能のソースコードを生成する生成手段
を有することを特徴とする。
明において、機能記述手段により状態遷移表に記述され
た未定義の関数機能のソースコードを生成する生成手段
を有することを特徴とする。
【００１４】請求項４記載の発明は、アプリケーション
・プログラムのシミュレーションを実行する実行処理
と、シミュレーション中に機能が未定義の関数が呼び出
されたことを検出する検出処理と、検出処理による検出
に基づいて設計支援ツールを自動的に起動する起動処理
と、使用者が前記設計支援ツールを使用して設計された
前記検出処理により検出された未定義の関数の関数機能
を前記設計支援ツールの状態遷移表に記述する記述処理
と、記述処理により記述された未定義の関数機能のシミ
ュレーションを実行し、仕様通りに動作するか否かを検
証する検証処理と、検証処理によるシミュレーション結
果をアプリケーション・プログラムのシミュレーション
に反映させる反映処理と、を実行するためのプログラム
を記録したことを特徴とする。
・プログラムのシミュレーションを実行する実行処理
と、シミュレーション中に機能が未定義の関数が呼び出
されたことを検出する検出処理と、検出処理による検出
に基づいて設計支援ツールを自動的に起動する起動処理
と、使用者が前記設計支援ツールを使用して設計された
前記検出処理により検出された未定義の関数の関数機能
を前記設計支援ツールの状態遷移表に記述する記述処理
と、記述処理により記述された未定義の関数機能のシミ
ュレーションを実行し、仕様通りに動作するか否かを検
証する検証処理と、検証処理によるシミュレーション結
果をアプリケーション・プログラムのシミュレーション
に反映させる反映処理と、を実行するためのプログラム
を記録したことを特徴とする。
【００１５】請求項５記載の発明は、請求項４記載の発
明において、検出処理による検出に基づいて設計支援ツ
ールを起動するか否かを選択する選択処理を実行するた
めのプログラムを記憶したことを特徴とする。
明において、検出処理による検出に基づいて設計支援ツ
ールを起動するか否かを選択する選択処理を実行するた
めのプログラムを記憶したことを特徴とする。
【００１６】請求項６記載の発明は、請求項４記載の発
明において、記述処理により状態遷移表に記述された未
定義の関数機能のソースコードを生成する生成処理を実
行するためのプログラムを記憶したことを特徴とする。
明において、記述処理により状態遷移表に記述された未
定義の関数機能のソースコードを生成する生成処理を実
行するためのプログラムを記憶したことを特徴とする。
【００１７】
【発明の実施の形態】次に、添付図面に基づいて本発明
のソフトウェア・シュミレータシステム及びプログラム
を記録した記録媒体の実施形態を詳細に説明する。以下
に説明する本発明の各実施形態は、アプリケーション・
プログラムのシミュレーション中に機能が未定義の関数
を検出し、自動的に設計支援ツールを起動することがで
き、また、設計支援ツール上でのシミュレーション結果
をプログラムのシミュレーションに反映し、シミュレー
ションを続けることができる構成を提供するものであ
る。
のソフトウェア・シュミレータシステム及びプログラム
を記録した記録媒体の実施形態を詳細に説明する。以下
に説明する本発明の各実施形態は、アプリケーション・
プログラムのシミュレーション中に機能が未定義の関数
を検出し、自動的に設計支援ツールを起動することがで
き、また、設計支援ツール上でのシミュレーション結果
をプログラムのシミュレーションに反映し、シミュレー
ションを続けることができる構成を提供するものであ
る。
【００１８】〈第１の実施形態〉図１は、本発明の第１
の実施形態によるソフトウェア・シミュレータシステム
を示す構成図である。図１において、ソフトウェア・シ
ミュレータ１００を用いてのアプリケーション・プログ
ラム１２０のシミュレーション中に機能が未定義の関数
が呼び出されたことを検出する機能未定義関数検出手段
１０４と、自動的に設計支援ツールを起動する設計支援
ツール起動手段１０５と、設計支援ツール１１０上での
機能シミュレーション結果をソフトウェア・シミュレー
タ１００のアプリケーション・プログラム１２０のシミ
ュレーションに反映する機能シミュレーション結果反映
手段１０６とが設けられている。
の実施形態によるソフトウェア・シミュレータシステム
を示す構成図である。図１において、ソフトウェア・シ
ミュレータ１００を用いてのアプリケーション・プログ
ラム１２０のシミュレーション中に機能が未定義の関数
が呼び出されたことを検出する機能未定義関数検出手段
１０４と、自動的に設計支援ツールを起動する設計支援
ツール起動手段１０５と、設計支援ツール１１０上での
機能シミュレーション結果をソフトウェア・シミュレー
タ１００のアプリケーション・プログラム１２０のシミ
ュレーションに反映する機能シミュレーション結果反映
手段１０６とが設けられている。
【００１９】本実施形態により、起動された設計支援ツ
ール１１０を使用して、シミュレーション中に関数機能
を記述することができる。また、記述した機能は設計支
援ツール１１０の機能によってソースコード１４０とし
て生成されるので、後からプログラムの設計に利用する
ことができる。このようにして、アプリケーション・プ
ログラム１２０のシミュレーション中におけるアプリケ
ーション・プログラムの未定義部分の設計を可能にす
る。
ール１１０を使用して、シミュレーション中に関数機能
を記述することができる。また、記述した機能は設計支
援ツール１１０の機能によってソースコード１４０とし
て生成されるので、後からプログラムの設計に利用する
ことができる。このようにして、アプリケーション・プ
ログラム１２０のシミュレーション中におけるアプリケ
ーション・プログラムの未定義部分の設計を可能にす
る。
【００２０】図１について、構成及び動作をさらに詳細
に説明する。本実施形態のシステム構成は、ソフトウェ
ア・シミュレータ１００と、設計支援ツール１１０と、
アプリケーション・プログラム１２０と、アプリケーシ
ョン・プログラム１２０をコンパイル、リンクして得ら
れるロード・モジュール１３０と、設計支援ツール１１
０の生成するソースコード１４０から構成されている。
に説明する。本実施形態のシステム構成は、ソフトウェ
ア・シミュレータ１００と、設計支援ツール１１０と、
アプリケーション・プログラム１２０と、アプリケーシ
ョン・プログラム１２０をコンパイル、リンクして得ら
れるロード・モジュール１３０と、設計支援ツール１１
０の生成するソースコード１４０から構成されている。
【００２１】ソフトウェア・シミュレータ１００は、ロ
ード手段１０１と、プログラムメモリ部１０２と、シミ
ュレーション実行手段１０３と、機能未定義関数検出手
段１０４と、設計支援ツール起動手段１０５と、機能シ
ミュレーション結果反映手段１０６とにより構成され
る。
ード手段１０１と、プログラムメモリ部１０２と、シミ
ュレーション実行手段１０３と、機能未定義関数検出手
段１０４と、設計支援ツール起動手段１０５と、機能シ
ミュレーション結果反映手段１０６とにより構成され
る。
【００２２】上記各部は、それぞれ以下に示すように動
作する。ロード手段１０１は、ロード・モジュール１３
０をプログラムメモリ部１０２に記録する。シミュレー
ション実行手段１０３は、プログラムメモリ部１０２か
らプログラム情報を読み出して解析し、１インストラク
ションずつシミュレーションを実行する。機能未定義関
数検出手段１０４は、シミュレーション実行中に機能が
未定義の関数が実行されると、実行を中断する。
作する。ロード手段１０１は、ロード・モジュール１３
０をプログラムメモリ部１０２に記録する。シミュレー
ション実行手段１０３は、プログラムメモリ部１０２か
らプログラム情報を読み出して解析し、１インストラク
ションずつシミュレーションを実行する。機能未定義関
数検出手段１０４は、シミュレーション実行中に機能が
未定義の関数が実行されると、実行を中断する。
【００２３】設計支援ツール起動手段１０５は、機能未
定義関数検出手段１０４で機能が未定義の関数を検出す
ると、自動的に設計支援ツール１１０を起動する。機能
シミュレーション結果反映手段１０６は、設計支援ツー
ル１１０での機能シミュレーションの結果を、設計支援
ツール１１０の起動以前に行っていたシミュレーション
に反映する。
定義関数検出手段１０４で機能が未定義の関数を検出す
ると、自動的に設計支援ツール１１０を起動する。機能
シミュレーション結果反映手段１０６は、設計支援ツー
ル１１０での機能シミュレーションの結果を、設計支援
ツール１１０の起動以前に行っていたシミュレーション
に反映する。
【００２４】設計支援ツール１１０は、機能記述手段１
１１と、機能シミュレーション実行手段１１２と、ソー
スコード生成手段１１３とにより構成される。
１１と、機能シミュレーション実行手段１１２と、ソー
スコード生成手段１１３とにより構成される。
【００２５】機能記述手段１１１は、状態遷移表を用い
てアプリケーション・プログラムの機能を記述する。機
能シミュレーション実行手段１１２は、機能記述手段１
１１で記述した機能の振る舞いを状態の遷移によりシミ
ュレーションし、機能仕様通りに動作するかを検証す
る。ソースコード生成手段１１３は、機能記述手段１１
１を用いて状態遷移表に記述された機能記述を高級プロ
グラム言語であるＣ言語やＣ＋＋言語のソースコードに
変換する。
てアプリケーション・プログラムの機能を記述する。機
能シミュレーション実行手段１１２は、機能記述手段１
１１で記述した機能の振る舞いを状態の遷移によりシミ
ュレーションし、機能仕様通りに動作するかを検証す
る。ソースコード生成手段１１３は、機能記述手段１１
１を用いて状態遷移表に記述された機能記述を高級プロ
グラム言語であるＣ言語やＣ＋＋言語のソースコードに
変換する。
【００２６】次に、本実施形態の全体の動作について詳
細に説明する。まず、アプリケーション・プログラム１
２０をコンパイラ及びリンクを用いてロード・モジュー
ル１３０に変換する。次に、ロード・モジュール１３０
をロード手段１０１でプログラムメモリ部１０２にロー
ドする。
細に説明する。まず、アプリケーション・プログラム１
２０をコンパイラ及びリンクを用いてロード・モジュー
ル１３０に変換する。次に、ロード・モジュール１３０
をロード手段１０１でプログラムメモリ部１０２にロー
ドする。
【００２７】次に、シミュレーション実行手段１０３に
より、プログラムメモリ部１０２のアプリケーション・
プログラムのシミュレーションを実行する。このシミュ
レーション中に、機能未定義関数検出手段１０４で機能
が未定義の関数が呼び出されたことを検出すると、設計
支援ツール起動手段１０５は、設計支援ツール１１０を
起動する。そして機能記述手段１１１は、設計支援ツー
ル１１０の状態遷移表に未定義の関数機能を記述する。
さらに、機能シミュレーション実行手段１１２を用い
て、記述した機能の振る舞いをシミュレートし、機能仕
様通りに動作するか否かを検証する。
より、プログラムメモリ部１０２のアプリケーション・
プログラムのシミュレーションを実行する。このシミュ
レーション中に、機能未定義関数検出手段１０４で機能
が未定義の関数が呼び出されたことを検出すると、設計
支援ツール起動手段１０５は、設計支援ツール１１０を
起動する。そして機能記述手段１１１は、設計支援ツー
ル１１０の状態遷移表に未定義の関数機能を記述する。
さらに、機能シミュレーション実行手段１１２を用い
て、記述した機能の振る舞いをシミュレートし、機能仕
様通りに動作するか否かを検証する。
【００２８】検証が終わったら、ソースコード生成手段
１１３を用いて状態遷移表に記述した機能のソースコー
ド１４０を生成する。最後に、機能シミュレーション実
行手段１１２による機能シミュレーション結果を、ソフ
トウェア・シミュレータ１００の機能シミュレーション
結果反映手段１０６を用いて、設計支援ツール１１０の
起動前に行っていたソフトウェア・シミュレータ１００
のシミュレーションに反映させる。
１１３を用いて状態遷移表に記述した機能のソースコー
ド１４０を生成する。最後に、機能シミュレーション実
行手段１１２による機能シミュレーション結果を、ソフ
トウェア・シミュレータ１００の機能シミュレーション
結果反映手段１０６を用いて、設計支援ツール１１０の
起動前に行っていたソフトウェア・シミュレータ１００
のシミュレーションに反映させる。
【００２９】その後、シミュレーション実行手段１０３
により、ソフトウェア・シミュレータ１００のシミュレ
ーションを続ける。ソースコード１４０は、後からアプ
リケーション・プログラム１２０の機能が未定義の関数
の設計に利用することができる。
により、ソフトウェア・シミュレータ１００のシミュレ
ーションを続ける。ソースコード１４０は、後からアプ
リケーション・プログラム１２０の機能が未定義の関数
の設計に利用することができる。
【００３０】〈第２の実施形態〉図２は、本発明の第２
の実施形態によるソフトウェア・シミュレータシステム
を示す構成図である。なお、図２において図１と対応す
る部分には同一番号を付して重複する説明は省略するも
のである。図２においては、ソフトウェア・シミュレー
タ１５０が、図１のソフトウェア・シミュレータ１００
の構成に起動選択手段１０９を加えた点で異なってい
る。
の実施形態によるソフトウェア・シミュレータシステム
を示す構成図である。なお、図２において図１と対応す
る部分には同一番号を付して重複する説明は省略するも
のである。図２においては、ソフトウェア・シミュレー
タ１５０が、図１のソフトウェア・シミュレータ１００
の構成に起動選択手段１０９を加えた点で異なってい
る。
【００３１】起動選択手段１０９は、設計支援ツール１
１０を起動するかしないかを選択する。本実施形態で
は、起動選択手段１０９は、機能未定義関数検出手段１
０４で検出された関数について設計支援ツール１１０を
起動するかしないかを確認する。
１０を起動するかしないかを選択する。本実施形態で
は、起動選択手段１０９は、機能未定義関数検出手段１
０４で検出された関数について設計支援ツール１１０を
起動するかしないかを確認する。
【００３２】次に、本実施形態の全体の動作について説
明する。シミュレーション実行中に、機能未定義関数検
出手段１０４で機能が未定義の関数を検出すると、起動
選択手段１０９が設計支援ツール１１０を起動するかし
ないかを確認する。起動することが確認されると、設計
支援ツール起動手段１０５に処理を移す。起動しないこ
とが確認されると、シミュレーション実行手段１０３に
処理を移し、シミュレーションを続ける。
明する。シミュレーション実行中に、機能未定義関数検
出手段１０４で機能が未定義の関数を検出すると、起動
選択手段１０９が設計支援ツール１１０を起動するかし
ないかを確認する。起動することが確認されると、設計
支援ツール起動手段１０５に処理を移す。起動しないこ
とが確認されると、シミュレーション実行手段１０３に
処理を移し、シミュレーションを続ける。
【００３３】本実施形態によれば、機能が未定義の関数
が検出されたときに、すぐに設計支援ツール１１０を起
動して関数を設計するか、あるいは、その関数について
は未定義のままでシミュレーションを続けるかを選択す
ることができる。
が検出されたときに、すぐに設計支援ツール１１０を起
動して関数を設計するか、あるいは、その関数について
は未定義のままでシミュレーションを続けるかを選択す
ることができる。
【００３４】なお、上記の各実施形態を実現するための
コンピュータシステムにおける上述した動作を制御する
ための処理を実行するプログラムを記録した記録媒体
は、本発明による記録媒体を構成する。この記録媒体と
しては、半導体メモリ、光ディスク、光磁気ディスク、
磁気記録媒体等を用いることができる。
コンピュータシステムにおける上述した動作を制御する
ための処理を実行するプログラムを記録した記録媒体
は、本発明による記録媒体を構成する。この記録媒体と
しては、半導体メモリ、光ディスク、光磁気ディスク、
磁気記録媒体等を用いることができる。
【００３５】
【発明の効果】以上の説明より明らかなように、本発明
のソフトウェア・シュミレータシステム及びプログラム
を記録した記録媒体によれば、プログラム設計効率を向
上させることができる。その理由は、機能が未定義の関
数を検出して自動的に設計支援ツールを起動し、アプリ
ケーション・プログラムの未完成部分を設計することが
できるためである。
のソフトウェア・シュミレータシステム及びプログラム
を記録した記録媒体によれば、プログラム設計効率を向
上させることができる。その理由は、機能が未定義の関
数を検出して自動的に設計支援ツールを起動し、アプリ
ケーション・プログラムの未完成部分を設計することが
できるためである。
【００３６】また、本発明のソフトウェア・シュミレー
タシステム及びプログラムを記録した記録媒体によれ
ば、関数の設計中に未定義部分の機能を含めたアプリケ
ーション・プログラム全体の検証を行うことができる。
その理由は、設計支援ツールの機能シミュレーション機
能を利用して、設計中の機能を状態遷移シミュレーショ
ンレベルで検証して動作確認し、そのシミュレーション
結果をソースコードに落とすことにより、後のコーディ
ング、デバッグに反映することができるためである。
タシステム及びプログラムを記録した記録媒体によれ
ば、関数の設計中に未定義部分の機能を含めたアプリケ
ーション・プログラム全体の検証を行うことができる。
その理由は、設計支援ツールの機能シミュレーション機
能を利用して、設計中の機能を状態遷移シミュレーショ
ンレベルで検証して動作確認し、そのシミュレーション
結果をソースコードに落とすことにより、後のコーディ
ング、デバッグに反映することができるためである。
【図１】本発明の第１の実施形態によるソフトウェア・
シミュレーションシステムを示す構成図である。
シミュレーションシステムを示す構成図である。
【図２】本発明の第２の実施形態によるソフトウェア・
シミュレーションシステムを示す構成図である。
シミュレーションシステムを示す構成図である。
【図３】従来のソフトウェア・シミュレーションシステ
ムを示す構成図である。
ムを示す構成図である。
１００、１５０ ソフトウェア・シミュレータ
１０１ ロード手段
１０２ プログラムメモリ部
１０３ シミュレーション実行手段
１０４ 機能未定義関数検出手段
１０５ 設計支援ツール起動手段
１０６ 機能シミュレーション結果反映手段
１０９ 起動選択手段
１１０ 設計支援ツール
１１１ 機能記述手段
１１２ 機能シミュレーション実行手段
１１３ ソースコード生成手段
１２０ アプリケーション・プログラム
１３０ ロード・モジュール
１４０ ソースコード
─────────────────────────────────────────────────────
フロントページの続き
(56)参考文献 特開 平11−143709（ＪＰ，Ａ)
特開 平８−95823（ＪＰ，Ａ)
特開 平５−31344（ＪＰ，Ａ)
特開 平１−36344（ＪＰ，Ａ)
(58)調査した分野(Int.Cl.7，ＤＢ名)
G06F 17/50,11/28
Claims (6)
- 【請求項１】 回路設計を支援する設計支援ツール手段
と、 アプリケーション・プログラムのシミュレーションを実
行する実行手段と、 該実行手段により実行された前記シミュレーション中に
機能が未定義の関数が呼び出されたことを検出する検出
手段と、 該検出手段による検出に基づいて前記設計支援ツール手
段を自動的に起動する起動手段と、使用者が前記設計支援ツール手段を使用して設計された
前記検出手段により検出された前記未定義の関数の関数
機能を前記設計支援ツール手段の状態遷移表に記述する
機能記述手段と、 該機能記述手段により記述された前記関数機能のシミュ
レーションを実行し、仕様通りに動作するか否かを検証
する検証手段と、 該検証手段によるシミュレーション結果を前記実行手段
により実行するシミュレーションに反映させる反映手段
と、 を有することを特徴とするソフトウェア・シミュレータ
システム。 - 【請求項２】 前記検出手段による検出に基づいて前記
設計支援ツール手段を起動するか否かを選択する選択手
段を有することを特徴とする請求項１記載のソフトウェ
ア・シミュレータシステム。 - 【請求項３】 前記機能記述手段により前記状態遷移表
に記述された前記未定義の関数機能のソースコードを生
成する生成手段を有することを特徴とする請求項１記載
のソフトウェア・シミュレータシステム。 - 【請求項４】 アプリケーション・プログラムのシミュ
レーションを実行する実行処理と、 前記シミュレーション中に機能が未定義の関数が呼び出
されたことを検出する検出処理と、 該検出処理による検出に基づいて設計支援ツールを自動
的に起動する起動処理と、使用者が前記設計支援ツールを使用して設計された 前記
検出処理により検出された前記未定義の関数の関数機能
を前記設計支援ツールの状態遷移表に記述する記述処理
と、 該記述処理により記述された前記未定義の関数機能のシ
ミュレーションを実行し、仕様通りに動作するか否かを
検証する検証処理と、 該検証処理によるシミュレーション結果を前記アプリケ
ーション・プログラムのシミュレーションに反映させる
反映処理と、 を実行するためのプログラムを記録したことを特徴とす
るプログラムを記録した記録媒体。 - 【請求項５】 前記検出処理による検出に基づいて前記
設計支援ツールを起動するか否かを選択する選択処理を
実行するためのプログラムを記録したことを特徴とする
請求項４記載のプログラムを記録した記録媒体。 - 【請求項６】 前記記述処理により前記状態遷移表に記
述された前記未定義の関数機能のソースコードを生成す
る生成処理を実行するためのプログラムを記録したこと
を特徴とする請求項４記載のプログラムを記録した記録
媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29713898A JP3439353B2 (ja) | 1998-10-19 | 1998-10-19 | ソフトウェア・シミュレータシステム及びプログラムを記録した記録媒体 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29713898A JP3439353B2 (ja) | 1998-10-19 | 1998-10-19 | ソフトウェア・シミュレータシステム及びプログラムを記録した記録媒体 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2000123063A JP2000123063A (ja) | 2000-04-28 |
| JP3439353B2 true JP3439353B2 (ja) | 2003-08-25 |
Family
ID=17842709
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP29713898A Expired - Fee Related JP3439353B2 (ja) | 1998-10-19 | 1998-10-19 | ソフトウェア・シミュレータシステム及びプログラムを記録した記録媒体 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3439353B2 (ja) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP4540861B2 (ja) * | 2001-01-18 | 2010-09-08 | 株式会社図研 | プリント基板におけるバイパスコンデンサ配置配線設計支援システムおよびプログラム |
| CN100462953C (zh) | 2004-03-19 | 2009-02-18 | Nxp股份有限公司 | Pci express开关的pci express端点与下游端口的模拟电路 |
| JP5440252B2 (ja) * | 2009-07-24 | 2014-03-12 | 株式会社リコー | 情報処理装置、外部装置、情報処理システム、情報処理方法、及びプログラム |
-
1998
- 1998-10-19 JP JP29713898A patent/JP3439353B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JP2000123063A (ja) | 2000-04-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110851168B (zh) | 数据处理方法及其装置、计算机可读存储介质 | |
| CN115878095A (zh) | 一种基于逻辑编排的低代码开发方法、装置、设备及介质 | |
| JP3439353B2 (ja) | ソフトウェア・シミュレータシステム及びプログラムを記録した記録媒体 | |
| CN111984524A (zh) | 故障注入方法、故障模拟方法、故障注入装置及存储介质 | |
| US6728951B1 (en) | System and method for performing automated incremental compilation of computer programs | |
| KR0125605B1 (ko) | 프로그램의 아키덱쳐 변환방법 및 장치와 그 방법 및 장치를 사용하여 프로그램의 동작을 검증하는 방법 및 장치 | |
| KR100615450B1 (ko) | 임베디드 시스템의 툴체인 구성 및 실행 방법, 그리고 이를이용한 이동 단말 장치 | |
| JPH10320212A (ja) | キャッシュ向け最適化方法 | |
| JP3604936B2 (ja) | 最適化方法，最適化装置及び記録媒体 | |
| JP3152205B2 (ja) | 論理シミュレーション装置及びその方法並びにその制御プログラムを記録した記録媒体 | |
| JP2005174045A (ja) | ソースプログラム変換装置、ソースプログラム変換方法、ソースプログラム変換プログラム、および、プログラム記録媒体 | |
| EP0901074A2 (en) | Real-time operating system with task execution controlling functions for allowing easy understanding of how actions are linked among tasks | |
| CN114564230B (zh) | 鸿蒙系统的一键上传实现方法、装置、电子设备及介质 | |
| KR100656928B1 (ko) | 임베디드 시스템의 툴체인 실행 방법 | |
| CN114296700B (zh) | 一种dsp工程移植方法 | |
| JP3492207B2 (ja) | 組み込みソフトウェアの動的解析方法 | |
| KR100320076B1 (ko) | 소프트웨어 재사용을 위한 온라인 함수 관리 방법 | |
| JP2005301415A (ja) | コンパイル方式、シミュレータ、エミュレータおよびプログラム開発支援システム | |
| JP3210203B2 (ja) | プログラム試験方法及びｓｑｌシミュレータ | |
| CN117573151A (zh) | 一种在risc-v dsp芯片的闪存中烧录数据的方法、芯片 | |
| CN115688659A (zh) | 一种基于数字模拟电路混合仿真的验证方法及相关产品 | |
| JP2002189613A (ja) | ソフトウェア開発支援装置、ソフトウェア開発支援方法及びソフトウェア開発支援プログラムを記録したコンピュータ読み取り可能な記録媒体 | |
| CN115756476A (zh) | Android系统自动刷机方法、装置、电子设备及存储介质 | |
| JPH07319711A (ja) | 情報処理システム | |
| KR100293932B1 (ko) | 소프트웨어 코드인 이미지의 후처리 방법 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20010213 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080613 Year of fee payment: 5 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090613 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100613 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100613 Year of fee payment: 7 |
|
| S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100613 Year of fee payment: 7 |
|
| R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100613 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110613 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120613 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120613 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130613 Year of fee payment: 10 |
|
| LAPS | Cancellation because of no payment of annual fees |