英諾達(dá)(成都)電子科技有限公司近日正式推出了兩款全新的靜態(tài)驗(yàn)證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產(chǎn)品的發(fā)布，標(biāo)志著英諾達(dá)在芯片設(shè)計(jì)工具領(lǐng)域邁出了重要一步，將為中國芯片產(chǎn)業(yè)的發(fā)展注入新的活力。

靜態(tài)驗(yàn)證作為一種業(yè)界普遍使用的驗(yàn)證方法，通過對(duì)設(shè)計(jì)的源代碼進(jìn)行深入分析，能夠發(fā)現(xiàn)設(shè)計(jì)中的潛在問題。與動(dòng)態(tài)仿真驗(yàn)證和形式化驗(yàn)證相結(jié)合，靜態(tài)驗(yàn)證可以顯著提高驗(yàn)證的覆蓋率，幫助設(shè)計(jì)師在設(shè)計(jì)開發(fā)的早期階段快速發(fā)現(xiàn)和診斷設(shè)計(jì)缺陷，從而有效縮短設(shè)計(jì)驗(yàn)證所需的時(shí)間，提升芯片設(shè)計(jì)的整體效率。

EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具正是基于這一理念而開發(fā)的。它們不僅能夠?yàn)樵O(shè)計(jì)師提供更加全面、準(zhǔn)確的驗(yàn)證結(jié)果，還能夠與英諾達(dá)現(xiàn)有的靜態(tài)驗(yàn)證和分析EDA工具形成互補(bǔ)，共同構(gòu)成一個(gè)完整的驗(yàn)證體系，為芯片設(shè)計(jì)提供全方位的支持。

此次兩款新品的發(fā)布，進(jìn)一步豐富了英諾達(dá)的產(chǎn)品線，也展示了英諾達(dá)在芯片設(shè)計(jì)工具領(lǐng)域的創(chuàng)新能力和技術(shù)實(shí)力。未來，英諾達(dá)將繼續(xù)致力于為中國芯片產(chǎn)業(yè)的發(fā)展貢獻(xiàn)更多的優(yōu)質(zhì)產(chǎn)品和服務(wù)。