Pat
J-GLOBAL ID：200903005100362985
CADシステム
Inventor：
Applicant, Patent owner：
Agent (1)：
佐々木 宗治 (外3名)
Gazette classification：公開公報
Application number (International application number)：1996001350
Publication number (International publication number)：1997190458
Application date： Jan. 09, 1996
Publication date： Jul. 22, 1997
Summary：
【要約】【課題】 論理回路の機能設計時に設計される状態遷移図から、状態遷移図や論理回路図の検証用タイムチャートを自動生成する。【解決手段】 論理回路の機能設計の段階で設計される状態遷移図の状態の推移の指定を、計算機のマンマシンインタフェースを介して行う状態推移指定部16と、状態推移指定部16により指定された状態の推移を記憶する状態推移記憶部17と、状態推移記憶部17に格納されたデータとマンマシンインタフェースを介して入力された信号波形生成のための条件とに基づいて状態遷移図及び論理回路図の検証用タイムチャートを自動生成するタイムチャート自動生成部18とを設けたことを特徴とする。
Claim (excerpt)：
論理回路の機能設計の段階で状態遷移図を設計してこの状態遷移図を検証し、次に論理回路図の設計を行ってこの論理回路図の検証を行うという一連の動作を計算機を利用して行うCADシステムであって、前記計算機のマンマシンインタフェースを介して前記状態遷移図の状態の推移の指定を行う状態推移指定手段と、この状態推移指定手段により指定された状態の推移を記憶する状態推移記憶手段と、この状態推移記憶手段に格納されたデータと前記マンマシンインタフェースを介して入力された信号波形生成のための条件とに基づいて前記状態遷移図及び論理回路図の検証用タイムチャートを自動生成するタイムチャート自動生成手段とを設けたことを特徴とするCADシステム。
IPC (2)：
FI (2)：
G06F 15/60 670
, G01R 31/28 F
