任何人都可以告訴我如何使用JasperGold進行功能驗證嗎? 我是這個工具的新手。我們可以使用JasperGold做功能驗證嗎?
-1
A
回答
1
JasperGold是一個正式的驗證工具。功能驗證通常使用仿真和功能覆蓋進行。
正式工具的輸入是你的設計加上一套ASSUME屬性。 ASSUME屬性通常會限制輸入激勵的合法範圍。給定輸入的正式工具可以證明其他屬性。
E.g.如果你的設計是一個完整的加法器,並且設置了輸入介於0和5之間的ASSUME屬性,那麼形式也應該能夠證明輸出始終在0和10之間。它還應該能夠證明輸出是總是等於輸入的總和。這最後一個屬性可以被看作是「功能驗證」。你已經驗證你的HDL代碼和你的財產在功能上是平等的。
0
是的,您可以使用JasperGold進行功能驗證。 JasperGold是一個正式的財產檢查工具。
功能驗證是驗證設計功能的過程。傳統模擬(定向或隨機)可用於執行功能驗證。正式的財產檢查工具執行功能驗證。還有正式的等價性檢查工具(如Synopsys的Hector)進行功能驗證。
有一些正式的工具,不執行功能驗證。例如Formality。
要使用JasperGold,您需要使用屬性檢查語言來創建合適的屬性。 SystemVerilog斷言(或SVA)現在是行業標準。您可以從Internet上下載(令人驚訝的可讀)SystemVerilog LRM。
相關問題
- 1. 我們可以使用refinerycms進行用戶身份驗證嗎
- 2. 可以驗證用戶嗎?他們可以有用戶名嗎?
- 3. 我們可以在Struts 1.2中使用Form和xml驗證嗎?
- 4. 我可以使用Struts2驗證器嗎?
- 5. xmonad可以隨時使用我們常用的功能嗎?
- 6. 我們可以使用junit編寫功能測試嗎?
- 7. 我可以在ASP.NET Web Forms中使用實體框架的驗證功能嗎?
- 8. 我可以使用OnClientClick驗證一個頁面/驗證組嗎?
- 9. 我可以使用驗證框架驗證Jersey參數嗎?
- 10. django:我們可以做loader.get_template('my_template.txt')嗎?
- 11. 我可以使用Node.js中的所有Javascript功能/功能嗎
- 12. 我們可以做所有我們可以在BizTalk中使用SSIS做的事情嗎
- 13. 我可以改進我的驗證嗎?
- 14. 我們可以使用ExtJS4而不使用EXTJS4支持的MVC功能嗎?
- 15. 憑證 - 我可以這樣做嗎?
- 16. 我們可以在cakephp驗證中驗證唯一性的主鍵字段嗎?
- 17. 我想使用AJAX功能驗證CAPTCHA
- 18. 我們可以使用WSO2做Idp啓動SSO嗎?
- 19. 我們可以使用Adobe Flex來做屈服曲線嗎?
- 20. 我們可以做輸出驗證而無需在esapi中進行輸入驗證嗎?
- 21. 我們可以分享網站身份驗證Cookie嗎?
- 22. 我們可以自動化struts2.x驗證框架嗎?
- 23. 我們可以忽略NSMutableURLRequest中的ssl驗證嗎?
- 24. 我們可以在Python中做一個智能副本嗎?
- 25. 使用form_for:remote => true驗證成功後可以重定向嗎?
- 26. java - 我們可以做我們自己的內存管理嗎?
- 27. Arangodb:我可以從用戶功能調用用戶功能嗎?
- 28. 我們可以使用appium doctor來驗證窗口上的設置嗎?
- 29. 我們可以在ESAPI驗證器方法中使用黑名單嗎?
- 30. 我們可以在模式創建時使用貓鼬進行驗證嗎
感謝您的回覆。你能告訴我可以使用makefile和print拓撲嗎?或者這只是形式驗證工具? – Tsr
好吧,你的意思是說使用「正式申請」我們可以進行功能驗證。這是使用假設財產。 – Tsr
@Trupti我會建議閱讀功能驗證之前發佈在這裏 – noobuntu