一種用于隨機(jī)約束仿真的SAT增強(qiáng)的字級求解器
首屆EDA國際研討會(International Symposium of EDA,ISEDA)已在南京落下帷幕。作為國內(nèi)領(lǐng)先的系統(tǒng)級驗(yàn)證EDA解決方案提供商,芯華章受邀出席并深度參與活動各環(huán)節(jié),不僅受邀參展、發(fā)表主題演講、參與圓桌論壇,并貢獻(xiàn)專業(yè)文章入圍ISEDA2023論文評選,全方位展示了公司在EDA驗(yàn)證領(lǐng)域的深厚積累和專業(yè)洞察。