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