論理合成の前後で回路の論理が変わっていないことを、シミュレーションを使わずに数学的に確認する手法はどれか。

正解：A. 形式的等価性検証(フォーマル検証)

形式的等価性検証は、2つの回路が同じ論理関数を実現しているかを、数学的な手法で網羅的に確かめる検証です。テストパターンを用意する必要がなく、すべての入力の組み合わせについて等価性を保証できるため、論理合成や配置配線の前後の確認に使われます。