電気回路の設計，検証を自動的に行うこと．また，それらのツールをEDAツールと呼ぶ．