静态检查补充基于仿真的验证。
在最近的2015年女足世界杯决赛在加拿大,日本完全措手不及前15分钟(4秒)美国。他们小心翼翼的”事先精心安排的“遵守美国团队,他们无法抵御,导致前三个目标的美国女性。然而,游戏断路器从Carli劳埃德54-foot中场上演帽子戏法的目标。点击查看这个神奇的目标在这里。
芯片系统(SoC)验证计划就像一个防御计划在soccer-marking关键的进球球员和准备定位球,连同其他创造性的举动,反对派。设计验证工程师遵循许多最佳实践,以避免最后的惊喜和设计re-spins。如果不遵循这些最佳实践和指导方针的话,很可能导致一场灾难,制造成本飙升,错过了上市时间窗口,不有趣在如今竞争激烈的消费市场。
同样的,连通性检查可以计划和目标,在动态模拟。然而,复杂的连接组合(如Carli劳合社中场目标或巴西足球计划图1)需要额外的自动化和创造性的方法!
图1:巴西足球的计划
SoC验证计划的重点是定义需要测试什么,和驱动覆盖标准。验证团队的成功在很大程度上依赖于准确的完整性和验证计划的实现。然而,针对顶级结构连通性验证(DFT)或电源管理逻辑,以及混合信号的IP,通常不是最初的验证计划的一部分,尤其是对验证点对点连接的内部节点和监控期望值不同的操作模式。
如图2所示,一个SoC可以有惊人数量的连接。大量的IP和设计模块中使用一个SoC来自不同的来源。可能有遗产设计块从以前的设计,IP从第三方供应商,库组件从一个ASIC供应商,或设计街区团队跨地域。
图2:SoC与IP和成千上万的连接
一般完整的芯片集成的所有权分配给几个团队成员的工作是验证总体设计意图。这可能是芯片初始化例程,I / O组件的集成(包括并行转换器模块),或流水线的验证需求阶段支持物理设计和地板之间的规划。
核心的验证通常是验证计划的一部分。然而,顶级连接只是测试用特别的方法,往往会导致最后的惊喜。点对点连接检查的一个例子是确保所有功能的时钟拖鞋驱动时钟门控输出的细胞(公司治理文化)。这是一个结构检查,需要专门的测试和动态模拟,同时在ip级别和SoC水平。即使这些艰苦的检查,它仍不全面。
图3:Atrenta SpyGlass RTL的静态检查连接验证
Atrenta SpyGlass工具,提供一种创造性的方式来验证点对点连接与简单和灵活的捕捉“connectivity-intent”,跨IP和SoC移植。图3给出了一个例子。这个解决方案可以帮助验证“1 1”,“1到很多”或“多1”连接。此外,它可以检查非法条件和帮助验证设计方法一致性的IP块,以及重用“connectivity-intent”IP在SoC水平。
望远镜结构检查,补充基于仿真的验证和执行以及其他静态RTL线头检查快速找到基本的连接错误。这些静态检查允许运行“回归”对每一个功能RTL的变化,而违反明确指出失败根源,允许设计师迅速解决这一问题,基于图形用户界面(GUI)的设计分析。
在足球,防守的定位球是一个团队的努力,可以完善通过使用高技能的捍卫者。同样,望远镜结构检查、补充的作用高度熟练的设计师,为了避免验证的噩梦re-spins由于复杂的SoC组合连接。
|
|
|
|
|
|
|
|
|
|
留下一个回复