InnoLogic的新嵌入式符號處理器(ESP)工具使用符號模擬技術(shù)來減少檢查設(shè)計所需的功能仿真向量的數(shù)量(圖)。基于Verilog的ESP使用變量或符號,以及傳統(tǒng)EDA模擬器用于檢查設(shè)計的0,1,X和Z狀態(tài)。當(dāng)符號模擬器找到符號輸入時,它會傳播布爾表達(dá)式而不是數(shù)字值。例如,使用ESP,您可以在一個周期內(nèi)驗證具有16個輸入的ALU;傳統(tǒng)的模擬器需要64,000個輸入來驗證所有輸入組合。
您可以使用事件驅(qū)動的ESP-XV模擬器在行為級,RTL和門級進(jìn)行Verilog設(shè)計的功能驗證。隨著仿真時間的縮短,基于ESP的仿真的測試平臺生成比傳統(tǒng)仿真簡單得多,因為您不必?fù)?dān)心大量的輸入組合。第二個工具ESP-CV是基于符號模擬技術(shù)的等價檢查器。該工具將Spice網(wǎng)表與Verilog模型進(jìn)行了比較。 ESP-CV通過將Spice描述轉(zhuǎn)換為交換機(jī)級描述并使用用戶輸入符號將功能與Verilog模型的功能進(jìn)行匹配來執(zhí)行此任務(wù)。該工具對嵌入式存儲器非常有用,因為它允許您在一個周期內(nèi)“繪制”內(nèi)存并在一個額外周期內(nèi)檢查結(jié)果。目前的ESP工具可以處理多達(dá)100萬門的設(shè)計。符號容量取決于設(shè)計;最壞情況電路,如乘法器,可以有大約50個符號,最佳情況電路,如存儲器,可以有幾千個符號。
使用符號工具而不是傳統(tǒng)工具進(jìn)行功能驗證涉及限制。由于InnoLogic工具的運(yùn)行速度比傳統(tǒng)模擬器快10倍,因此如果在模擬過程中使用四個或更多符號,則可獲得運(yùn)行時優(yōu)勢。您也不能使用任意數(shù)量的符號。當(dāng)您添加符號時,模擬器所承載的布爾表達(dá)式變得復(fù)雜并開始消耗比計算平臺更多的內(nèi)存。如果發(fā)生這種情況,ESP會將一些符號轉(zhuǎn)換為二進(jìn)制值;你失去了覆蓋面,但模擬結(jié)束了。在Verilog仿真中不能使用帶有C參考模型的符號,因為C模型不能接受符號。最后,當(dāng)前版本的ESP工具無法處理某些可編程邏輯接口,盡管InnoLogic計劃在其未來版本的工具中添加此功能。 ESP-XV和ESP-CV都在Unix下運(yùn)行。這些工具的起始價格為100,000美元。
聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。
舉報投訴
-
PCB打樣
-
華強(qiáng)PCB
-
華強(qiáng)pcb線路板打樣
相關(guān)推薦
嵌入式微處理器(EMPU) 嵌入式微處理器的基礎(chǔ)是通用計算機(jī)中的CPU。在應(yīng)用中,將微處理器裝配在專門設(shè)計的電路板上,只保留和嵌入式應(yīng)用有關(guān)的母板功能,這樣可以大幅度減小系統(tǒng)體積和功
發(fā)表于 02-02 15:15
嵌入式系統(tǒng)選擇的微處理器和PC端系統(tǒng)的微處理器有很大的區(qū)別,創(chuàng)客學(xué)院嵌入式linux培訓(xùn)講師為大家介紹在為
發(fā)表于 07-03 18:30
嵌入式處理器是嵌入式系統(tǒng)的核心,是控制、輔助系統(tǒng)運(yùn)行的硬件單元。范圍極其廣闊,從最初的4位處理器,目前仍在大規(guī)模應(yīng)用的8位單片機(jī),到最新的受到廣泛青睞的32位,64位
發(fā)表于 10-27 07:24
嵌入式處理器是嵌入式系統(tǒng)的核心,是控制、輔助系統(tǒng)運(yùn)行的硬件單元。范圍極其廣闊,從最初的4位處理器,目前仍在大規(guī)模應(yīng)用的8位單片機(jī),到最新的受到廣泛青睞的32位,64位
發(fā)表于 10-28 08:56
嵌入式處理器和嵌入式操作系統(tǒng)
1.2.1 嵌入式微處理器 嵌入式微處理器有許多種流行的
發(fā)表于 06-17 00:30
?1967次閱讀
ADI公司嵌入式體系結(jié)構(gòu)的特點包括簡單但功能強(qiáng)大的編程模型,并得到高質(zhì)量開發(fā)工具的支持。 Blackfin處理器 高性能、低功耗處理 Blackfin
發(fā)表于 02-24 22:31
?44次下載
嵌入式安全系統(tǒng)概述;嵌入式系統(tǒng)安全技術(shù);安全應(yīng)用處理器介紹 ;基于安全處理器的嵌入式系統(tǒng)設(shè)計案例
發(fā)表于 01-25 07:06
?2466次閱讀
本文檔的主要內(nèi)容詳細(xì)介紹的是嵌入式系統(tǒng)教程之嵌入式處理器的詳細(xì)資料說明包括了:1 硬件子系統(tǒng)的組成,2 嵌入式
發(fā)表于 06-14 17:14
?18次下載
本文檔的主要內(nèi)容詳細(xì)介紹的是ARM嵌入式處理器的GNU工具應(yīng)用程序免費(fèi)下載。
發(fā)表于 07-05 16:11
?7次下載
嵌入式處理器分為嵌入式微控制器(MCU),嵌入式DSP處理器(DSP),嵌入式微處理器(MPU)
發(fā)表于 10-05 17:39
?4642次閱讀
嵌入式處理器簡介 嵌入式處理器是嵌入式系統(tǒng)的核心,是控制、輔助系統(tǒng)運(yùn)行的硬件單元。范圍極其廣闊,從最初的 4 位
發(fā)表于 10-30 10:22
?1331次閱讀
嵌入式處理器是嵌入式系統(tǒng)的核心,是控制、輔助系統(tǒng)運(yùn)行的硬件單元。范圍極其廣闊,從最初的4位處理器,目前仍在大規(guī)模應(yīng)用的8位單片機(jī),到最新的受到廣泛青睞的32位,64位
發(fā)表于 10-20 17:21
?1次下載
嵌入式處理器是嵌入式系統(tǒng)的核心,是控制、輔助系統(tǒng)運(yùn)行的硬件單元。范圍極其廣闊,從最初的4位處理器,目前仍在大規(guī)模應(yīng)用的8位單片機(jī),到最新的受到廣泛青睞的32位,64位
發(fā)表于 10-21 13:36
?3次下載
嵌入式處理器是專門設(shè)計用于嵌入式系統(tǒng)的微處理器,它們通常具有低功耗、小尺寸和多種集成功能的特點。以下是一些常見的嵌入式
發(fā)表于 07-24 14:57
?9041次閱讀
嵌入式微處理器是專為嵌入式系統(tǒng)設(shè)計的微處理器,它們是嵌入式系統(tǒng)的核心組件,負(fù)責(zé)執(zhí)行程序指令、處理數(shù)據(jù)和控制其他硬件設(shè)備。與通用微
發(fā)表于 03-28 15:51
?610次閱讀
評論