形式化验证技术领域正在经历空前发展,其在ASIC和FPGA领域的应用也迅速扩张。本次会议汇聚了来自Questa OneSpin Formal(QOSF)总部的技术专家们,他们将就如何利用QOSF工具提供宝贵的观点和专业知识。主题涵盖以下方面:如何应对RISC-V定制的复杂性,通过Questa FPU提高验证AI calculus的效率,以及实现全面的形式化验证覆盖。
此外,本活动还将重点介绍QOSF的最新进展和新用途。QOSF产品经理和QOSF AE全球技术领导者等西门子EDA的核心人物也将分享他们对形式验证技术演进的战略愿景。