計算機システムの論理検証システム

発明者： , , ,
出願人/特許権者：
代理人 (1件)：富田和子
公報種別：公開公報
出願番号（国際出願番号）：特願平5-038079
公開番号（公開出願番号）：特開平6-251097
出願日： 1993年02月26日
公開日（公表日）： 1994年09月09日
要約：

【要約】【目的】計算機システムの論理を、実際にシステムを組み立てることなく、実部品と連動させて検証でき、検証対象論理の内部にある信号にもアクセスでき、また、メモリの内部状態を観測でき、さらに、大規模な論理を扱う。【構成】書き替え可能なハードウエアと実部品との間を接続する部品接続部を備え、該部品接続部は動作電圧レベル変換手段を備える。また、自動配置配線部に、検証対象論理内の任意の信号を、上記ハードウエアの入出力部に接続する手段を設け、さらに、該ハードウェアに、上記条件設定部と状態観測部とに接続されたメモリ素子を備える。また、前記ハ-ドウェアに接続する部品群の一部として、前記検証対象論理以外の検証対象論理を実現したもう一つあるいは複数の論理検証システムを接続する。

請求項（抜粋）：

制御装置と、記憶装置と、内部の論理の書き替え可能なハードウエアとを備え、該制御装置は、上記ハードウエアの論理素子の接続関係を決定する自動配置配線部と、外部から入力された動作条件を上記ハードウエアに設定する条件設定部と、上記ハードウエアから出力される情報を観測する状態観測部とを備える、計算機システムの論理検証システムにおいて、上記制御部に、上記書き替え可能なハードウエアと、外部の部品との間を接続する部品接続部を備えることを特徴とする論理検証システム。

IPC (3件)：

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

引用特許：

審査官引用 (5件)

特開平3-070158
特公昭30-002659
特開昭63-157072

全件表示

前のページに戻る