加入星計(jì)劃,您可以享受以下權(quán)益:
功能驗(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í)序的檢查。收起
查看更多