功能驗證

功能驗證是一個自動化學科的術語。功能驗證是電子設計自動化中驗證數(shù)字電路是否與預定規(guī)范功能相符的一個驗證過程，通常所說的功能驗證、功能仿真是指不考慮實際器件的延遲時間，只考慮邏輯功能的一個流程。功能驗證的目標是達到盡可能高的測試覆蓋率，被測試的內(nèi)容要盡可能覆蓋所有的語句、邏輯分支、條件、路徑、觸發(fā)、狀態(tài)機的狀態(tài)等，同時在某些階段還必須包括對時序的檢查。

功能驗證是一個自動化學科的術語。功能驗證是電子設計自動化中驗證數(shù)字電路是否與預定規(guī)范功能相符的一個驗證過程，通常所說的功能驗證、功能仿真是指不考慮實際器件的延遲時間，只考慮邏輯功能的一個流程。功能驗證的目標是達到盡可能高的測試覆蓋率，被測試的內(nèi)容要盡可能覆蓋所有的語句、邏輯分支、條件、路徑、觸發(fā)、狀態(tài)機的狀態(tài)等，同時在某些階段還必須包括對時序的檢查。收起