EDA 驗證