zpwsmile朗訊設備選擇HDAC進行靜態(tài)功能驗證
朗訊設備選擇HDAC進行靜態(tài)功能驗證
加利福尼亞州桑尼維爾 -HDAC公司，RTL設計高級驗證技術供應商，今天宣布朗訊科技有限公司遠程訪問組已將HDAC的靜態(tài)功能驗證工具Solidify添加到其基于Verilog的設計環(huán)境中。
“我們正在使用Solidify的新靜態(tài)方法來減少我們驗證塊的時間，”Lucent Technologies位于加利福尼亞州阿拉米達的硬件工程總監(jiān)Steve Shaffer表示?！癝olidify是我們整體的一部分VLSI驗證程序可以在更短的時間內(nèi)用更少的精力檢查拐角情況并發(fā)現(xiàn)難題?！?/p>
HDAC總裁兼首席執(zhí)行官Ramin Hojati說：“項目經(jīng)理報告說，他們50％到70％的員工時間用于功能驗證，問題的發(fā)展速度比設計復雜性快得多在集成之前確保塊是干凈和堅固的，確保芯片級測試能夠找到更少的錯誤.Solidify可以實現(xiàn)這一點，因為它通?？梢栽趲酌腌妰?nèi)分析相當于天文數(shù)量的向量。我們很高興能與朗訊科技遠程訪問小組提供我們的新驗證技術。“
聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉(zhuǎn)載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內(nèi)容侵權或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報投訴
-
華強pcb線路板打樣
+關注
關注
5文章
14629瀏覽量
44641
發(fā)布評論請先 登錄
相關推薦
熱點推薦
RDMA設計38：寄存器功能驗證與分析
的控制，需要通過 AXI-Lite接口訪問系統(tǒng)控制模塊的響應寄存器。而在驗證平臺中，AXI-Lite 接口與 AXI-Lite Complexes對接，因此可以直接編寫測試用例來對寄存器功能進行仿真
發(fā)表于 02-09 10:26
UPS不間斷電源 ：如何為設備選擇合適的 UPS 電源？
型的UPS電源在工作原理、性能特點、適用場景上差異顯著，結合設備特性、用電需求與使用環(huán)境選擇適配的UPS類型，是發(fā)揮其穩(wěn)壓、續(xù)航、抗干擾作用的關鍵。優(yōu)比施深耕電源領域多
直供微電網(wǎng)設計中，設備選型的基本原則是什么？
直供微電網(wǎng)作為分布式能源高效消納、本地負荷精準供電的核心載體，其設備選型直接決定電網(wǎng)運行的安全性、穩(wěn)定性、經(jīng)濟性與高效性。不同于傳統(tǒng)大電網(wǎng)的設備配置邏輯，直供微電網(wǎng)具有“源荷就近匹配、電壓等級多元
UPS不間斷電源-怎么為您的精密設備選擇合適的UPS電源類型？
守護電力安全的“隱形衛(wèi)士”。然而，面對市場上多種UPS類型，如何為你的設備選擇最匹配的一款？本文將帶你理清思路，做出明智選擇。一、了解三大UPS類型：工作原理與特點
新購設備選不對？AI 選型系統(tǒng)算 20 年成本，不花冤枉錢
設備選型不是 “一錘子買賣”，而是關乎 20 年經(jīng)營效益的長期決策。與其靠經(jīng)驗賭運氣，不如用數(shù)據(jù)算清賬本 —— 智能選型系統(tǒng)的價值，正是讓每一分投入都花在刀刃上，既不盲目追求高價設備，也不被低價陷阱拖累。
選擇加密算法時需考慮哪些因素？
芯源半導體安全芯片的硬件加密引擎支持多種國際通用加密算法，在實際為物聯(lián)網(wǎng)設備選擇加密算法時，需考慮哪些因素？
發(fā)表于 11-17 07:43
如何驗證電能質(zhì)量在線監(jiān)測裝置支持的通信協(xié)議是否適用于特定設備？
驗證電能質(zhì)量在線監(jiān)測裝置（以下簡稱 “裝置”）的通信協(xié)議是否適用于特定設備，核心是“先核靜態(tài)信息→再做模擬測試→最后現(xiàn)場聯(lián)調(diào)”，從 “協(xié)議匹配性、參數(shù)兼容性、數(shù)據(jù)完整性” 三層驗證，確
西格電力直供微電網(wǎng)設計③：短路電流計算與設備選型實例
在直供微電網(wǎng)設計中，短路電流計算與設備選型是決定系統(tǒng) “安全運行” 與 “成本可控” 的關鍵環(huán)節(jié) 。本文結合某 10kV 園區(qū)直供微電網(wǎng)實例，從理論建模、實例計算、設備選型到工程落地避坑，完整拆解實操路徑。
e203 DDR擴展功能驗證
0xA000_000~0xAFFF_FFFF進行讀寫數(shù)據(jù)的功能驗證。（實現(xiàn)功能比較簡單，對代碼部分不再過多闡述，核心代碼如表三十三所示）
int main(void){int star
發(fā)表于 10-21 09:24
看不見的安全防線：信而泰儀表如何驗證零信任有效性
——從靜態(tài)防御轉(zhuǎn)向動態(tài)信任評估，從粗放權限分配轉(zhuǎn)向最小化權限原則。本文將深入解析零信任安全架構的核心機理，并基于零信任實現(xiàn)方案，全面介紹如何通過信而泰測試儀表進行專業(yè)驗證，確保零信任的安全可靠。
零信任
發(fā)表于 09-09 15:33
電池保護板測試系統(tǒng)的功能驗證
電池保護板測試設備是用于驗證電池保護板功能性能的專用檢測系統(tǒng)。電池保護板是鋰電池組的重要組成部分，負責監(jiān)控電池狀態(tài)、實施充放電保護、平衡電池電壓等功能。測試
編譯器功能安全驗證的關鍵要素
在汽車、工業(yè)、醫(yī)療等安全關鍵型應用中，確保功能安全合規(guī)性需要嚴格的工具鏈驗證。開發(fā)安全關鍵型軟件的企業(yè)必須遵守ISO 26262、IEC 61508、ISO 62304等國際標準對編譯器工具鏈進行全面的
選擇局部放電監(jiān)測設備的注意事項
局部放電監(jiān)測設備選擇關系到這項工作的效果呈現(xiàn)，同時也是電力系統(tǒng)安全運行的重要環(huán)節(jié)。因此在設備的選擇上需要參考核心標準，如技術參數(shù)與性能指標、功能需求與場景匹配、環(huán)境適應性與可靠性等，此
如何為電子設備選擇高性價比的散熱解決方案？
/(m·K)以下硅脂，而高密度芯片（如GPU）需5 W/(m·K)以上復合材料。 2. 關注環(huán)境適配性 戶外設備優(yōu)先選擇耐UV、抗老化的無硅油墊片；柔性屏設備需石墨烯或彈性硅膠材料。 3. 優(yōu)化工藝成本
發(fā)表于 03-28 15:24
工商網(wǎng)監(jiān)
評論