本書討論了這四個關(guān)系運算符的使用：貫穿、直到、相交、暗示；詳細介紹了模擬器應如何處理評估區(qū)域，如SystemVerilogLRM中所述；這將使您更好地了解斷言是如何工作的；提供了使用即時斷言的指南；提供了一個庫和模型解決方案，用于編寫具有動態(tài)重復/延遲的斷言；提供了某些類型的需求所需的支持邏輯的例子，其中僅SVA的嚴格使用并不涵蓋這些需求；解釋了SVA如何補充基于UVM的類的環(huán)境，還演示了如何在所有SVA操作塊中使用UVM嚴重性級別，而不是SystemVerilog本機嚴重性級別；解釋了如何使用SVA代替記分板。Matched通過示例1800闡明了多時鐘、觸發(fā)器和匹配的定義，提供了行業(yè)用戶提出的復雜問答示例。

更多科學出版社服務，請掃碼獲取。