成功的活动提供了分享技巧和技术的机会。
与大多数其他高科技公司相比，EDA供应商在许多方面的成功依赖于他们的用户。当然，客户提供了推动业务发展的收入，但他们的影响力远不止于此。EDA工具中的许多特性，甚至整个产品类别，都源于与高级用户的密切合作。甚至在传统的beta测试之前，被选中的用户就会提供设计示例，并且可能与内部QA工作同时拥有早期工具访问权限。这种合作关系既深入又持久，有时会延续几代技术和产品。
OneSpin当然也不例外。事实上，许多用户告诉我们，我们提供的支持和互动水平是那些数十亿美元的公司根本无法比拟的。我们由衷地感谢我们的用户在我们的产品组合及其底层技术的发展中所发挥的关键作用。随着我们在过去几年里的迅速发展，我们一直在寻找更多的合作机会，无论是与我们的用户还是与我们的用户社区之间。本着这种精神，我们最近在慕尼黑举行了我们的第一次用户小组会议Osmosis。大家都说这是一次成功的活动，我们想分享一些细节。
“Osmosis”代表“OneSpin解决方案、创新和战略会议”，也暗示着知识的共享。我们计划和组织活动，以促进三种交流。来自OneSpin的关键技术人员为我们的用户提供了更新，一些用户展示了他们如何使用我们的解决方案实现最大效果，我们还为用户提供了大量的时间来分享信息。与会者来自不同的公司，从初创公司到世界上一些最大的电子公司，从新用户一直到我们一些最有经验的客户集成电路完整性专家。
我们很高兴三位优秀的演讲者分享了他们与OneSpin合作的经验。Antti Rautakoura是一名SoC/ASIC验证专家，目前从诺基亚休假，在芬兰坦佩雷大学攻读博士学位。他关于“覆盖计划和验证管理”的演讲支持了我们的信念，即formal必须是验证计划和覆盖分析的一个组成部分。Antti使用OneSpin portableoverage解决方案来满足这一要求，并利用我们独特的能力与第三方模拟器和验证计划工具一起工作。
j
最后的用户演讲由英飞凌科技股份公司的Keerthi Devarajegowda主持，他也在德国的Technische Universität Kaiserslautern攻读博士学位。“通过S²QED和属性生成验证GapFree处理器”描述了如何发现多个指令错误，这些错误仅发生在未检测到寄存器危害的特定处理器指令序列中。Keerthi和他的团队使用OneSpin的GapFreeVerification技术来确保正式属性集的完整。
在以后的博文中，我们将更详细地讨论这三个演讲。除了用户演示之外，OneSpin总裁兼首席执行官Raik Brinkmann还发表了关于IC完整性的主题演讲，OneSpin团队还发布了有关功能正确性(设计验证和等效性检查)、功能安全、安全验证和RISC-V验证的技术和产品更新。在巴伐利亚的一家经典餐厅享用了美味的晚餐，为所有与会者提供了充足的时间进行社交和技术互动。
我们要感谢所有参加我们会议的人，特别是我们的用户发言人。我们正在考虑未来在美国，欧洲和亚洲举办的渗透术活动的选择，并希望听到你的消息。给我发邮件至(电子邮件保护)我们期待着在那里见到你。
|
|
|
|
|
|
|
|
留言回复