特許

J-GLOBAL ID：200903006805074772

論理回路の検証方法、論理設計支援装置および論理回路検証システム

発明者： 荒井 善浩 ,  榊原 哲 ,  渡辺 健久 ,  河村 敏明 ,  石橋 靖雄
出願人/特許権者： 株式会社日立製作所 ,  日立プロセスコンピュータエンジニアリング株式会社
代理人 (1件)： 高橋 明夫 (外1名)
公報種別：公開公報
出願番号（国際出願番号）：特願平7-283154
公開番号（公開出願番号）：特開平9-128411
出願日： 1995年10月31日
公開日（公表日）： 1997年05月16日
要約：

【要約】【課題】プリント回路板やLSIの論理設計段階での論理検証作業に於いて、論理検証のテストデータ作成作業を容易にする。【解決手段】タイムチャート入力部300により複数の信号波形のタイムチャートを取り込み、波形データ処理部410で各信号波形の変化点を示す条件やタイミング条件を含んだデータを要素解析した時間指定データや条件指定データ等の要素データを、動作データ種類別に波形データテーブル420に格納する。一方、論理検証証用動作記述データ文法仕様書800から、動作データ種類別に記述データマスタフォーマットを取り込み、動作記述データ作成部440で、各要素データを基にマスタフォーマットに従って動作記述データを自動生成する。

請求項（抜粋）：

対象の論理回路を検証するための動作記述データを作成し、このデータに基づいて発生したテスト信号を前記論理回路に入力し、その出力信号から論理動作を検証する論理回路の検証方法において、論理回路の動作条件を記述した複数の波形種類のタイムチャートを取り込み、前記タイムチャートまたはそれらの相互関係によって定まる動作種類別データから、前記動作記述データを生成することを特徴とする論理回路の検証方法。