特許

J-GLOBAL ID：200903075420239985

論理シミュレータにおける同期装置と制御情報作成装置

発明者： 清水 弘臣
出願人/特許権者： 甲府日本電気株式会社
代理人 (1件)： 京本 直樹 (外2名)
公報種別：公開公報
出願番号（国際出願番号）：特願平5-280985
公開番号（公開出願番号）：特開平7-134728
出願日： 1993年11月10日
公開日（公表日）： 1995年05月23日
要約：

【要約】【目的】モデル上の依存関係に従って、プロセッサ間で個別に同期処理を行うことを可能とする。【構成】プロセッサとプロセッサ間を接続するプロセッサ間接続網から構成される論理シミュレータにおいてプロセッサ間の同期を行う同期装置であって、同期メッセージ送信情報テーブル106と、このテーブル106を参照して同期メッセージを送信する同期メッセージ送信手段107と、動機成立条件を保持する同期成立条件テーブル108と、同期メッセージを受信する同期メッセージ受信手段109と、同期メッセージ受信手段109によって更新される同期メッセージ計数テーブル110と、同期メッセージ計数テーブル110から同期の成立を判断する同期成立判定手段111とを有する。

請求項（抜粋）：

レベルソートアルゴリズムに基づき、レベル毎に同期を取りながら論理シミュレーションを実行するマルチプロセッサ構成の論理シミュレータにおける同期装置において、プロセッサ間の同期をとるための同期メッセージ送信情報を保持する同期メッセージ送信情報テーブルと、該テーブルを参照して同期メッセージを他のプロセッサに送信する同期メッセージ送信手段と、同期成立条件を保持する同期成立条件テーブルと、前記同期メッセージを受信する同期メッセージ受信手段と、前記同期メッセージ受信手段によって更新される同期メッセージ計数テーブルと、前記同期メッセージ計数テーブルから同期の成立を判断する同期成立判定手段とを有し、プロセッサ間で個別に同期処理を行うことを特徴とする論理シミュレータにおける同期装置。