开始报名！CadenceCONNECT: Club Formal 2022 – 亚太专场线上研讨会

2022-05-24
5:42 下午

Jasper 形式化验证平台采用基于数学证明方法的验证引擎，提供完整的形式化验证解决方案。Cadence 助力业界应用形式化验证方案，通过为每项特定的验证任务提供专属的形式化验证 app 以降低复杂度并提高验证效率。Club Formal 是与资深用户学习并交流使用案例的绝佳机会。

在本次线上研讨会中您将了解如下议题内容：

❖如何使用输入参数自动化 SVA，并通过RAK 成功应用 Jasper

❖用形式化验证实现全晶片设备互联

❖形式化验证的扩展应用

会议时间

日期：2022 年 6 月 15 日（星期三）

时间：14:00 p.m. – 16:00 p.m.

(北京时间)

您可扫描下方二维码完成在线注册

主题介绍：

01 如何使用输入参数自动化 SVA，并通过RAK 成功应用 Jasper

主讲人：Khich PhamRenesas Design 越南区经理使用输入参数自动化 SVA，我们已经利用快速采纳工具包（RAK）将 Jasper 成功应用到多项设计。除了执行形式化验证，Jasper 还支持发出多项设计分析指令，可以用于通过自动化 SVA 创建 RAK。

对验证工程师来讲，哪怕是 Jasper 新手，也可以便捷使用。验证工程师仅需了解并正确提供设计参数。基于这一方法，我们可以检测并修复设计问题和文档歧义。设计和文件档质量也随着验证成熟度的提高而优化。取得这一成绩得益于 Renesas 与 Cadence 的合作。

02 用形式化验证实现全晶片设备互联

主讲人：Low Ching LingIntel 公司自定义逻辑结构化 ASIC 工程部 SoC 设计工程师过去，验证 SoC 和全芯片级别互联的唯一方法是直接用例仿真。传统基于仿真的验证方法效率低下，且需要人工调整激励。直接测试的数量取决于验证的复杂度和互联数量。基于模拟的验证还需要设置 testbench，以执行动态仿真。简而言之，这一过程耗时很长，需要大量的人力，且效率低下。

演讲中将分享如何通过 Formal Connectivity Check 应用验证全芯片设备水平下 FPGA 裸片和 4 个组成部分的互联性。形式化验证取代了传统基于仿真的验证，提高了验证完整性和效率。

03 形式化验证的扩展应用

主讲人：Pete Hardee Cadence 公司系统与验证事业部产品总监在大数据，人工智能和普遍连接的驱动下，半导体行业正经历全新的高速增长。这些趋势催生了复杂度远超以往的芯片设计，异构处理和个性化加速器通过复杂的芯片网络实现连接。形式化验证的快速采纳可以满足验证复杂度的需求。这一演讲将介绍形式化验证用于不同新设备的具体方法。

关于 Cadence

Cadence 是电子系统设计领域的引领者，拥有超过 30 年的计算软件专业积累。基于公司的智能系统设计战略，Cadence 致力于提供软件、硬件和 IP 产品，助力电子设计概念成为现实。Cadence 的客户遍布全球，皆为具有创新能力的企业，他们向超大规模计算、5G 通讯、汽车、移动设备、航空、消费电子、工业和医疗等具有活力的应用市场交付从芯片、电路板到完整系统的卓越电子产品。Cadence 已连续九年名列美国财富杂志评选的 100 家最适合工作的公司。如需了解更多信息，请访问公司网站 www.cadence.com。

关于耀创科技

耀创科技至今积累有20多年的EDA工程服务经验，已经在中国为数百家客户提供了EDA产品以及解决方案，极大地提高了这些客户的电子设计水平和生产效率。耀创科技也是Cadence在中国合作时间很长的代理商，公司在引进国外先进的EDA工具的同时，我们针对中国市场的特殊性，与Cadence公司合作，在国内很早提出了电子电气协同设计与工程数据管理的概念，成功地在众多研究所及商业公司内进行实施，极大的改善了PCB/SIP产品的标准化设计流程，覆盖从优选元件选控、协同设计输入、在线检查分析、标准化文档输出及PLM/PDM系统集成，获得了众多用户的赞许。与此同时，根据中国客户的实际情况，我们还提供除了软件使用培训之外的项目设计咨询服务，以帮助客户在完成实际课题的同时，也能够熟练掌握软件的高级使用方法，这一举措也取得了非常好的效果。

我们一直秉承“与客户共同成长”的服务理念，希望在国内EDA领域内能为更多客户提供支持与服务！

如需了解更多信息，请访问公司网站 www.u-c.com.cn

如需更多信息，请联系电话：400-800-1070邮箱：Sales@u-c.com.cn