关于开展新思科技验证技术研讨会的通知

　　下一代形式验证技术将如何影响形式验证方法学的应用和部署？有哪些技术创新可以最大限度地激发形式验证方法学的潜能？如果您想探知这些问题的答案，探索形式验证领域的前沿，那么，新思科技诚邀您参加我们的下一代形式验证技术研讨会。本次研讨会将展示新思科技的下一代形式验证技术。这些新技术一方面可以将形式验证的应用变得更加广泛和简便，从而让新用户可以加速落地应用；另一方面也赋予形式验证更强大的功能和更卓越的性能，从而帮助资深用户解决面临的棘手难题和挑战。同时，本次研讨会还将分享全球范围内我们客户的成功案例。

　　通过参加本次研讨会您将会了解新思科技在形式验证上的最新进展和创新，借鉴全球成功案例，应用于您的项目任务，并和形式验证领域内的专家及同行开展交流。

　　培训费用：公益培训，免费

　　培训时间：2024年6月28日 13:00-17:30

　　主办单位：国家集成电路设计深圳产业化基地&新思科技

　　培训地址：南山区科技中二路软件园四栋六楼615室

　　培训讲师：Sean Safarpour, Synopsys VC Formal R&D Executive Director, Ph.D. 、Jin Zhang, Synopsys VC Formal Sr. Director of Product Management, Ph.D.

　　联系人：冯甜  手机/微信: 17692416764

　　具体培训内容与安排如下：

　　本次公开课培训名额限40人，额满即止，先到先得。请有意参加培训者于6月17日前扫描下方二维码报名。报名信息经审核后将以电话方式回复确认，一经确认，不得无故缺席。

（报名二维码）