論理評価システム

発明者：
出願人/特許権者：
代理人 (1件)：京本直樹 (外2名)
公報種別：公開公報
出願番号（国際出願番号）：特願平4-221110
公開番号（公開出願番号）：特開平6-068193
出願日： 1992年08月20日
公開日（公表日）： 1994年03月11日
要約：

【要約】【目的】汎用コンピュータと論理シミュレータとが相互に接続された論理評価システムで、試験漏れがなく、かつ効率良く評価ができるシステムを提供する。【構成】汎用コンピュータ1上でランダム試験タスク75によりランダム試験プログラムを生成し、命令インタプリタ71により期待値を作り、シミュレーション制御タスク80が論理シミュレータ2上でランダム試験プログラうを実行させ、期待値と実行結果との比較を実行結果判定部79により行なわせる。

請求項（抜粋）：

汎用コンピュータと論理シミュレータとを相互に接続して論理モデルの正常性を検証する論理評価システムにおいて、汎用コンピュータ上で動作し、乱数を用いて生成した複数の命令とプログラムの終了を通知する乗移り命令とからなる試験手順と,乱数を用いて生成したレジスタ用データとメモリ用データとから成る試験データとからなるランダム試験プログラムを生成するランダム試験プログラム生成手段と、このランダム試験プログラム生成手段で生成されたランダム試験プログラムを用いて論理シミューレータを起動する論理シミューレータ起動手段と、前記ランダム試験プログラムの実行結果期待値を生成する汎用コンピュータ上の命令インタプリタと、このの命令インタプリタが生成した期待値と前記論理シミュレータの実行結果とを比較する汎用コンピュータ上の実行結果判定手段とを有することを特徴とする論理評価システム。

IPC (3件)：

G06F 15/60 360 , G06F 11/26 310 , G06F 15/20

引用特許：

審査官引用 (4件)

特開平1-209542
特開昭63-083679
特開平3-138774

全件表示

前のページに戻る