邏輯合成與驗證