低功耗靜態(tài)驗(yàn)證工具EnFortius?凝鋒?：支持UPF3.1的超大規(guī)模設(shè)計(jì)漏洞定位

在當(dāng)今集成電路設(shè)計(jì)領(lǐng)域，低功耗設(shè)計(jì)已成為關(guān)鍵需求，特別是在移動(dòng)設(shè)備、物聯(lián)網(wǎng)設(shè)備等對(duì)功耗敏感的應(yīng)用中。然而，隨著芯片設(shè)計(jì)規(guī)模的不斷擴(kuò)大和復(fù)雜度的增加，低功耗設(shè)計(jì)中的漏洞定位變得愈發(fā)困難。EnFortius?凝鋒?低功耗靜態(tài)驗(yàn)證工具應(yīng)運(yùn)而生，其支持UPF3.1標(biāo)準(zhǔn)，為超大規(guī)模設(shè)計(jì)中的低功耗漏洞定位提供了強(qiáng)大的解決方案。