特許
J-GLOBAL ID：200903005100362985
CADシステム
発明者：
出願人/特許権者：
代理人 (1件)：
佐々木 宗治 (外3名)
公報種別：公開公報
出願番号（国際出願番号）：特願平8-001350
公開番号（公開出願番号）：特開平9-190458
出願日： 1996年01月09日
公開日（公表日）： 1997年07月22日
要約：
【要約】【課題】 論理回路の機能設計時に設計される状態遷移図から、状態遷移図や論理回路図の検証用タイムチャートを自動生成する。【解決手段】 論理回路の機能設計の段階で設計される状態遷移図の状態の推移の指定を、計算機のマンマシンインタフェースを介して行う状態推移指定部16と、状態推移指定部16により指定された状態の推移を記憶する状態推移記憶部17と、状態推移記憶部17に格納されたデータとマンマシンインタフェースを介して入力された信号波形生成のための条件とに基づいて状態遷移図及び論理回路図の検証用タイムチャートを自動生成するタイムチャート自動生成部18とを設けたことを特徴とする。
請求項（抜粋）：
論理回路の機能設計の段階で状態遷移図を設計してこの状態遷移図を検証し、次に論理回路図の設計を行ってこの論理回路図の検証を行うという一連の動作を計算機を利用して行うCADシステムであって、前記計算機のマンマシンインタフェースを介して前記状態遷移図の状態の推移の指定を行う状態推移指定手段と、この状態推移指定手段により指定された状態の推移を記憶する状態推移記憶手段と、この状態推移記憶手段に格納されたデータと前記マンマシンインタフェースを介して入力された信号波形生成のための条件とに基づいて前記状態遷移図及び論理回路図の検証用タイムチャートを自動生成するタイムチャート自動生成手段とを設けたことを特徴とするCADシステム。
IPC (2件)：
FI (2件)：
G06F 15/60 670
, G01R 31/28 F
