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

當前位置:首頁 > > ZLG致遠電子
[導讀]斷言主要應用在白盒驗證或者灰盒驗證中,即假設某些內部條件在仿真過程中或者形式驗證中一直成立。為什么現(xiàn)代芯片驗證方法大量使用斷言有幾個原因:1、在黑盒驗證中,驗證工程師不知道一些內部實現(xiàn)細節(jié),需要設計工程在RTL中使用斷言指定這些非法場景。2、對于一些難以用仿真驗證的關鍵復雜電路,...

斷言主要應用在白盒驗證或者灰盒驗證中,即假設某些內部條件在仿真過程中或者形式驗證中一直成。

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

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

2、對于一些難以用仿真驗證的關鍵復雜電路,將斷言應用于形式模型驗證?

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

4、斷言語法簡單,設計人員很容易編寫。

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


在驗證過程中,斷言能夠在兩個方面發(fā)揮作用:?

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

■驗證工程師基于自己的理解,使用斷言對設計內部實現(xiàn)進行檢查 。基于斷言的驗證會將“check”這一驗證周期才能進行的事情“”到了設計周期,能夠更有效地在早期幫助驗證工程師發(fā)現(xiàn)bug。?

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