UPF文件介绍
UPF格式文件,也即Unified Power Format(统一功耗格式)文件,是由IEEE1801低功耗集成电路设计和验证标准定义的,它由一组基于类似Tcl语言的命令构成,使用UPF,我们可以定义电子系统的低功耗设计指标。
UPF中power domain概念
在UPF中,power domain是设计中共享一组公共power supply的一组元素。默认情况下,power domain中的所有逻辑元件都使用相同的主power和主ground。也可以选择性地为power domain定义其他power。power domain通常被实现为物理芯片布局中的连续voltage区域。
每个power domain都有一个scope和extent。其中scope是指定为domain的根的逻辑层次结构级别。extent是属于power domain并共享相同power supply的一组逻辑元件。
scope是定义domain的层次级别,是属于power domain的元素的祖先;而extent是属于power domain的元素的实际集合。
在前后端flow中UPF文件的作用
图1 基于Synopsys工具的低功耗设计流程
如图1所示,综合工具DC首先将前端RTL和UPF文件读入进行综合,产生门级Netlist和修改后的UPF文件(UPF'),UPF'包含了原始UPF文件全部内容以及在综合过程中产生的针对特殊单元的supply net 连接。
随后P&R工具ICC读入上述文件进行后端物理实现,产生门级Netlist、完整的PG Netlist以及修改后的UPF文件(UPF''),UPF''包含了UPF'文件全部内容以及在物理实现过程中产生的所有针对低功耗电路结构的修改。
时序分析工具PT读入DC或ICC产生的门级netlist并读入UPF文件,PT基于UPF文件建立power网络的虚拟模型并在设计中每一个叶单元门的power pin上正确地反标电压的大小。PT不会修改UPF文件。
仿真工具VCS以及FV工具Formality,则读入门级netlist和UPF文件,分别进行仿真和形式验证。
UPF文件相关命令
图2 UPF命令及Synopsys工具对其的支持与否
相关命令的内容将在下一篇文章进行详细阐述。