LEC（論理等価性検証）｜半導体設計 › 設計検証 › 形式検証

LEC（論理等価性検証）は、論理合成や最適化の前後で、二つの回路が同じ論理機能を持つかを比べて確かめる形式検証の一種である。合成やタイミング修正で回路の構造が大きく変わっても、対応する入力と状態に対する出力を比較することで、変換によって機能が変わっていないかを早く確認できる。RTLとネットリストの比較や、修正前後のネットリスト同士の比較に使われる。