特許

J-GLOBAL ID：200903069766599490

論理検証方法

発明者： 反町 孝史
出願人/特許権者： 三菱電機株式会社
代理人 (1件)： 宮園 純一
公報種別：公開公報
出願番号（国際出願番号）：特願平3-322483
公開番号（公開出願番号）：特開平5-135126
出願日： 1991年11月11日
公開日（公表日）： 1993年06月01日
要約：

【要約】【目的】 論理回路図上で入力端子となる配線の論理を指定することによって論理の計算を行ない、直ちに結果表示を行なう。【構成】 論理回路図上で入力端子となる配線に論理に応じた着色をし、論理回路図の回路接続情報等から作成するネットリストファイル1と上記配線の色情報を抽出した配線色データファイル2をもとに中央処理部3が論理を計算して、その結果を表示部4の論理回路図上に同じく色を用いて表示する。【効果】 論理検証に要する時間を短縮でき、論理回路図のデバッグを効率よく行なえる。

請求項（抜粋）：

要求された論理動作に基づき論理設計を行なって論理回路図を作成する論理図入力ステップと、当該論理回路図からネットリストを作成するネットリスト作成ステップと、当該論理回路図上で入力端子となる配線の論理を決め、論理回路図上の配線を予め論理に対応して決められた色で着色する配線論理設定ステップと、上記ネットリストと配線の色情報に基づき論理計算を行なう論理計算ステップと、この論理計算結果を論理回路図上に論理に対応した色を用いて表示する結果表示ステップとから成ることを特徴とする論理検証方法。