形式等価判定
EDAでの主な論理等価判定(LED)製品としては以下のようなものがある:
Conformal(ケイデンス・デザイン・システムズ)
Formality(シノプシス)
SLEC(Calypto)