2021年5月14日,第十一届松山湖中国 IC 创新高峰论坛在东莞松山湖凯悦酒店成功举办。该论坛已成功举办十届,每年都会都会带来8-10款国产芯片,共计推介54家公司。从2012年至2020年共推介芯片79款,量产72款,总量产率达到91%。在推介公司中共11家成功上市,28家获得融资,3家正在上市进程中,6家获得大基金投资,4家被并购。 ...
自动化应用程序对于成功执行形式验证流程来说至关重要。形式验证应用程序可以自动执行常见的验证任务,并且显著简化其验证过程,为传统的形式验证技术提供了有力补充,有助于形式验证流程的普及化。收购OneSpin Solutions,将为西门子带来更强大的 IC 完整性验证解决方案和技术知识,以及广泛的自动化形式验证应用组合…… ...