朗訊設備選擇HDAC進行靜態功能驗證
加利福尼亞州桑尼維爾 -HDAC公司,RTL設計高級驗證技術供應商,今天宣布朗訊科技有限公司遠程訪問組已將HDAC的靜態功能驗證工具Solidify添加到其基于Verilog的設計環境中。
“我們正在使用Solidify的新靜態方法來減少我們驗證塊的時間,”Lucent Technologies位于加利福尼亞州阿拉米達的硬件工程總監Steve Shaffer表示。“Solidify是我們整體的一部分VLSI驗證程序可以在更短的時間內用更少的精力檢查拐角情況并發現難題。“
HDAC總裁兼首席執行官Ramin Hojati說:“項目經理報告說,他們50%到70%的員工時間用于功能驗證,問題的發展速度比設計復雜性快得多在集成之前確保塊是干凈和堅固的,確保芯片級測試能夠找到更少的錯誤.Solidify可以實現這一點,因為它通常可以在幾秒鐘內分析相當于天文數量的向量。我們很高興能與朗訊科技遠程訪問小組提供我們的新驗證技術。“
聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。
舉報投訴
-
華強pcb線路板打樣
+關注
關注
5文章
14629瀏覽量
43032
發布評論請先 登錄
相關推薦
利用靜態檢查工具完善功能安全中測試覆蓋率
在功能安全中測試覆蓋率是比較重要的概念,也是在驗證過程中通常需要花費時間較多的步驟,如果能借助于靜態檢查工具的死邏輯查找和聲明、測試用例自動補全等功能往往能取得事半功倍的效果。
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
工控機設備選購指南
工控機(工業控制計算機)是工業自動化中不可或缺的核心設備之一。選擇合適的工控機對于確保生產線的穩定運行、提高效率及降低維護成本至關重要。創騰翔科技將為您提供全面的工控機選購知識,幫助您根據需求選擇最合適的
系統配置清單和設備選型(輸電線路分布式故障定位監測裝置)
的“眼睛”和“耳朵”,能夠實時感知線路的狀態,捕捉異常信號。同時,我們還需要考慮輔助設備,如電源、安裝支架等,它們為監測裝置提供穩定的運行環境。而在設備選型方面,則是要根據輸電線路的特點和實際需求,選擇性能穩定、
cycx3_uvc_ov5640如何添加Method 1支持的靜態圖像捕獲功能?
根據例程 cycx3_uvc_ov5640可以實現 Method 2拍照功能,我們的設備需要按鍵拍照功能,請問如何添加 Method 1 支持的靜態圖像捕獲
發表于 03-06 06:10
鴻蒙原生應用元服務實戰-發布時多設備選擇注意事項
運營人員溝通不充分的話,上架運營人員可能會選擇多設備發布,試一試,但是一但選擇了多設備發布,AGC沒法撤銷多設備發布,實際暫時上技術不支持多
發表于 02-21 10:22
請問哪些PSoC 4000設備支持I2C、SPI和UART?
哪些 PSoC 4 設備支持 I2C、SPI 和 UART?
使用 PSoC Creator 中的設備選擇器會顯示所有 PSoC 4000 設備都有通信塊。設備選擇器并未說明這些通信塊
發表于 01-31 07:31
評論