左移位低功率和UPF值信息模型验证

通过Himanshu Bhatt, Shreedhar Ramachandra和Narayanan Ganesan

低功率testbenches今天没有能见度的UPF值在低功耗模拟对象和它们的状态。这是其中一个因素限制用户编写可重用的低功率testbenches能够监控UPF值对象和对UPF值对象的状态变化作出反应。为了满足这种要求,用户查询UPF UPF值对象的数据模型和美国在低功率模拟,UPF值LRM定义了UPF信息模型(UPF IM)并添加查询的机制UPF值在编译时数据模型(使用TCL查询),在运行时使用(系统Verilog api)。趟车我是如何UPF值的定义信息组织形式的UPF值数据模型,可以查询使用TCL和系统Verilog。TCL查询机制允许用户查询UPF IM。系统Verilog api可以用来查询UPF值数据模型在模拟和监视和控制UPF值对象。本文探讨了UPF值IM api的不同应用程序将允许用户编写可重用的低功率testbenches可以监视和控制UPF值对象。的UPF值我的一部分UPF值标准仍在进行改进,以满足更多的需求查询UPF值信息。应用程序的范围,可以建立在这些api不仅仅是这里描述。

需要低功耗的断言和被动testbenches

断言(无论是在设计和试验台)动态验证方法的一个组成部分。用低功率的增加多倍的意义,因为当前和下一代低功耗soc的复杂性。它们使减少周转时间(乙)在调试和整体验证关闭。有一个可重用的权力意识到testbench是极其重要的,使“左移位”考虑到紧tape-out时间表。下面是传统和无功功率的属性了解testbenches。

传统的权力意识到Testbench (PA)

• 电力网络无法访问
• 不相交的RTL和UPF值世界
• 只有推动供应,控制
• 断言——监控只是逻辑状态

图1:传统与原生低功率验证

无功功率知道Testbench (PA)

• 电力网络访问
• 合并RTL和UPF值世界
• 驱动/监控供应,控制,功率状态
• 断言——监视事件

图2:无功功率知道Testbench

趟车信息模型

• 标准IEEE 1801 - 2015年LRM UPF值3.0
• 使用户能够创建模块化、可伸缩、可重用的权力意识到试验台
• 通过系统Verilog api访问机制
• 查询对象和属性信息模型

图3:UPF值信息模型

对象和属性

趟车信息模型包含的对象集合,这些对象的属性出现在。这些对象属于一个不同的类中定义信息模型。信息模型中的对象是主要持有人的信息。它们的类的实例属于UPF值信息模型。他们代表UPF值信息和HDL和UPF值和高密度脂蛋白之间的关系。信息出现在这些对象的属性,也可以通过访问api。每个对象应当用一个唯一标识符称为UPF处理,应使用的api来访问信息。它们大致分为三组:

• UPF值对象
• 高密度脂蛋白的对象
• 对象的关系

对象的例子:

• 电力领域
• 保留/隔离/电平位移器策略
• 供应组
• 命名对象引用
• 供应Net/Port
• 逻辑net/Port
• 电源开关
• 电源状态
• 太平洋标准时间
• 高密度脂蛋白范围
• UPF值范围

属性的信息出现在一个对象,它可以是静态或动态的。

例如,在电源领域(PD)的背景下,静态属性是:

• 帕金森病的主要供应
• PD的隔离策略

同样,动态属性是:

• 当前状态的供应
• 当前值的控制信号

访问UPF值数据可以提供使用两种机制:

• 立即访问
• 连续访问

立即访问

这允许访问UPF值对象的当前状态/值。立即访问需要用户编写自定义断言使用动态属性。

动态属性——示例

图4:直接访问

连续访问

这是通过使用对象的镜像。UPF值对象被镜像到一个本地用户定义的变量。这使得UPF值对象的连续监测。连续访问机制的主要用途是监测电源状态/ sim反过来有助于创建覆盖模型。

本机高密度脂蛋白为镜子变量表示

图5:连续访问

进行低功率错误

Synopsys对此模型API实现了信息基础设施,您可以使用它们来分流低功率bug。下面是两个例子可以发现使用这些应用程序的bug。这些应用程序可以只使用运行时api,因为他们需要在模拟监控UPF值对象的状态。

示例1:不正确的隔离使在断电

错误:ISO控制断电期间禁用

问题:断言使用信息模型

• 镜子域- - - sim监视国家权力
• 查询隔离策略和隔离的控制策略
• 监测隔离控制价值sim状态转换

图6:不正确的ISO启用期间关闭

示例2:电源开关控制总是启用

错误:电源开关控制系,域永远不会关闭

问题:报道使用信息模型

• 镜子PD主要供应
• 镜子upfPdSsObjT类型的变量
• 监控电源供应状态和sim卡状态
• 覆盖状态和转换- PD国家发现

图7:电源开关控制系

结论

有一些应用程序可以只使用运行时api,例如在模拟监控的UPF值对象。然而,性能影响的数量成正比的UPF值对象的状态是在运行时被监控。这种方法的好处命题是它避免了波形回顾电力崩溃和权力,并允许有更多的随机验证对权力意识到测试。使用api,用户可以编写covergroups / coverpoints喜欢自定义领域国家权力和设计之间的交叉覆盖信号,多个域和跨职能涵盖点之间与权力意识到保险。这大大有助于减少周转时间验证从而使“左移位”在整个验证关闭。

Shreedhar拉马是研发工程师,高级职员,在低功率验证团队验证小组Synopsys对此。他已经14年以上的经验,开始他的职业生涯作为一个ASIC设计和验证工程师之前EDA(电子设计自动化),专注于设计低功耗模拟产品从Archpro MVSIM。他目前工作作为Synopsys对此VCS NLP产品应用工程师,也代表Synopsys对此在ieee - 1801 UPF委员会。

Narayanan Ganesan是应用工程师、员工、验证小组Synopsys对此。他有16年的经验跨越半导体和EDA的空间,在ASIC功能/低功率验证IPs和soc使用验证方法,如系统的Verilog UVM, UPF值。