驗證中的硬體模擬(Emulation)

2021-08-20 13:25:28 字數 609 閱讀 9852

模擬是一種將設計轉化為能夠在專用硬體上執行的實現的技術。這個實現與最終的實現沒有任何對應關係,它是針對特定的技術庫。相反,模擬器具有許多能夠承擔的功能(例如fpga),可程式設計互連(儘管一些早期模擬器使用固定互連)的模組和試圖在可程式設計元件之間分割電路的軟體工具鏈,配置互連並提供乙個執行時環境,使模擬器看起來類似於邏輯**器。

模擬器比**器更快,並且可以具有更高的容量。自單處理器效能停止擴充套件以來,這種情況變得越來越真實。邏輯**過程並不容易進行並行處理,並且隨著設計變得越來越大,**器正在努力應對設計日益龐大和複雜性以及計算技術進步所帶來的巨大收益。這使得模擬器更具吸引力。不利的一面是,模擬器比**器要昂貴得多,儘管多年來每個門的成本一直在穩步下降,實際上比設計大小的增長更快。這意味著他們越來越負擔得起,越來越需要。

我們所熟知的模擬器有cadence的palladium、mentor graphics的veloce,以及synopsys的zebu等平台。最新cadence 的 palladium

z1。該平台可以執行多達2304個並行作業,擁有400萬個門的粒度,並可擴充套件至92億門。如果晶元規模超百億門,那麼那就得買兩台z1,單台幾千萬,兩台差不多1.5億吧。這玩意還巨嬌貴,必須專人伺候,伺候不好,壞了,配件還巨貴,所以,只有土豪公司才玩得起。

凱利公式的模擬驗證

場景 乙個賭局,你跟莊家。你出 1 元,莊家出 0.96元。賭金數目可隨之翻倍。根據每次拋色子的結果的單雙決定勝負。勝者得到雙方所下的賭金,計 1.96 元。問題 如何下注才能做到,風險最小,盈利最大呢?答案 凱利公式。凱利公式的作用 根據賠率與勝率,得出你每次的資金下注比例 公式的形式 1 賠率 ...

模擬iic和硬體iic驅動的區別

所謂硬體i2c對應晶元上的i2c外設,有相應i2c驅動電路,其所使用的i2c管腳也是專用的 軟體i2c一般是用gpio管腳,用軟體控制管腳狀態以模擬i2c通訊波形。硬體i2c的效率要遠高於軟體的,而軟體i2c由於不受管腳限制,介面比較靈活。模擬i2c 是通過gpio,軟體模擬暫存器的工作方式,而硬體...

基於ajax的模擬登陸驗證

輸入賬號密碼,進行ajax請求,成功調轉其他頁面,失敗在登陸後顯示錯誤資訊。from django.contrib import admin from django.urls import path urlpatterns path admin admin.site.urls path index ...