伴芯科技CEO 朱允山博士榮獲EDA領(lǐng)域頂尖獎(jiǎng)項(xiàng)

伴芯科技CEO朱允山博士，EDA領(lǐng)域?qū)＜壹斑B續(xù)創(chuàng)業(yè)者，在硅谷舉行的國際設(shè)計(jì)自動(dòng)化會(huì)議（DAC）上榮獲首屆最具影響力論文獎(jiǎng)。朱博士所著論文《Symbolic Model Checking Using SAT Procedures Instead of BDDs》，因其在EDA領(lǐng)域的長期重要貢獻(xiàn)，獲得了DAC會(huì)議60余年歷史上最高榮譽(yù)。朱博士表示：“能夠與Biere、Cimatti、Clarke和Fujita教授們共同合作，創(chuàng)造出對(duì)EDA行業(yè)有深遠(yuǎn)影響的技術(shù)，令我倍感榮幸?！?/p>

DAC會(huì)議是全球EDA行業(yè)的頂級(jí)盛會(huì)，專注于芯片設(shè)計(jì)過程中所必需的工業(yè)軟件。組織者們?yōu)榱藨c祝DAC會(huì)議創(chuàng)辦60周年，首次設(shè)立該獎(jiǎng)項(xiàng)，用以表彰該會(huì)議歷史上最具影響力的研究成果。朱博士的獲獎(jiǎng)?wù)撐拈_創(chuàng)了Bounded Model Checking (BMC)領(lǐng)域，被引用上千次，其核心算法已廣泛應(yīng)用于芯片設(shè)計(jì)流程之中。

朱博士本科就讀于中國科大少年班，并在美國北卡大學(xué)獲得計(jì)算機(jī)科學(xué)博士學(xué)位。在卡內(nèi)基梅隆大學(xué)擔(dān)任Clarke教授的博士后研究員期間，發(fā)明了本篇論文的算法。朱博士的技術(shù)創(chuàng)新并未止步于此，作為聯(lián)合創(chuàng)始人及CEO，他創(chuàng)辦了EDA公司NextOp。NextOp開創(chuàng)了斷言綜合（Assertion Synthesis）領(lǐng)域，貫穿行業(yè)的核心技術(shù)，改變了數(shù)字芯片驗(yàn)證方法，已在包括蘋果、英特爾、AMD和英偉達(dá)在內(nèi)諸多頂尖芯片設(shè)計(jì)公司應(yīng)用。

基于NextOp的成功創(chuàng)業(yè)經(jīng)驗(yàn)，朱博士與幾位聯(lián)合創(chuàng)始人回國創(chuàng)立了上海伴芯科技有限公司(IC Bench)。伴芯正致力于為半導(dǎo)體芯片設(shè)計(jì)注入創(chuàng)新活力，帶來引領(lǐng)行業(yè)的產(chǎn)品?！跋噍^于我之前在EDA和芯片設(shè)計(jì)方面的工作成果，伴芯將為行業(yè)帶來更大的創(chuàng)新。”朱博士說，“非常感謝各位投資者和同事們認(rèn)可伴芯的愿景，也誠邀更多優(yōu)秀工程師的加入！