英諾達(dá)自主研發(fā)的靜態(tài)驗(yàn)證系列產(chǎn)品EnAltius昂屹CDC（ECDC），近日正式上線了跨復(fù)位域（Reset Domain Crossing, RDC）檢查新功能，其靜態(tài)驗(yàn)證EDA工具鏈得以進(jìn)一步完善，為芯片設(shè)計(jì)團(tuán)隊(duì)提供更嚴(yán)謹(jǐn)、更高效的RTL簽核整體解決方案。

比異步時(shí)鐘更隱蔽的“芯片殺手”

與廣為人知的跨時(shí)鐘域（CDC）問題類似，RDC也是數(shù)字電路設(shè)計(jì)中最常見且至關(guān)重要的跨域問題，兩者都涉及到信號從一個(gè)異步域傳輸?shù)搅硪粋€(gè)異步域，如果處理不當(dāng)，可能導(dǎo)致亞穩(wěn)態(tài)、電路功能失效、數(shù)據(jù)損壞甚至芯片報(bào)廢。

不過，RDC風(fēng)險(xiǎn)的隱蔽性更強(qiáng)，傳統(tǒng)的靜態(tài)時(shí)序分析（STA）或常規(guī)功能仿真，很難捕捉到這些由于特定復(fù)位時(shí)序組合觸發(fā)的隨機(jī)錯(cuò)誤。一旦此類缺陷隨芯片回片，其診斷和修復(fù)成本將呈幾何倍數(shù)增長。因此，建立一套自動化的RDC專用簽核流程，已成為確保一次流片成功的關(guān)鍵。

ECDC：精準(zhǔn)、高效的CDC/RDC簽核方案

此次發(fā)布的RDC檢查功能，深度集成了英諾達(dá)專有的高精度邏輯檢測算法，旨在幫助工程師在設(shè)計(jì)早期快速定位并修復(fù)復(fù)位相關(guān)的設(shè)計(jì)隱患。其核心優(yōu)勢包括：

全方位識別風(fēng)險(xiǎn)：能夠精準(zhǔn)識別亞穩(wěn)態(tài)、毛刺傳播及再匯聚等典型RDC違例，確保復(fù)位路徑的完整性；

支持高達(dá)十億門SoC設(shè)計(jì)容量：高性能運(yùn)行確保大型設(shè)計(jì)快速迭代和RTL代碼簽核；

簡潔高效的報(bào)告系統(tǒng)：延續(xù)了靜態(tài)驗(yàn)證系列工具一貫的易用性，提供簡潔明了的違例報(bào)告，助力設(shè)計(jì)團(tuán)隊(duì)實(shí)現(xiàn)快速收斂；

無縫集成的驗(yàn)證流程：作為ECDC產(chǎn)品的延伸，RDC檢查可與現(xiàn)有驗(yàn)證環(huán)境無縫銜接，構(gòu)建起涵蓋時(shí)鐘與復(fù)位的完整跨域檢查體系。

持續(xù)創(chuàng)新，賦能本土芯片設(shè)計(jì)

自成立以來，英諾達(dá)始終堅(jiān)持以客戶需求為導(dǎo)向，致力于通過自研的EDA工具幫助客戶實(shí)現(xiàn)價(jià)值躍升。靜態(tài)驗(yàn)證系列產(chǎn)品從UPF，DFT，CDC，Lint到RDC檢查，英諾達(dá)正逐步構(gòu)建起覆蓋設(shè)計(jì)驗(yàn)證多個(gè)關(guān)鍵環(huán)節(jié)的產(chǎn)品矩陣。

“RDC檢查功能的發(fā)布，是英諾達(dá)在靜態(tài)驗(yàn)證領(lǐng)域持續(xù)深耕的又一里程碑?！庇⒅Z達(dá)EDA研發(fā)副總裁李英夢博士表示，“我們深知本土設(shè)計(jì)企業(yè)在面對超大規(guī)模SoC時(shí)的驗(yàn)證痛點(diǎn)。未來，英諾達(dá)將繼續(xù)秉承專業(yè)、嚴(yán)謹(jǐn)?shù)募夹g(shù)初心，不斷完善工具鏈，為中國半導(dǎo)體產(chǎn)業(yè)提供更具競爭力的EDA解決方案?！?/p>

欲了解更多產(chǎn)品詳情或申請?jiān)囉肊CDC工具，歡迎發(fā)送郵件至contact@ennocad.com

關(guān)于英諾達(dá)

英諾達(dá)（成都）電子科技有限公司是一家由行業(yè)資深人士創(chuàng)立的本土EDA企業(yè)，公司堅(jiān)持以客戶需求為導(dǎo)向，幫助客戶實(shí)現(xiàn)價(jià)值躍升，為中國半導(dǎo)體產(chǎn)業(yè)提供卓越的EDA解決方案。公司的長期目標(biāo)是通過EDA工具的研發(fā)和上云實(shí)踐，參與國產(chǎn)EDA完整工具鏈布局并探索適合中國國情的工業(yè)軟件上云的路徑與模式，賦能半導(dǎo)體產(chǎn)業(yè)高質(zhì)量發(fā)展。公司的主營業(yè)務(wù)包括：EDA軟件研發(fā)、IC設(shè)計(jì)云解決方案以及IC設(shè)計(jì)服務(wù)。