中文 英语

类别:只是个形式

类别:物联网、安全与汽车

渗透之路
通过Rob van Blommestein- 2021年10月27日-评论:0

它的发生。有些人可能会猜测，随着西门子对OneSpin的收购，OneSpin用户组会议(通常被称为Osmosis)将正式(双关语)纳入更大的西门子活动。好吧，我在这里告诉你，渗透法已经正式上书，并将继续专注于正式验证的特定领域。这个小组一直在……»阅读更多

减轻早期错误检测的负担
通过Rob van Blommestein- 2021年8月26日-评论:0

集成电路设计人员承受着持续不断的压力，他们必须交付无bug的代码，以满足越来越严格的要求。众所周知，在开发过程的早期发现的错误越多，开发工作就会越快、越容易。然而，早期的漏洞检测需要设计师承担繁重的验证开销，这可能会影响设计过程……»阅读更多

正式验证SystemC/ c++设计
通过Rob van Blommestein- 2021年7月29日-意见:0

我们看到越来越多的设计使用了SystemC/ c++。这并不奇怪，因为在许多大型半导体和电子系统公司，已经出现了特定的使用模型，以推动工程团队之间的共同设计流程，从而采用高级合成(HLS)。这些HLS工具是快速生成设计组件的流行方法……»阅读更多

精确:成功案例研究
通过Rob van Blommestein- 2021年6月9日-评论:0

最近，我在看一部关于美国宇航局不屈不挠火星任务的纪录片。我一直对太空旅行和实现它的工程努力着迷。我们都听说过这次火星之旅的着陆是历史上最精确的，但这部纪录片揭示的是毅力号探测器设计和开发的每一个方面都涉及到精度……»阅读更多

FPGA等价性检查的案例
通过Rob van Blommestein- 2021年5月6日-意见:0

形式等价检查(EC)已经成为ASIC开发流程的标准部分，几乎所有的门级模拟都被合成前和合成后代码之间严格的一致性检查所取代。在现场可编程门阵列(FPGA)领域，EC仍然是一个相对较新的概念，但鉴于目前使用的大型设备，EC正迅速变得重要起来。对于最大的FP…»阅读更多

解锁你的视野……和EDA的一点历史
通过麦肯齐罗斯- 2021年3月29日-意见:0

重复的模式和硬件设计有一些共同之处:可能比眼睛看到的要多。即使是简单的设计也可能存在单靠代码审查很难发现的极端情况，如果涉及第三方或遗留IP，情况就会更加复杂。如果IP有故意隐藏的功能呢?这就是像OneSpin 360这样的验证工具出现的地方，以消除人为干扰。»阅读更多

验证知识触手可及
通过Rob van Blommestein- 2021年2月25日-意见:0

如果你像大多数工程师一样，你会好奇其他工程师是如何应对一些最困难的挑战的。你能从中吸取什么并应用到你自己的项目中?从经验中学习有巨大的价值，但从别人的经验中学习可以说更有价值，因为获得这种知识的成本要低得多。在OneSpin，我们降低了…»阅读更多

RISC-V通过正确的验证降低了风险
通过Rob van Blommestein- 2021年1月25日-意见

RISC-V继续成为电子设计行业的头条新闻。你可能已经看到了最近的新闻，OpenHW集团正在交付他们的第一个RISC-V核心CV32E40P。如果你参加了上个月的RISC-V峰会，也许你参加了由OpenHW集团总裁Rick O 'Connor撰写的“CORE-V:工业级开源RISC-V核心”。在这个环节中，Rick讨论了如何……»阅读更多

两个挑战的故事:从太空探索到解锁你的视野
通过Rob van Blommestein- 2020年12月22日-评论:0

我喜欢好的谜题，我猜大多数工程师也是如此。毕竟，工程师们每天都在解决复杂的问题，为世界提供最先进的产品或执行关键任务。我们在今年的诺基亚FPGA会议和11月底的“火星任务”黑客松上开始了这一季的欢乐。现在，正好赶上…»阅读更多

解决功能正确性、安全、信任和安全问题
通过Rob van Blommestein- 2020年9月29日-评论:0

大流行已经过去6个月了，面对面的会议似乎正在成为遥远的记忆，虚拟会议现在正成为例行公事。过去，去参加一个会议(有时是很远的距离)是能够参加技术演示和学习最新技术和方法的唯一途径，而且只有在你获得许可的情况下……»阅读更多

←老帖子

  • 赞助商

关于

导航

与我们联系

版权所有©2013-2023 SMG |服务条款|隐私政策
Baidu