Pat

J-GLOBAL ID：200903001704504529

論理回路検証装置

Inventor： 山本 敏雄
Applicant, Patent owner： 株式会社リコー
Agent (1)： 大澤 敬
Gazette classification：公開公報
Application number (International application number)：1992244564
Publication number (International publication number)：1994096153
Application date： Sep. 14, 1992
Publication date： Apr. 08, 1994
Summary：

【要約】【目的】 オペレータが論理回路シミュレーション時のテストパターン修正前後のシミュレーション結果を容易に比較できるようにする【構成】 再シミュレーション結果・前シミュレーション結果変化データ抽出手段15によって、テストパターンデータ保持手段11に保持されている修正前テストパターンのデータをシミュレーションした修正前シミュレーション結果と、テストパターン修正位置保持手段12に保持されているテストパターンの修正位置に基づいた修正後テストパターンのデータをシミュレーションした修正後シミュレーション結果とを比較して変化したデータを抽出し、その抽出した変化データに基づいて修正後シミュレーション結果の波形に対する波形変化及びディレイ変化を再シミュレーション結果波形・変化データ表示手段16に表示する。

Claim (excerpt)：

ASIC等の論理回路をシミュレーションするためのテストパターンを入力又は修正するテストパターン入力・修正手段と、該手段によって入力又は修正されたテストパターンのデータを保持するテストパターンデータ保持手段と、前記テストパターン入力・修正手段によるテストパターンの修正位置を保持するテストパターン修正位置保持手段と、前記テストパターンデータ保持手段に保持されているテストパターンのデータによって前記論理回路のシミュレーションを実行するシミュレーション実行手段と、該手段によるシミュレーション結果を保持するシミュレーション結果保持手段と、前記テストパターンデータ保持手段に保持されている修正前テストパターンのデータを前記シミュレーション実行手段によってシミュレーションした修正前シミュレーション結果と、前記テストパターン修正位置保持手段に保持されているテストパターンの修正位置に基づいて前記修正前テストパターンのデータを修正した修正後テストパターンのデータを前記シミュレーション実行手段によってシミュレーションした修正後シミュレーション結果とを比較して変化したデータを抽出する修正前後シミュレーション結果変化データ抽出手段と、前記修正後シミュレーション結果の波形に対して前記修正前後シミュレーション結果変化データ抽出手段によって抽出した変化データに基づいた波形変化及びディレイ変化を表示する修正後シミュレーション結果変化状況表示手段とを備えた論理回路検証装置。

IPC (2)：

G06F 15/60 360 ,  G01R 31/28

FI (2)：

G01R 31/28 F ,  G01R 31/28 Q