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表示。“Solidify是我們整體的一部分VLSI驗證程序可以在更短的時間內用更少的精力檢查拐角情況并發(fā)現(xiàn)難題?！?/p>
HDAC總裁兼首席執(zhí)行官Ramin Hojati說：“項目經(jīng)理報告說，他們50％到70％的員工時間用于功能驗證，問題的發(fā)展速度比設計復雜性快得多在集成之前確保塊是干凈和堅固的，確保芯片級測試能夠找到更少的錯誤.Solidify可以實現(xiàn)這一點，因為它通?？梢栽趲酌腌妰确治鱿喈斢谔煳臄?shù)量的向量。我們很高興能與朗訊科技遠程訪問小組提供我們的新驗證技術?！?/p>
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報投訴
-
華強pcb線路板打樣
+關注
關注
5文章
14629瀏覽量
42947
發(fā)布評論請先 登錄
相關推薦
如何選擇和配置海外靜態(tài)IP，提升網(wǎng)絡性能
選擇和配置海外靜態(tài)IP以提升網(wǎng)絡性能是一個涉及多方面因素的過程。
利用靜態(tài)檢查工具完善功能安全中測試覆蓋率
在功能安全中測試覆蓋率是比較重要的概念，也是在驗證過程中通常需要花費時間較多的步驟，如果能借助于靜態(tài)檢查工具的死邏輯查找和聲明、測試用例自動補全等功能往往能取得事半功倍的效果。
Lint靜態(tài)驗證工具如何助力IC設計
的靜態(tài)驗證方法實現(xiàn)了將原本在仿真、綜合、布局布線階段出現(xiàn)的問題移動到RTL階段進行檢測和分析，幫助IC設計者在早期發(fā)現(xiàn)和診斷設計缺陷，縮短芯片整體開發(fā)周期，降低成本。
全面解析磚式電源測試：設備選擇與電源檢測系統(tǒng)功能探討
測試設備和ate檢測系統(tǒng)是完成磚式電源模塊檢測的重要組成部分，要正確選擇測試儀器型號，精準完成電源測試。NSAT-8000電源測試系統(tǒng)適用于各類AC/DC、DC/DC電源模塊測試，想了解具體的測試解決方案，前往納米軟件官網(wǎng)查看詳細內容。
DM平臺管理設備如何進行固件升級？
1）查看IR路由器原始固件版本以及序列號，可以看到版本為為1.0.0.r11700。
2）IR設備配置設備遠程管理，選擇管理》設備遠程管理平臺，進
發(fā)表于 07-25 06:22
CY7C65211在linux設備下進行測試，提示等待設備EEPOM超時如何解決？
：打印設備列表
2：更改設備選擇--所選設備：[設備編號 0]：[接口編號 0]：SPI
3：輸入 I2C/SPI 閃存頁地址和要寫入/讀取的長度。
4：
發(fā)表于 07-05 06:08
VScode目標設備選擇esp32-s3時報錯的原因？
使用VS code編輯和編譯esp32-s3，目標設備選擇esp32-s3時報錯，報錯信息如附件圖一
目標設備選擇esp32-s3時報錯信息
：
使用esp32-s2時編譯和下載運行都沒問題。編譯
發(fā)表于 06-19 06:45
工業(yè)控制設備安裝與調試規(guī)范
設備安裝過程 設備調試過程 設備驗收與交付使用 設備維護與保養(yǎng) 設備選型與采購 在工業(yè)控制設備選
系統(tǒng)配置清單和設備選型（輸電線路分布式故障定位監(jiān)測裝置）
的“眼睛”和“耳朵”，能夠實時感知線路的狀態(tài)，捕捉異常信號。同時，我們還需要考慮輔助設備，如電源、安裝支架等，它們?yōu)楸O(jiān)測裝置提供穩(wěn)定的運行環(huán)境。而在設備選型方面，則是要根據(jù)輸電線路的特點和實際需求，選擇性能穩(wěn)定、
鴻蒙原生應用元服務實戰(zhàn)-發(fā)布時多設備選擇注意事項
運營人員溝通不充分的話，上架運營人員可能會選擇多設備發(fā)布，試一試，但是一但選擇了多設備發(fā)布，AGC沒法撤銷多設備發(fā)布，實際暫時上技術不支持多
發(fā)表于 02-21 10:22
請問哪些PSoC 4000設備支持I2C、SPI和UART？
哪些 PSoC 4 設備支持 I2C、SPI 和 UART？
使用 PSoC Creator 中的設備選擇器會顯示所有 PSoC 4000 設備都有通信塊。設備選擇器并未說明這些通信塊
發(fā)表于 01-31 07:31
無線網(wǎng)IP靜態(tài)好還是DHCP好
的選擇。 靜態(tài)IP地址： 靜態(tài)IP分配是手動分配給每個設備的固定IP地址。一旦設備被分配了一個IP地址，它將一直保持不變，無論它是否連接到網(wǎng)
如何為多設備選擇合適的電源適配器？
如何為多設備選擇合適的電源適配器？ 選擇合適的電源適配器對于多設備用戶非常重要。無論是智能手機、平板電腦、筆記本電腦還是其他電子設備，都需要適應不同的功率需求和插頭類型。在本文中，我將
工商網(wǎng)監(jiān)
評論