數字芯片驗證為什么需要斷言assertion
[導讀]斷言主要應用在白盒驗證或者灰盒驗證中，即假設某些內部條件在仿真過程中或者形式驗證中一直成立。為什么現(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。?
為什么現(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。?
下載文檔
