4月9日和4月11日,西门子EDA的Questa™ OneSpin® Static & Formal 技术大会分别在西安高新区喜来登酒店和成都首座万丽酒店成功举办,众多西门子的技术先锋和行业专家齐聚一堂,就如何利用Questa™ OneSpin® Static & Formal(QOSF)工具提高验证效率,实现全面的形式化验证,分享了深入的观点和专业知识,同时在会上阐述了对于形式验证技术演进的愿景。
西门子EDA是全球三大电子设计自动化EDA公司之一,提供全面的EDA 软件、硬件和服务组合,持续推动IC行业实现创新。
西门子EDA前身为明导国际(Mentor Graphics),创立于1981年,是率先进入中国市场的EDA企业。2017年,西门子收购 Mentor Graphics,将其并入西门子数字化工业软件部门,并更名为西门子EDA,自此,西门子EDA在数字化浪潮下开启了一个崭新的篇章。
作为西门子数字化工业软件的重要组成部分,西门子EDA可提供覆盖IC设计、验证与制造、 IC 封装设计与验证、电子系统设计与制造的设计软件及服务,帮助各规模企业应对芯片设计的复杂性,加快人工智能、5G网络、自动驾驶与新能源、智能互联等产品的创新与落地,在数字化时代开创先机。
进入中国市场以来,西门子EDA一直致力于联合中国产学研各方,持续推动中国IC行业人才培养,并为中国半导体产业的高质量发展贡献力量。
形式化验证历经几十年的发展,如今已经成为sign-off验证的必备工具,在ASIC和FPGA领域的应用也实现了迅速扩张。形式化验证一直是西门子EDA长期深耕的技术领域,在此次技术大会上,嘉宾针对行业挑战、技术创新、形式化验证的作用与应用、形式化安全验证等主题向现场观众进行了详尽地解读,并分享了具体案例,为形式化验证价值的进一步发挥提供了新的思考方向。
早在2023年,西门子EDA即推出了Questa Verification IQ数据驱动型软件,能够统一来自不同环境的形式验证和仿真引擎的覆盖率数据,包括:西门子的 Questa 平台、Questa™ OneSpin® Static & Formal软件、用于模拟和混合信号仿真的 Symphony™ 平台,以及用于硬件仿真加速和原型验证的西门子 Veloce™。Questa Verification IQ 中的机器学习功能会随即分析数据,预测时序特征和漏洞,识别根本原因,并提供潜在问题的解决方案,进而帮助团队提高效率,向其提供必要信息,以充满信心地进行 sign-off。