中文 英语
系统与设计
的意见

渗透之路

共享信息,推动正式验证的边界。

受欢迎程度

它的发生。有些人可能会猜测,随着西门子对OneSpin的收购,OneSpin用户组会议(通常被称为Osmosis)将正式(双关语)纳入更大的西门子活动。好吧,我在这里告诉你,渗透法已经正式上书,并将继续专注于正式验证的特定领域。在过去的几个月里,该团队一直在努力工作,以便将一个OneSpin用户基础会发现非常有趣的程序组合在一起。

对于那些第一次参加Osmosis的人来说,这个名字代表的是OneSpin解决方案、创新和战略会议。该活动的目的是允许信息不仅在用户之间流动,而且在用户和OneSpin团队之间来回流动。正是这种将知识传递给所有相关方的做法,使得Osmosis与众不同。该名称作为首字母缩写,并提供了如何共享信息的清晰定义。

现在我已经给了你一些背景知识,让我们来了解一下与会者在今年11月3日至4日为期两天的虚拟会议上可以期待什么。

第一天将由西门子数字工业软件公司的领导进行主题演讲:高级副总裁兼总经理Ravi Subramanian和高级工程总监(前OneSpin首席执行官)Raik Brinkmann。他们将分享关于收购OneSpin的愿景,以及它将如何将正式的核查领域扩大到新的领域和挑战。

作为补充,由Raik在第二天发表的主题演讲将更深入地探讨OneSpin: a Siemens Business将推动正式验证边界的具体领域,包括:

  • 与高等教育机构和政府进行研究
  • 像RISC-V这样的开源计划
  • 形式化验证技术和方法的可扩展性

在为期两天的活动中,OneSpin团队将就用于确保当今设计的功能正确性、安全性、可靠性和安全性的技术和解决方案进行深入的技术讨论。这些会议包括:

  • 功能正确性:不要让它困扰你!
  • 验证FPGA设计的各种方法
  • 使用带有自动验证的自定义RISC-V扩展
  • 安全架构建模导论
  • 利用形式化的力量进行SystemC/ c++设计
  • 为更安全的明天进行核查

当然,如果不听取来自领先公司和关键行业的忠实用户的意见,这就不是一个用户群体。为了最大限度地发挥知识转移的影响,上述每个OneSpin会议将与一个或多个用户案例研究配对:

  • Xilinx:使用OneSpin 360合并正式和模拟验证度量
  • ams-OSRAM: PortableCoverage:将正式结果带入vManager
  • Xilinx:浮点单元形式验证
  • 来自核、数据中心和ADAS行业的FPGA等效性检查案例研究
  • Kalray: FMEDA变得简单
  • MaxLinear: SystemC设计的形式化验证
  • 桑迪亚国家实验室:评估第三方知识产权保障能力

在过去的几个月里,我们一直在为这次活动做准备,这对OneSpin来说是一条令人兴奋的道路。当我们进入新的领域时,我们渴望分享我们将如何进行正式操作。我们也期待着了解我们的用户是如何成功的,以及我们可以做些什么来保持这种成功。这两天充满了很多我们认为会给用户带来价值的内容。我们都等不及要见大家了。

如果您是OneSpin用户,您可以获得有关活动的更多详细信息并在www.onespin.com/osmosis - 2021

对于那些不是OneSpin用户(为什么不呢?)但正在考虑使用它的人,我们邀请您看看去年的Osmosis演讲www.onespin.com/resources/videos/osmosis - 2020



留下回复


(注:此名称将公开显示)

Baidu