验证您的意图

设计规则检查(DRC)、布局和示意图(lv)和电气规则检查(ERC)今天是强制性的物理验证技术之前检查其结构设计和制造。检查电气设计的特点是一回事。验证实力的意图又是另一回事。重叠的两个是一个有趣的概念。

例子:检查ESD(静电放电)是伦理委员会的一部分。“每当我们谈论和ESD可靠性验证必须验证从电气角度来看,“Arvind Shanmugavel表示应用程序的工程总监Apache的设计。“我们不是要验证任何意图。伦理委员会是一个平台,你可以写几个不同的查询在你实际的网表理解如果你的ESD保护装置是否正确连接所以这完全与物理设计。这不是与权力的实际意图从RTL的角度。”

通常情况下,当他们走向tapeout,设计师开始放入防静电夹设备或防静电二极管。

“这些二极管需要出现在某些权力领域,在所有不同的I / O之间垫和电力领域,“Shanmugavel指出,添加有两部分违反规则检查电二极管或ESD保护装置存在与否,以及如何有效的二极管或夹元素是。

KT摩尔集团的产品营销总监硅签收业务单元在节奏说有很多不同的方法来检查的可靠性。“通常当你设计和布局总有一组规则check-minimum间距,最小宽度,等等—正常刚果民主共和国将检查。当你进入这些multi-voltage域的设计您可能希望开始确保事情刚果民主共和国不仅是正确的,但刚果民主共和国正确的电压域的上下文中。假设multi-voltage或multi-VT设计、高压设备和弱电压设备,你要确保正确的电压连接到正确的设备,你不一定要花很多时间在这。一个好方法就是ERC。”

然而,Shanmugavel看不到任何权力意图文件和伦理委员会之间的关系,现在或将来。“当你正在设计一个低功耗处理器或应用程序处理器,在体系结构规范你会说你有一定的阻塞在一个电压域和不同在另一个电压域降低功率。然后某些街区将关闭在睡眠模式而其他块会全速在睡眠模式下运行。您可以指定在架构和RTL阶段,但是你怎么知道你可以验证它当你实现它吗?从体系结构规范点您有所有这些权力领域运行在不同的电压,你有不同的睡眠模式,你可以有不同的转换从一个模式到另一个,但实际上验证物理方面是极其困难的。

他将它比作RTL验证。“与RTL验证你通常写某种testbench验证如果提供的输入和输出匹配提供。对权力的意图验证这是一个更复杂的。例如当你打开一个街区你必须隔离所有的输入进入阻止通过隔离设备。假设你有信号从阻止,权力领域,两块B,这是权力域B,你需要换档器水平但通常没有单一的方法验证。UPF值和公积金是如何发明是因为需要验证所有这些不同的低功耗技术。”

没有单一的答案来解决这些问题,和供应商采取了不同的路径在试图找到解决方案。导师图形产品营销经理马修•霍根认为,传统方法远远不够。新方法解决权力意图验证可以延伸的边界的传统理解可靠性检查和伦理委员会包括晶体管电平功率意图分析。他解释说,虽然导师的伦理委员会技术最初很多关注ESD,更多的是了解了问题空间和刚果民主共和国的公司超越了后端验证/ lv,他们意识到这项技术可以利用领域的可靠性验证。

“这让我们追求多个电力领域的设计和电路,我们放在一起soc和IPs通常非常不同的地方,同时确保我们不摔倒任何电气负荷类型问题或其他类似的东西,”霍根说。“很多时候,人们会做详细的香料模拟或试着做一些分析,通常情况下,除非你能触及电路与正确的输入向量模拟和你经历过足够的了解可能发生微妙的变化,输出波形来表示一个问题。其中一些更微妙的reliability-type问题很难识别,就像DFM之后如何提高产量或改进设计的一面。”

然而,可靠性不处理的硬性lv。“从刚果民主共和国的角度来看,这意味着我们不能制造它正确。从lv的角度来看,它不匹配你认为你的源网表是什么样子。很多这些reliability-type问题表现在更微妙的方式,正是从一个改进的设计从整体的角度来说,人们想要在现在,因为他们已经得到的基本基础传统刚果民主共和国/ lv / ERC-type检查,”他说。

物理验证工具检查设计一致性:你从刚果民主共和国的角度符合设计规则?lv检查一致性基础上,你说你想要什么和你实现什么。但你如何检查设计对设计意图?

“我们能够发现这些设计条件和前进,又在整个可靠性的想法说,“你就是正确的lv,但这并不代表你的设计意图。这些类型的问题时,你会看到清单开始使用这个设计在现实世界中。变得非常流行,你所做的这些soc与IP重用,因为你不可能拥有所有的IP里面。你可能会买那块或重用块从另一个项目,所以可能会有一些微妙的设计互动,作为这段IP的用户,可能不会意识到,因为你没有设计和开发它的,”霍根指出。

导师的技术还支持UPF值的格式。“(这)允许您overlay-not在动态模拟的角度来看,因为很明显的涅槃,每个人都会谈但这真的是多态静态分析。你可以采取不同的快照的设计和你的权力意图覆盖的身体细胞植入和确定正确的设计,如果正确的晶体管为保留细胞水平换档器,所有的这些东西,能够应对权力意图,你告诉设计通过这趟车文件,基本上沿着整个设计过程和变种。”

此外,晶体管实现必须考虑这些结构的一部分。例如,组成一个简单的晶体管逆变器——你必须确保它有它的大部分通过接触与正确的电压,然后它必须得到验证。“当你把它用到额外的水平到高密度脂蛋白空间,很多人都这样做验证,你还不知道你是否正确实现下面的晶体管。我有这个矩形的两倍或三倍在正确的地点?有晶体管之外的地区,会导致我一个问题吗?就变得特别重要,当我有一个小设计生态或衍生版本,我需要做——也许你验证了块独立的但现在有一些额外的晶体管中混合。他们也有正确的关系,作为一个整体的生态系统如何工作?只需要一个晶体管在错误的地点错误的权力领域,它可以切断三分之一的芯片或可笑的东西,“他补充说。

在一天结束的时候,权力是最具挑战性的事情之一量化,因为它取决于你在做什么,抑扬顿挫的摩尔指出。“这不仅仅是一件事,让你。当你看的可靠性,这就是权力真正发挥作用。你画的更多权力,你越经常画画,你越磨损在设备上。但泄漏是一种不同的动物。与其说它是磨损的效果。你更关心泄漏无线或手持设备因为总是在你的电池当前绘图。设计团队关心这些事情,很难找到一件事会给所有的答案。”