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

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