大卫·许

大卫·许

(所有的帖子)
David Hsu低功率产品营销总监,在Synopsys对此静态和形式验证。

作者的最新文章

反思低功率验证:LP +疾控中心验证
通过大卫·许- 12,2014 -评论:1

在我最后的发布,我们讨论了一些公司面临的障碍,为了满足他们的低功率验证目标,以及如何完成和集成技术在Synopsys对此新产品可以帮助验证编译器。这一次,我想介绍一个相关的例子统一技术解决方案可以帮助解决复杂的交互设计在低功率verific……»阅读更多

反思低功率验证
通过大卫·许4月- 10,2014 -评论:0

低功率的讨论验证一直围绕设计复杂性的增长(或取幂)乘以采用低功耗设计技术的增长。主要目标似乎清楚——确保:低功率的规范目的是有效的低功耗实现匹配的规范,其架构,结构和行为是有效的…»阅读更多

一点也不早
通过大卫·许2014年2月- 13(-评论:0

我以前的帖子讨论了原生低功耗功能的重要性和覆盖在模拟流。补充这是将全面、彻底低功率检查整个设计和实现流程,并找到并修复模拟之前尽可能多的低功耗的bug。正确的检查工具和适当的部署,这样做使可能性……»阅读更多

Coverage-Driven验证不是不完整的低能耗指标
通过大卫·许- 05年12月,2013 -评论:0

Coverage-driven验证使结构化、可测量的和可管理的验证今天非常大而复杂的出类拔萃。建立预定的目标和规划验证任务实现关闭对整体目标至关重要,并创建全面的指标来跟踪验证过程中使时间表可预见性和进行…»阅读更多

低功率验证——“X”标记
通过大卫·许10月- 10,2013 -评论:1

欢迎来到一个新的讨论一系列的话题我们认为将有趣的人设计和验证出类拔萃。虽然这个博客的名字表示的两大属性SoCs-IP实现和普遍的需求,低功率(LP),我们当然可能远远超出这些主题的范围在即将到来的帖子。我们将从一个主题开始在资讯方面,展望未来我们会交替……»阅读更多

  • 赞助商

关于

导航

与我们联系

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