在人工智能不斷深度滲透到各應(yīng)用領(lǐng)域的當(dāng)下，芯片設(shè)計(jì)驗(yàn)證領(lǐng)域的前沿探索從未停歇。作為從芯片到系統(tǒng)設(shè)計(jì)解決方案的全球領(lǐng)導(dǎo)者，新思科技受邀出席全球芯片設(shè)計(jì)與驗(yàn)證大會DVCon China 2025，并通過主題演講、技術(shù)分享和技術(shù)展臺的方式，分享新思科技在AI驅(qū)動的驗(yàn)證技術(shù)創(chuàng)新、形式化驗(yàn)證加速低功耗設(shè)計(jì)、硬件加速驗(yàn)證創(chuàng)新領(lǐng)域的前沿技術(shù)，共同探索萬物智能時代如何加速軟件開發(fā)和系統(tǒng)驗(yàn)證。

活動信息

時間：2025年4月16日

地點(diǎn)：上海淳大萬麗酒店

新思科技展位：Booth #102

主題演講

AI驅(qū)動，重構(gòu)芯片驗(yàn)證范式

4月16日上午，新思科技全球副總裁李新基將在DVCon China 2025主論壇上發(fā)表主題演講，以“AI驅(qū)動的芯片驗(yàn)證未來”為主題，系統(tǒng)闡述AI如何重塑芯片設(shè)計(jì)驗(yàn)證流程和創(chuàng)新范式，通過AI與EDA的深度融合，為高度復(fù)雜的芯片設(shè)計(jì)提供智能化、高可靠性的驗(yàn)證解體系，引領(lǐng)下一代驗(yàn)證方法論革新。

主題演講

10:35

AI驅(qū)動的芯片驗(yàn)證未來

李新基

新思科技全球副總裁

技術(shù)研討

聚焦前沿，解鎖高效驗(yàn)證實(shí)踐

新思科技還將在技術(shù)研討會上帶來兩場干貨滿滿的分享，與更多開發(fā)者探討如何通過形式化驗(yàn)證加速低功耗設(shè)計(jì)，以及硬件加速驗(yàn)證解決方案如何協(xié)助開發(fā)者全面提升驗(yàn)證效率，加速產(chǎn)品上市時間，搶占市場先機(jī)。

技術(shù)分享1

13:15

利用形式化技術(shù)實(shí)現(xiàn)全面的低功耗驗(yàn)證

謝群芳

新思科技資深應(yīng)用工程師

技術(shù)分享2

14:30

新思科技EP-Ready硬件加速驗(yàn)證平臺

劉坤杰

新思科技應(yīng)用工程資深經(jīng)理

技術(shù)展臺

現(xiàn)場演示，展示全棧解決方案

DVCon China大會期間，新思科技將設(shè)立技術(shù)展臺，現(xiàn)場演示基于HAPS的EP-Ready硬件加速驗(yàn)證平臺、VC Formal形式化驗(yàn)證工具以及基于Synopsys.ai的端到端驗(yàn)證流程，通過智能汽車、高性能計(jì)算等領(lǐng)域的實(shí)際技術(shù)案例，直觀展現(xiàn)新思科技從芯片到系統(tǒng)設(shè)計(jì)和驗(yàn)證解決方案。

時間：2025年4月16日

地點(diǎn)：上海淳大萬麗酒店

新思科技展位：Booth #102

2025DVCon China大會，期待與您相約！