論理診断
論理診断（ろんりしんだん、）とは，LSI など論理回路の設計中に混入した論理設計誤りを最小の変更で自動修正する技術のことである。