設計驗證量化