日本黄色一级经典视频|伊人久久精品视频|亚洲黄色色周成人视频九九九|av免费网址黄色小短片|黄色Av无码亚洲成年人|亚洲1区2区3区无码|真人黄片免费观看|无码一级小说欧美日免费三级|日韩中文字幕91在线看|精品久久久无码中文字幕边打电话

當(dāng)前位置:首頁 > > ZLG致遠(yuǎn)電子
[導(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。?

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除( 郵箱:macysun@21ic.com )。
換一批
延伸閱讀
關(guān)閉