ICのスタゲージとして、機能設計と論理設計の工程における静的な回路検証について説明します。これは、外部からのテストパターンを必要とせず、回路の記述情報を用いて行う検証の方法です。詳細に分けると、形式検証はプロパティ検証と、論理等価性検証の二つに区分されます。’
