論理回路が設計者の意図通りに機能しているか、また、タイミングが適切かを確認するための手段。狭い意味では、ゲートレベルで描かれた回路記述の検証を示しています。一方、広い観点では、様々な設計の抽象度が高いデータを使用して、システムレベルの検証も含むことを示しています。’
