Ravindra Aneja

(所有的帖子)
Ravindra Aneja是导演,Synopsys对此应用程序工程,负责形式验证的解决方案。他有25年以上的经验功能验证域包括仿真、硬件加速,仿真,基于断言的形式验证和时钟域交叉验证。Synopsys对此之前,他担任Atrenta的技术营销和应用工程,导师图形,0设计自动化和伊都系统。

作者的最新文章

人工智能:让我们把数学放在第一位!
通过Ravindra Aneja- 06年6月,2019 -评论:0

人工智能是一个热门的话题,因此不需要重复的当前和未来的潜在用途的人工智能。对大多数人来说,这意味着软件方面的技术进步。但是如果你问人非常接近这个技术领域,构建自己的优化硬件芯片是竞争优势的重要组成部分。英航几天……»阅读更多

驯服的棉絮和正式
通过Ravindra Aneja- 09年4月,2015 -评论:1

设计师已经使用多年,以确保产品毛羽工具设计遵守建议的编码规则。产品毛羽工具验证RTL写在一个明确的方法确保下游工具(模拟、合成等)不解释的代码不正确,导致设计、验证、时间或实现问题。产品毛羽工具利用快速和浅……»阅读更多

时钟域交叉(CDC):我们有了吗?
通过Ravindra Aneja2015年3月- 12 -评论:0

在过去的十年里,SoC设计变得显著依赖IP复用管理设计复杂性和实现上市目标。基于IP的设计和验证方法是至关重要的,但把一个额外的验证IP供应商(内部和外部)的负担。IP供应商需要确保他们的IP是详尽的验证和SoC集成商需要确保……»阅读更多

  • 赞助商

关于

导航

与我们联系

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