功能驗(yàn)證

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

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