zpwsmile朗訊設備選擇HDAC進行靜態功能驗證
朗訊設備選擇HDAC進行靜態功能驗證
加利福尼亞州桑尼維爾 -HDAC公司，RTL設計高級驗證技術供應商，今天宣布朗訊科技有限公司遠程訪問組已將HDAC的靜態功能驗證工具Solidify添加到其基于Verilog的設計環境中。
“我們正在使用Solidify的新靜態方法來減少我們驗證塊的時間，”Lucent Technologies位于加利福尼亞州阿拉米達的硬件工程總監Steve Shaffer表示。“Solidify是我們整體的一部分VLSI驗證程序可以在更短的時間內用更少的精力檢查拐角情況并發現難題。“
HDAC總裁兼首席執行官Ramin Hojati說：“項目經理報告說，他們50％到70％的員工時間用于功能驗證，問題的發展速度比設計復雜性快得多在集成之前確保塊是干凈和堅固的，確保芯片級測試能夠找到更少的錯誤.Solidify可以實現這一點，因為它通常可以在幾秒鐘內分析相當于天文數量的向量。我們很高興能與朗訊科技遠程訪問小組提供我們的新驗證技術。“
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規問題，請聯系本站處理。
舉報投訴
-
華強pcb線路板打樣
+關注
關注
5文章
14629瀏覽量
43769
發布評論請先 登錄
相關推薦
熱點推薦
選擇局部放電監測設備的注意事項
局部放電監測設備選擇關系到這項工作的效果呈現，同時也是電力系統安全運行的重要環節。因此在設備的選擇上需要參考核心標準，如技術參數與性能指標、功能需求與場景匹配、環境適應性與可靠性等，此
如何為電子設備選擇高性價比的散熱解決方案？
/(m·K)以下硅脂，而高密度芯片（如GPU）需5 W/(m·K)以上復合材料。 2. 關注環境適配性 戶外設備優先選擇耐UV、抗老化的無硅油墊片；柔性屏設備需石墨烯或彈性硅膠材料。 3. 優化工藝成本
發表于 03-28 15:24
如何為物聯網設備選擇和應用天線
作者：Steven Keeping 投稿人：DigiKey 北美編輯 物聯網 (IoT) 設備的激增不斷加速和激發創新型終端產品的設計。但是，設計人員必須牢記，無論在硬件和軟件上投入多少創意和精力
利用西門子EDA工具進行SafeSPI功能安全驗證
滿足汽車安全完整性等級（ASIL）C的要求是一項艱巨的任務，需要在設計中實現低容錯率。對SafeSPI進行功能安全驗證可以提升設計的“安全性”并符合基于ISO-26262的功能安全（F
如何選擇合適的LIBS設備進行科研？
激光誘導擊穿光譜（LIBS）技術是一種快速、原位、多元素分析的工具，廣泛應用于材料科學、環境監測、地質研究等領域。選擇合適的LIBS設備對于科研工作的成功至關重要。本文將探討在科研中如何選擇適合
英諾達發布全新靜態驗證產品，提升芯片設計效率
了重要一步，將為中國芯片產業的發展注入新的活力。 靜態驗證作為一種業界普遍使用的驗證方法，通過對設計的源代碼進行深入分析，能夠發現設計中的潛在問題。與動態仿真
如何正確選擇醫療測試設備？
選擇醫療測試設備需理解測試規范，考慮被測設備標準，評估替代方案。實施風險管理，遵循ISO標準，確保醫療設備質量和患者安全。購買時考慮準確性、功能
利用靜態檢查工具完善功能安全中測試覆蓋率
在功能安全中測試覆蓋率是比較重要的概念，也是在驗證過程中通常需要花費時間較多的步驟，如果能借助于靜態檢查工具的死邏輯查找和聲明、測試用例自動補全等功能往往能取得事半功倍的效果。
Lint靜態驗證工具如何助力IC設計
的靜態驗證方法實現了將原本在仿真、綜合、布局布線階段出現的問題移動到RTL階段進行檢測和分析，幫助IC設計者在早期發現和診斷設計缺陷，縮短芯片整體開發周期，降低成本。
全面解析磚式電源測試：設備選擇與電源檢測系統功能探討
測試設備和ate檢測系統是完成磚式電源模塊檢測的重要組成部分，要正確選擇測試儀器型號，精準完成電源測試。NSAT-8000電源測試系統適用于各類AC/DC、DC/DC電源模塊測試，想了解具體的測試解決方案，前往納米軟件官網查看詳細內容。
DM平臺管理設備如何進行固件升級？
1）查看IR路由器原始固件版本以及序列號，可以看到版本為為1.0.0.r11700。
2）IR設備配置設備遠程管理，選擇管理》設備遠程管理平臺，進
發表于 07-25 06:22
CY7C65211在linux設備下進行測試，提示等待設備EEPOM超時如何解決？
：打印設備列表
2：更改設備選擇--所選設備：[設備編號 0]：[接口編號 0]：SPI
3：輸入 I2C/SPI 閃存頁地址和要寫入/讀取的長度。
4：
發表于 07-05 06:08
VScode目標設備選擇esp32-s3時報錯的原因？
使用VS code編輯和編譯esp32-s3，目標設備選擇esp32-s3時報錯，報錯信息如附件圖一
目標設備選擇esp32-s3時報錯信息
：
使用esp32-s2時編譯和下載運行都沒問題。編譯
發表于 06-19 06:45
工商網監
評論