CHINA CLUB FORMAL

特邀闭门会

在冬意渐浓的季节，Cadence诚挚邀请您参加特邀闭门会 — CHINA CLUB FORMAL，让我们在寒意中点燃技术的热情，共同探索与展望形式验证与人工智能相融合的前沿技术与愿景。

本次闭门会将深入分享最新的形式验证最佳实践，Cadence Jasper专家团队成员将在会议上分享技术发展蓝图。通过深入的专题讲座和面向Jasper中高级技术用户的技术分享，本次线下面对面的研讨会为您带来巨大的价值，拓展您的验证专业知识，了解该领域的最新进展。

CHINA CLUB FORMAL将分别在北京、上海展开，您可自由选择就近城市参与其中，我们期待与您在现场相见！

会议日期及会议地址

• 北京站：2025年12月09日 周二 13:30-20:00

北京中关村皇冠假日酒店，北京市海淀区知春路106号

• 上海站：2025年12月11日 周四 13:30-20:00

上海张江科学城希尔顿酒店, 上海市浦东新区海科路1398号

^{*会议咨询： cadence_china_marketing@cadence.com}

会议日程：

• 13:00-13:30   Registration
• 13:30-14:15   AI Meets Formal: Risk-Aware Strategies to Scale Adoption
• 14:15-14:45   Jasper Technology Updates and Roadmap
• 14:45-15:15   

Beijing Sanechips Topic: Proliferate Formal Technology and Usage by Easy Formal Platform

Shanghai Sanechips Topic: Generative AI Empowers In-House ABVIP Development to Enhance the Quality of Formal Verification

• 15:15-15:45   

Beijing Customer Topic: To Be Comfirmed

Shanghai UNISOC Topic:Successful Jasper C2RTL Verification Case Sharing for TDES

• 15:45-16:00   Tea Break
• 16:00-16:30   Taking Formal Verification to a Higher Level with Jasper C Apps
• 16:30-17:00   Raise the Bar on Bound Signoff
• 17:00-17:30   Jasper RVV - Mitigating Risks in RISC-V ISA
• 17:30-18:00   Maximizing PPA Optimization Potential with Jasper SEC App
• 18:00-20:00   Cocktail

* Agenda is subject to be changed

关注Cadence微信公众号，了解更多详情。