理解X值可能意味着芯片工作的区别,以及一个实用的灾难。
欢迎来到一个新的讨论一系列的话题我们认为将有趣的人设计和验证出类拔萃。虽然这个博客的名字表示的两大属性SoCs-IP实现和普遍的需求,低功率(LP),我们当然可能远远超出这些主题的范围在即将到来的帖子。我们将从一个主题开始在资讯方面,展望未来我们相间的IP。我们也经常会在客人博客从范围广泛的背景和责任,我们希望你会发现我们的讨论有用的和迷人的。
今天我想谈谈低功耗验证的Xs发挥至关重要的作用。除非所有在低功率流可以准确地模拟验证工具,跟踪和调试Xs,有一个真正的风险没有捕捉微妙的低功耗错误直到很晚,在昂贵的门电路级模拟,或根本没有,导致灾难性的功能性产品的失败。相反,主管处理X值在低功率流为设计师和验证工程师提供巨大的价值,当X值提供了深刻的见解和验证电源管理意图,实现和行为。
图1所示。从“你能告诉你从LS ISO ?——一个低功率调试方法”
首先,我将介绍一些基本的术语。
——X值,在这种情况下,不确定的输出值的表示当voltage-aware原生低功耗模拟期间腐败输出块复位,关闭,当电压水平超出阈值(例如dvf)定义的。
——X-propagation RTL模拟,这与模拟器如何对待未知的本质,并确定是否乐观(将X输入转换为0或1)或悲观的输入传播到输出(X)。看到http://www.sutherland-hdl.com/papers/2013-DVCon_In-love-with-my-X_paper.pdf。先进的模拟器等风投与X-Prop提供扩展Verilog硬件描述语言(VHDL)提供准确的建模和X传播的精细控制,使准确的相关实际设计行为。
有效和有用的低功耗SoC验证必须准确地模拟的行为在RTL先进的低功耗设计技术。这需要四个关键技术:
第一个功能是需要管理的巨大复杂性低功耗设计为基于ip的SoC设计意图。第二使SoC设计将细粒度的电压控制资讯技术在RTL模拟准确,避免昂贵的和RTL后期仿真,以及在某些情况下准确模拟。第三个主题是讨论的重点:先进电压意识到本地低功耗模拟必须与模拟先进X-propagation无缝地协同工作。VCS®原生低功率(NLP)和VCS X-Prop提供这种级别的集成。下面的例子展示了如何将这些功能协同工作来唯一地标识和分析一个LP bug,威尔第节能,找到错误的根源。
图2。
上图显示了一个简单的例子乐观的Verilog X传播语义屏蔽严重缺失的隔离政策低功耗bug。假设我们有一个设计有两个交流电源领域,他们必须通过隔离细胞相互连接,以确保有效的行为。这个隔离策略和有效的权力UPF值中指定的国家权力的意图。如果由于某种原因,缺少了一个孤立细胞然后从关闭下游停电域X值出现在5月1日对权力的域的输入2。乐观可以掩盖这个X Verilog RTL语义转换的输出功率域2“1”。正确,因为X值从低功耗模拟腐蚀的输出功率域1是蒙面,失踪的隔离政策错误不能被看到在RTL模拟,并且可能只出现在X-pessimistic Verilog模拟低功率门水平。
图3。
图3显示了使用VCS原生低功耗模拟(NLP)与风投X-Prop能力准确地传播权力的腐败X值输出域2,并最终主要输出。注意到X腐败价值较低的功率输出域1不传播权力的其他输出域2。这是因为风投的原生低功率和X-propagation技术理解权力的意图,和智能传播的有效隔离值推断细胞隔离。
第四个有效的低功率所需关键技术验证优化的低功率调试。考虑到低功耗模拟发现和传播一个X值由于低功率错误,如何找出发生了什么?在传统的RTL模拟中,X值是非常无益的,但在低功率验证,X是一个关键的信息。低功耗优化调试,如威尔第®权力Xs迅速意识到调试可以追溯到具体的仿真不匹配,如下图4所示,然后跟踪信号的起源X实际示意图,甚至交叉联系RTL源代码和UPF低功率的目的,如图5所示。
图4。
图5。
今天我们谈论不接近覆盖所有有趣和重要的方面为什么低功耗验证需要先进X-propagation技术。有关更多信息,请敬请期待看看。
最后,在评论中让我们知道你的想法,和下次节目再见!
|
|
|
|
|
|
|
|
|
|
希望vclp模拟捕捉这些x道具…那么在vclp x的优势是支撑