zpwsmile朗訊設(shè)備選擇HDAC進(jìn)行靜態(tài)功能驗(yàn)證
朗訊設(shè)備選擇HDAC進(jìn)行靜態(tài)功能驗(yàn)證
加利福尼亞州桑尼維爾 -HDAC公司，RTL設(shè)計(jì)高級驗(yàn)證技術(shù)供應(yīng)商，今天宣布朗訊科技有限公司遠(yuǎn)程訪問組已將HDAC的靜態(tài)功能驗(yàn)證工具Solidify添加到其基于Verilog的設(shè)計(jì)環(huán)境中。
“我們正在使用Solidify的新靜態(tài)方法來減少我們驗(yàn)證塊的時(shí)間，”Lucent Technologies位于加利福尼亞州阿拉米達(dá)的硬件工程總監(jiān)Steve Shaffer表示?！癝olidify是我們整體的一部分VLSI驗(yàn)證程序可以在更短的時(shí)間內(nèi)用更少的精力檢查拐角情況并發(fā)現(xiàn)難題?！?/p>
HDAC總裁兼首席執(zhí)行官Ramin Hojati說：“項(xiàng)目經(jīng)理報(bào)告說，他們50％到70％的員工時(shí)間用于功能驗(yàn)證，問題的發(fā)展速度比設(shè)計(jì)復(fù)雜性快得多在集成之前確保塊是干凈和堅(jiān)固的，確保芯片級測試能夠找到更少的錯(cuò)誤.Solidify可以實(shí)現(xiàn)這一點(diǎn)，因?yàn)樗ǔ？梢栽趲酌腌妰?nèi)分析相當(dāng)于天文數(shù)量的向量。我們很高興能與朗訊科技遠(yuǎn)程訪問小組提供我們的新驗(yàn)證技術(shù)。“
聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報(bào)投訴
-
華強(qiáng)pcb線路板打樣
+關(guān)注
關(guān)注
5文章
14629瀏覽量
43910
發(fā)布評論請先 登錄
相關(guān)推薦
熱點(diǎn)推薦
編譯器功能安全驗(yàn)證的關(guān)鍵要素
在汽車、工業(yè)、醫(yī)療等安全關(guān)鍵型應(yīng)用中，確保功能安全合規(guī)性需要嚴(yán)格的工具鏈驗(yàn)證。開發(fā)安全關(guān)鍵型軟件的企業(yè)必須遵守ISO 26262、IEC 61508、ISO 62304等國際標(biāo)準(zhǔn)對編譯器工具鏈進(jìn)行全面的
選擇局部放電監(jiān)測設(shè)備的注意事項(xiàng)
局部放電監(jiān)測設(shè)備選擇關(guān)系到這項(xiàng)工作的效果呈現(xiàn)，同時(shí)也是電力系統(tǒng)安全運(yùn)行的重要環(huán)節(jié)。因此在設(shè)備的選擇上需要參考核心標(biāo)準(zhǔn)，如技術(shù)參數(shù)與性能指標(biāo)、功能需求與場景匹配、環(huán)境適應(yīng)性與可靠性等，此
如何為電子設(shè)備選擇高性價(jià)比的散熱解決方案？
/(m·K)以下硅脂，而高密度芯片（如GPU）需5 W/(m·K)以上復(fù)合材料。 2. 關(guān)注環(huán)境適配性 戶外設(shè)備優(yōu)先選擇耐UV、抗老化的無硅油墊片；柔性屏設(shè)備需石墨烯或彈性硅膠材料。 3. 優(yōu)化工藝成本
發(fā)表于 03-28 15:24
如何為物聯(lián)網(wǎng)設(shè)備選擇和應(yīng)用天線
作者：Steven Keeping 投稿人：DigiKey 北美編輯 物聯(lián)網(wǎng) (IoT) 設(shè)備的激增不斷加速和激發(fā)創(chuàng)新型終端產(chǎn)品的設(shè)計(jì)。但是，設(shè)計(jì)人員必須牢記，無論在硬件和軟件上投入多少創(chuàng)意和精力
利用西門子EDA工具進(jìn)行SafeSPI功能安全驗(yàn)證
滿足汽車安全完整性等級（ASIL）C的要求是一項(xiàng)艱巨的任務(wù)，需要在設(shè)計(jì)中實(shí)現(xiàn)低容錯(cuò)率。對SafeSPI進(jìn)行功能安全驗(yàn)證可以提升設(shè)計(jì)的“安全性”并符合基于ISO-26262的功能安全（F
如何選擇合適的LIBS設(shè)備進(jìn)行科研？
激光誘導(dǎo)擊穿光譜（LIBS）技術(shù)是一種快速、原位、多元素分析的工具，廣泛應(yīng)用于材料科學(xué)、環(huán)境監(jiān)測、地質(zhì)研究等領(lǐng)域。選擇合適的LIBS設(shè)備對于科研工作的成功至關(guān)重要。本文將探討在科研中如何選擇適合
Dali通信模塊的選擇與配置
DALI（數(shù)字可尋址照明接口）通信模塊的選擇與配置涉及多個(gè)方面，包括網(wǎng)絡(luò)架構(gòu)、設(shè)備選擇、布線要求以及功能實(shí)現(xiàn)等。以下是對DALI通信模塊選擇與配置的介紹： 一、DALI通信模塊的
英諾達(dá)發(fā)布全新靜態(tài)驗(yàn)證產(chǎn)品，提升芯片設(shè)計(jì)效率
了重要一步，將為中國芯片產(chǎn)業(yè)的發(fā)展注入新的活力。 靜態(tài)驗(yàn)證作為一種業(yè)界普遍使用的驗(yàn)證方法，通過對設(shè)計(jì)的源代碼進(jìn)行深入分析，能夠發(fā)現(xiàn)設(shè)計(jì)中的潛在問題。與動(dòng)態(tài)仿真
如何選擇和配置海外靜態(tài)IP，提升網(wǎng)絡(luò)性能
選擇和配置海外靜態(tài)IP以提升網(wǎng)絡(luò)性能是一個(gè)涉及多方面因素的過程。
如何正確選擇醫(yī)療測試設(shè)備？
選擇醫(yī)療測試設(shè)備需理解測試規(guī)范，考慮被測設(shè)備標(biāo)準(zhǔn)，評估替代方案。實(shí)施風(fēng)險(xiǎn)管理，遵循ISO標(biāo)準(zhǔn)，確保醫(yī)療設(shè)備質(zhì)量和患者安全。購買時(shí)考慮準(zhǔn)確性、功能
設(shè)計(jì)備選電流感測放大器
電子發(fā)燒友網(wǎng)站提供《設(shè)計(jì)備選電流感測放大器.pdf》資料免費(fèi)下載
發(fā)表于 09-23 11:23
?0次下載
利用靜態(tài)檢查工具完善功能安全中測試覆蓋率
在功能安全中測試覆蓋率是比較重要的概念，也是在驗(yàn)證過程中通常需要花費(fèi)時(shí)間較多的步驟，如果能借助于靜態(tài)檢查工具的死邏輯查找和聲明、測試用例自動(dòng)補(bǔ)全等功能往往能取得事半功倍的效果。
Lint靜態(tài)驗(yàn)證工具如何助力IC設(shè)計(jì)
的靜態(tài)驗(yàn)證方法實(shí)現(xiàn)了將原本在仿真、綜合、布局布線階段出現(xiàn)的問題移動(dòng)到RTL階段進(jìn)行檢測和分析，幫助IC設(shè)計(jì)者在早期發(fā)現(xiàn)和診斷設(shè)計(jì)缺陷，縮短芯片整體開發(fā)周期，降低成本。
全面解析磚式電源測試：設(shè)備選擇與電源檢測系統(tǒng)功能探討
測試設(shè)備和ate檢測系統(tǒng)是完成磚式電源模塊檢測的重要組成部分，要正確選擇測試儀器型號，精準(zhǔn)完成電源測試。NSAT-8000電源測試系統(tǒng)適用于各類AC/DC、DC/DC電源模塊測試，想了解具體的測試解決方案，前往納米軟件官網(wǎng)查看詳細(xì)內(nèi)容。
DM平臺管理設(shè)備如何進(jìn)行固件升級？
1）查看IR路由器原始固件版本以及序列號，可以看到版本為為1.0.0.r11700。
2）IR設(shè)備配置設(shè)備遠(yuǎn)程管理，選擇管理》設(shè)備遠(yuǎn)程管理平臺，進(jìn)
發(fā)表于 07-25 06:22
工商網(wǎng)監(jiān)
評論