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