标签:X传播

定时关闭在7/5nm
通过埃德·斯珀林——3月17日,2020 -评论:2

曼苏尔Amirfathi Synopsys对此应用工程主管,研究如何确定假设设计是正确的,多少个周期需要特定的操作,为什么这是如此复杂,如果信号阶段。»阅读更多

三个步骤来完成重置行为验证
通过克里斯·郭11月- 14,2019 -评论:0

由克里斯•郭Priya Viswanathan,萍Yeung重置验证架构是出了名的复杂和困难。今天的soc包含高度复杂的重新分布和同步电路。通常,重置树木可以大于时钟树和许多相同的潜在问题。验证设计下能正确重置所有的操作模式,提出了价格…»阅读更多

在SoC设计中解决的挑战重置验证
通过导师,西门子业务11月- 13,2019 -评论:0

介绍了常见挑战参与重置树验证及其解决方案。我们制定一个三部分的方法来构建一个完整的解决方案,结合静态分析的设计结构,与X-propagation RTL模拟,正式的验证。本文包括结果测试这个解决方案在一个客户的设计。阅读更多,请点击这里。»阅读更多

高效低功耗仿真验证和调试方法使用节能
通过Himanshu Bhatt12月- 13,2018 -评论:1

Himanshu Bhatt和Shreedhar拉马隔离、保留和电力开关的重要功能,节能设计,使用一些常见的低功耗技术(例如)电源关闭,(例如)dvf multi-voltage和先进技术,低VDD备用,偏压。策略隔离、保留和电平位移器指定的权力形式……»阅读更多

正式的路线图
通过布莱恩•贝利11月- 22,2016 -评论:0

形式验证已经在过去的五年里取得了长足的进步,因为它专注于狭窄的任务验证流中。半导体工程坐下来讨论的进展和未来的正式技术,与[getperson id = " 11306 "评论=“Raik Brinkmann”],总裁兼首席执行官[getentity id = " 22395 " e_name =“OneSpin解决方案”);哈里·福斯特首席科学家验证(g……»阅读更多

形式分析X的传播
通过OneSpin解决方案- 7月27日,2016 -评论:0

验证没有定义信号值在设计中一般来说是一个困难的问题。正式4-state逻辑分析提供了一个强大的解决方案。本白皮书讨论大户验证问题,先进的4-state正式分析如何解决它们。这个白皮书涵盖了360 DV-Verify产品。阅读更多,请点击这里。»阅读更多

正式的新面孔
通过布莱恩•贝利- 10月29日,2015 -评论:0

半导体工程坐下来讨论最近的增长与劳伦斯Loh采用正式的技术和工具,产品工程集团主管(getentity id = " 22032 " e_name =“节奏”],Praveen女子,验证小组研发的高级经理(getentity id = " 22035 " e_name =“Synopsys对此”],首席科学家哈里·福斯特(getentity id = " 22017 " e_name = "导师图形……»阅读更多

微妙的平衡
通过约瑟夫Hupcey三世- 08年8月,2013 -评论:0

乔Hupcey三世毫不奇怪,功率优化是当今复杂的设计的一个关键部分。大多数消费者不知道是一种潜在的方法,每一个设计工程师必须遵守,以确保消费设备满足电力需求的融合如果消费者没有意识到他们的要求。工业产品的情况,往下……»阅读更多

  • 赞助商

关于

导航

与我们联系

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