戴夫Kelf

戴夫Kelf

(所有的帖子)
戴夫·凯尔夫(Dave Kelf)是OneSpin Solutions的营销副总裁。

作者最新文章

半导体行业的巨大机遇
通过戴夫Kelf- 2017年8月24日-评论:0

安全关键器件的开发，特别是在汽车电子领域，受到整个半导体行业的关注。这并不奇怪，因为下一代汽车代表着自移动设备以来最大的机遇。然而，不太明显的是，这一大趋势的各个阶段代表了许多专业的真正收敛。传统automo……»阅读更多

安全的公路旅行感谢正式的验证
通过戴夫Kelf- 2017年6月29日-评论:0

学校放假了，汽油便宜了，美国的家庭都挤进他们的汽车或小型货车里，开始了历史悠久的越野公路旅行。如今，坐在后座上的孩子们不需要通过发现来自美国50个州的车牌来娱乐自己，也不需要和他们的兄弟姐妹打架。相反，他们可以被车里老练的娱乐人员逗乐……»阅读更多

形式验证的大陆分水岭
通过戴夫Kelf- 2017年5月25日-意见:0

正式验证正在全球范围内的工程团队为无错误和可靠的数字芯片进行复杂的功能验证。事实上，考虑到形式化验证在针对广泛的验证挑战方面的灵活性，许多困难的验证挑战都可以通过形式化验证解决。在正式验证的易用性和容量方面的最新进展使其成为一种…»阅读更多

重新认识保险范围
通过戴夫Kelf- 2017年4月27日-评论:0

当谈话中谈到保险时，如果有的话，总是关于汽车、房屋或健康保险。覆盖和功能验证不太可能在该讨论中使用，也不太可能在其他任何讨论中使用。这太糟糕了，因为工程团队要努力解决什么时候足够的验证才足够，就像某种保险一样。哦，当然，模拟和仿真…»阅读更多

10种方法来剥一个正式的谜题
通过戴夫Kelf- 2017年3月23日-评论

假期期间，OneSpin发布了一个挑战，使用任何正式的验证工具来解决经典的爱因斯坦之谜。虽然这个谜题是为了假日的小乐趣，但它的解决需要思考和一些适用于日常功能验证的有用的正式技术。我们从全球不同公司的工程师那里收到了广泛的答案，包括……»阅读更多

下周找到你去圣何塞的路……当然是为了DVCon !
通过戴夫Kelf- 2017年2月23日-评论:0

如果有人问你:“你知道去圣何塞的路吗?”在接下来的几天里，它很可能是DVCon的新手。芯片设计验证的其他人都知道如何去即将在圣何塞逸林酒店召开的年度设计与验证会议和展览。今年的计划是一个富有洞察力和教育的四天的教程，论文和论文……»阅读更多

正式验证需要对驱动器进行安全关键应用
通过戴夫Kelf- 2017年1月26日-评论:0

众所周知，汽车应用安全关键芯片的高可靠性对于当今的高端汽车和无人驾驶汽车越来越接近现实来说是必不可少的。事实上，优步是在波士顿测试自动驾驶汽车的，而在波士顿，攻击性驾驶占主导地位，按喇叭被视为一种艺术形式。随着汽车制造商意识到他们的差异化…»阅读更多

用形式验证解决爱因斯坦之谜
通过戴夫Kelf- 2016年12月22日-意见:0

半导体行业的夏洛克们请注意!OneSpin Solutions挑战你参加下面的爱因斯坦谜语智力测试，并使用你选择的正式验证软件品牌度过假期。在OneSpin的DV-Ve上正确执行谜语的三个最快解决方案将获得三架遥控无人机。»阅读更多

核查专家和通才
通过戴夫Kelf- 2016年11月22日-评论:0

参加任何以芯片设计验证为主题的每周状态更新会议，特别是当正式验证被提上议程时，很明显验证部门的行动非常像传统的企业环境。也就是说，有对许多不同的验证工具和技术有大量知识的通才，然后有专家或专家……»阅读更多

DVCon欧洲:向热情的与会者进行为期2天的验证演示
通过戴夫Kelf- 2016年10月27日-评论:0

上周在德国慕尼黑，设计验证得到了充分展示，DVCon Europe提供了整整两天的30多场会议。与会者可以从16个教程、两个专题讨论、三个主题演讲和16个技术演示中进行选择，也可以在一个小而活跃的展厅中漫步，其中包括OneSpin。这个由工程师举办的工程师会议是有教育意义的，……»阅读更多

←老帖子

  • 赞助商

关于

导航

与我们联系

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