集成電路驗證
IC驗證，即集成電路驗證（Integrated Circuit Verification），是指針對硬件設計中的集成電路（IC）進行的一系列功能驗證、性能驗證和正確性驗證的過程。這個過程包括但不限於寄存器傳輸級（RTL）的功能驗證、門級的仿真驗證、形式驗證以及時序驗證。IC驗證的目的是確保設計和預定的設計期望一致，設計期望通常是通過設計規範來定義的。
IC驗證工程師需要根據芯片的需求規格，採用相應的驗證語言、驗證工具、驗證方法，設計並實現驗證環境，在芯片生產之前對芯片的功能（RTL實現）進行仿真驗證，確定設計的功能是否實現了規格中描述的功能，設計的功能是否正確，是否已經完全釋放了風險。簡而言之，驗證就是根據芯片的需求規格對設計的芯片進行詳細檢查，確保其滿足預定規格和性能標準。