中文 英语

作者最新文章


掌握RTL x验证的挑战


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

设计和验证调查结果


之前,我曾在博客上写过关于Real Intent全年在贸易展上进行的验证调查。我们发现跟踪工具需求的趋势和揭示设计师的痛点是很有用的。我上一次向您报告是在一年前的博客文章《时钟和bug》中,在那里我重点介绍了导致重新旋转的时钟域交叉(CDC)错误。今年,我想……»阅读更多

Billion-Gate签收


在去年圣何塞的设计与验证会议上,Real Intent有一个关于“RTL签名的预模拟验证”的教程。这是我们在2013年奥斯汀DAC会议上看到的行业对话的开始,并且每天都在变得越来越响亮。核查公司现在正在讨论如何跨过十亿美元的门槛,以及如何……»阅读更多

2013年的主要发展和2014年的水晶球预测


2013年有一些重要的发展,我认为会引起半导体工程观众的兴趣:我们现在处于8核处理器的世界。新款Xbox One和索尼PS4都搭载了8核AMD cpu。联发科发布了MT6592,这是第一款使用ARM A-7处理器的8核手机芯片,同时运行频率为2GHz。我知道…»阅读更多

争取更好的验证


SoC验证正在为大型供应商和Real Intent等仅提供验证的公司之间的新一轮竞争做准备。他们正在交付下一代SoC验证套件,重点关注特定的关注领域。时钟域交叉、x验证和重置优化、SDC正确性和一致性,是我们接受专用RTL分析的一些领域。»阅读更多

一个难忘的夜晚:EDA回到未来


我很荣幸参加了10月16日在计算机历史博物馆举行的EDA:回到未来的活动。有超过230位嘉宾在博物馆为EDA口述历史项目筹款。在这次活动中,有许多业界名人受到了尊敬,当他们到达时,我对他们中的许多人进行了红毯采访,包括乔·科斯特洛、西蒙·西格斯和彭妮·赫舍尔。当我做I…»阅读更多

一流的工具带来一流的设计?


今天的片上系统(SoC)以新的方式变得非常复杂。十几年前,英特尔奔腾4等最先进的处理器使用了4200万个晶体管,采用180nm工艺,依靠离散芯片处理系统接口。再往前跳,英特尔在2012年推出的Xeon Phi处理器使用了50亿个晶体管,并建立在22nm芯片上。»阅读更多

SoC签收比RTL更重要吗?


随着故障成本的持续上升,SoC工程师认为在设计过程中尽快确保他们的工作尽可能正确变得越来越重要。他们承受不起把错误从一个阶段带到下一个阶段,在这个阶段,错误的影响越来越大,而错误的原因却越来越模糊。这一需求正在推动设计探索和移交到规范的转变。»阅读更多

未知的结果


在上个月的博客中,[getentity id="22416" e_name="Real Intent"]的首席技术官Pranav Ashar指出,模拟中的未知(X)管理已经成为验证签到比例的独立关注点。现代电源管理方案会影响设计的重置(启动)方式。X管理和重置分析是相互关联的,因为模拟中的许多X都来自unini…»阅读更多

这是自动形式核查的时代吗?


我正在思考上面的问题,并想起IBM在20世纪80年代末每年都会重复的关于MS-DOS的OS/2替代品的事情。“今年是OS/2之年!他们会喊道。但市场并不听从。正如我的一个朋友喜欢说的,它只是操作系统的一半(os /2)。在过去的九个月里,我的公司Real Intent和我们的公司…»阅读更多

←老帖子
Baidu