數(shù)字芯片驗(yàn)證為什么需要斷言assertion

時間：2021-11-11 14:52:41

關(guān)鍵字：芯片驗(yàn)證

手機(jī)看文章

掃描二維碼
隨時隨地手機(jī)看文章

[導(dǎo)讀]斷言主要應(yīng)用在白盒驗(yàn)證或者灰盒驗(yàn)證中，即假設(shè)某些內(nèi)部條件在仿真過程中或者形式驗(yàn)證中一直成立。為什么現(xiàn)代芯片驗(yàn)證方法大量使用斷言有幾個原因：1、在黑盒驗(yàn)證中，驗(yàn)證工程師不知道一些內(nèi)部實(shí)現(xiàn)細(xì)節(jié)，需要設(shè)計工程在RTL中使用斷言指定這些非法場景。2、對于一些難以用仿真驗(yàn)證的關(guān)鍵復(fù)雜電路，...

斷言主要應(yīng)用在白盒驗(yàn)證或者灰盒驗(yàn)證中，即假設(shè)某些內(nèi)部條件在仿真過程中或者形式驗(yàn)證中一直成立。

為什么現(xiàn)代芯片驗(yàn)證方法大量使用斷言有幾個原因：

1、在黑盒驗(yàn)證中，驗(yàn)證工程師不知道一些內(nèi)部實(shí)現(xiàn)細(xì)節(jié)，需要設(shè)計工程在RTL中使用斷言指定這些非法場景。

2、對于一些難以用仿真驗(yàn)證的關(guān)鍵復(fù)雜電路，將斷言應(yīng)用于形式模型驗(yàn)證?

3、有時候在下游模塊的接口處存在一些約束，這就需要使用斷言進(jìn)行保護(hù)，以便集成時能夠發(fā)現(xiàn)某些過約現(xiàn)象。

4、斷言語法簡單，設(shè)計人員很容易編寫。

5、事實(shí)證明，大約20%的故障是通過斷言發(fā)現(xiàn)的。

在驗(yàn)證過程中，斷言能夠在兩個方面發(fā)揮作用：?

■明確指定最初的設(shè)計意圖，可以將這一組斷言看作是在RTL中體現(xiàn)的規(guī)格。

■驗(yàn)證工程師基于自己的理解，使用斷言對設(shè)計內(nèi)部實(shí)現(xiàn)進(jìn)行檢查 ?；跀嘌缘尿?yàn)證會將“check”這一驗(yàn)證周期才能進(jìn)行的事情“左移”到了設(shè)計周期，能夠更有效地在早期幫助驗(yàn)證工程師發(fā)現(xiàn)bug。?