中文 英语

谁负责处理器验证?


定义处理器是什么以及它应该做什么并不总是像听起来那么容易。事实上,许多公司正在努力应对将数百个异质处理元素塞进单个芯片或封装所带来的影响。公司有广泛的验证方法,但不是用于验证。验证是一个确保实现与特定目标相匹配的过程。»阅读更多

在高级合成之前发现代码问题


为了显著地加快验证速度并处理每天都在变化的复杂算法,许多公司正在转向高级综合(HLS)方法。但是,高级c++模型的正确性是极其重要的。此外,c++语言具有在模拟过程中很难捕捉到的歧义。即使正确地编写,高级模型也可能是错误的……»阅读更多

掌握RTL x验证的挑战


逻辑设计师对X的问题是RTL模拟在行为上是乐观的,这可能会在你的设计中隐藏真正的bug。一些工程师指出,我们一直不得不处理X,而实际上什么都没有改变。事实上,今天的SoC采用不同的电源管理方案来唤醒或暂停IP。正如所有设计师都知道的那样,当启动……»阅读更多

知道要寻找什么


随着当今集成电路中功率域的数量激增,在验证中包含所有不同的复杂性模式是极其困难的。亚特兰大公司产品营销总监马克•贝克(Mark Baker)表示:“这个问题已经足够具有挑战性了。”“SoC设计的方向是各种ip的集合,不同的通信协议,总线……»阅读更多

我们还没有超越吗?


最新最伟大的技术总是获得最多的关注,因为它们是新的和新鲜的,但是门级模拟—一个长期的主力工具—最近在设计师那里看到了一个小的回归。根据Cadence的Pete Hardee的说法,尽管业界花费了大量时间来展望架构级电源建模和虚拟原型,但对细节的需求……»阅读更多

Baidu