伴芯科技CEO 朱允山博士荣获EDA领域顶尖奖项

伴芯科技CEO朱允山博士，EDA领域专家及连续创业者，在硅谷举行的国际设计自动化会议（DAC）上荣获首届最具影响力论文奖。朱博士所著论文《Symbolic Model Checking Using SAT Procedures Instead of BDDs》，因其在EDA领域的长期重要贡献，获得了DAC会议60余年历史上最高荣誉。朱博士表示：“能够与Biere、Cimatti、Clarke和Fujita教授们共同合作，创造出对EDA行业有深远影响的技术，令我倍感荣幸。”

DAC会议是全球EDA行业的顶级盛会，专注于芯片设计过程中所必需的工业软件。组织者们为了庆祝DAC会议创办60周年，首次设立该奖项，用以表彰该会议历史上最具影响力的研究成果。朱博士的获奖论文开创了Bounded Model Checking (BMC)领域，被引用上千次，其核心算法已广泛应用于芯片设计流程之中。

朱博士本科就读于中国科大少年班，并在美国北卡大学获得计算机科学博士学位。在卡内基梅隆大学担任Clarke教授的博士后研究员期间，发明了本篇论文的算法。朱博士的技术创新并未止步于此，作为联合创始人及CEO，他创办了EDA公司NextOp。NextOp开创了断言综合（Assertion Synthesis）领域，贯穿行业的核心技术，改变了数字芯片验证方法，已在包括苹果、英特尔、AMD和英伟达在内诸多顶尖芯片设计公司应用。

基于NextOp的成功创业经验，朱博士与几位联合创始人回国创立了上海伴芯科技有限公司(IC Bench)。伴芯正致力于为半导体芯片设计注入创新活力，带来引领行业的产品。“相较于我之前在EDA和芯片设计方面的工作成果，伴芯将为行业带来更大的创新。”朱博士说，“非常感谢各位投资者和同事们认可伴芯的愿景，也诚邀更多优秀工程师的加入！