领先的公司分享他们如何实现IC完整性。
如果你像大多数工程师一样，你会好奇其他工程师是如何应对一些最困难的挑战的。你能从中吸取什么并应用到你自己的项目中?从经验中学习有巨大的价值，但从别人的经验中学习可以说更有价值，因为获得这种知识的成本要低得多。
在OneSpin，我们已经降低了验证社区的知识成本。我们新推出的案例研究图书馆充满了实现IC完整性的最佳实践示例。你会发现来自各种公司和行业的故事，跨越无数的应用程序，包括:
这些案例研究和其他案例研究可在以下网址下载https://onespin.com/customer-stories．
我们还为我们的用户提供了一个机会来突出他们的成就，作为我们的Osmosis用户组活动的一部分。今年的虚拟活动包括ICsense、英飞凌、桑迪亚国家实验室和诺基亚的演讲。
ICsense谈到了使用正式的一致性检查作为减少总体验证工作和工程资源的一种手段。创建一个框架，让设计师在模拟之前快速检查他们的设计，这是必不可少的，因为使用豁免是不容易发生代码更改的。
英飞凌强调了如何部署正式验证来全面验证实现了错误纠正码(ecc)等安全机制的设计。这些ECC设计编码大数据向量并检测多个比特错误，传统上使用基于模拟的方法进行验证，尽管它们更适合于正式验证。
Sandia探讨了在正式的时候，多少验证才足够的话题。你知道什么时候停止编写额外的属性?您如何能够确信已经检查了足够多的属性来验证设计的正确性?
Nokia为大型计数器验证提供了半正式技术，超出了计数器抽象的范围。验证实际的计数器本身使得计数器抽象技术不足，因为这些技术会改变被验证的设计。所使用的半形式化方法有助于在整个操作范围内成功地验证大型柜台角落案例。
这些演示以及OneSpin专家对功能正确性、FMEDA自动化和安全、信任和安全、RISC-V和FPGA等效性检查等主题的技术深入研究可以在我们的网站上查看https://onespin.com/resources/videos/osmosis-2020．
知识和经验是实现集成电路完整性成功的关键。我们很乐意为社区提供分享他们的知识的方法，以确保设计按预期运行，是安全的，可信的，安全的。
|
|
|
|
|
|
|
|
留下回复