論理シミュレータ

出典: くみこみックス

論理シミュレータ【Logic Simulator】

　設計者が意図したとおりに論理回路が動作するかどうかを検証するためのツール． 　狭義の意味ではゲート・レベルで構成された回路記述を検証するシミュレータを指す．論理シミュレータは，設計した論理回路の機能とタイミングの両方を検証する．論理シミュレータを利用するためには，論理回路素子の接続情報（ネットリスト）を用意する必要がある．たとえば回路図エディタで対象となる回路を入力・編集し，検証用パターンを与えて出力された信号値と期待値を比較する． 　広義の意味では，さまざまな設計抽象度の設計データ，あるいはさまざまな設計抽象度の混在したデータを扱えるシミュレーション向けツール全般を指す．たとえば，ハードウェア・アクセラレータやサイクル・ベース型シミュレータなども論理シミュレータの一種である．

【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．