論理シミュレーション

logic simulation
設計者が意図した通りに論理回路が動作するかどうか、機能とタイミングを検証する方法。狭義には、ゲートレベルで構成された回路記述の検証を指す。広義には、さまざまな設計抽象度の高い設計データを用いたシステムレベルの検証も含まれる。