當前位置：首頁 > 公眾號精選 > ZLG致遠電子

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

時間：2021-11-11 14:52:41
關鍵字： 芯片驗證   
手機看文章

掃描二維碼
隨時隨地手機看文章

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

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

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

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

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

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

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

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


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

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

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

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

9月2日消息，不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司，隨著阿維塔和賽力斯的入局，華為引望愈發(fā)顯得引人矚目。

關鍵字： 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術解決方案公司Trianz今天宣布，該公司與Amazon Web Services （AWS）簽訂了...

關鍵字： AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術公司SODA.Auto推出其旗艦產(chǎn)品SODA V，這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具，可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字： 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行，同時企業(yè)卻面臨越來越多業(yè)務中斷的風險，如企業(yè)系統(tǒng)復雜性的增加，頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性，提升韌性，成...

關鍵字： 亞馬遜 解密 控制平面 BSP

8月30日消息，據(jù)媒體報道，騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關鍵字： 騰訊 編碼器 CPU

8月28日消息，今天上午，2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行，華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關鍵字： 華為 12nm EDA 半導體

8月28日消息，在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上，華為常務董事、華為云CEO張平安發(fā)表演講稱，數(shù)字世界的話語權最終是由生態(tài)的繁榮決定的。

關鍵字： 華為 12nm 手機 衛(wèi)星通信

要點： 有效應對環(huán)境變化，經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措，毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著，戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領，提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略，塑強核心競爭優(yōu)勢...

關鍵字： 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日，由中央廣播電視總臺與中國電影電視技術學會聯(lián)合牽頭組建的NVI技術創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術創(chuàng)新聯(lián)...

關鍵字： VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上，軟通動力信息技術（集團）股份有限公司（以下簡稱"軟通動力"）與長三角投資（上海）有限...

關鍵字： BSP 信息技術
關閉
關閉