静态时序分析:线负载模型的选择机制

相关阅读

静态时序分析https://blog.csdn.net/weixin_45791458/category_12567571.html


线负载模型及其选择

线负载模型仅在Design Compiler线负载模式(非拓扑模式)下时使用,它估算了导线长度和扇出对网线的电阻、电容和面积的影响,Design Compiler使用这些物理值来计算导线延迟和电路速度。

半导体供应商根据其工艺的统计信息开发线负载模型。这些模型包括单位长度的面积、电容和电阻系数,并且还包含一个扇出与长度的表,用于估算网线的长度(扇出数量决定了一个标称长度)。

在没有反标导线延迟的情况下,Design Compiler使用线负载模型来估算网线的长度和延迟。Design Compiler根据以下优先顺序来确定使用哪个线负载模型:

1、由用户显式指定的模型

使用set_wire_load_model命令即可使用任意一个已加载到内存的逻辑库中的线负载模型(这里需要注意,正如链接(link)库的详细解析一文所说,link_library变量或local_link_library属性(两者统称为link_path)指定的逻辑库会在必要时自动加载)。

2、基于设计面积自动选择的模型

在auto_wire_load_selection变量没有被设置为false的前提下:

在主库,即link_path中的第一个逻辑库(local_link_library属性优先级更高)中存在一个线负载模型选择组(wire_load_selection),Design Compiler根据该选择组中的"单元面积-线负载模型"关系自动选择线负载模型;如果主库中存在不止一个线负载模型选择组,则逻辑库中一定同时定义了库属性default_wire_load_selection,Design Compiler根据该默认选择组中的"单元面积-线负载模型"关系自动选择线负载模型。

使用set_wire_load_selection_group命令即可使用任意一个已加载到内存且在link_path中指定的逻辑库中线负载模型选择组。

3、逻辑库中的默认指定的模型

如果主库中定义了库属性default_wire_load,Design Compiler选择该默认线负载模型。


如果以上三种情况都不满足,Design Compiler将不使用线负载模型。在没有线负载模型的情况下,Design Compiler无法获取目标工艺的完整信息,无法计算互连延迟,因此,时序信息将显得过于乐观。

举例说明

假设逻辑库typical.lib(同时作为主库)中有以下定义:

  wire_load("tsmc090_wl10") {
    resistance	: 8.5e-8;
    capacitance	: 1.5e-4;
    area	: 0.7;
    slope	: 66.667;
    fanout_length	(1,66.667);
  }
  wire_load("tsmc090_wl20") {
    resistance	: 8.5e-8;
    capacitance	: 1.5e-4;
    area	: 0.7;
    slope	: 133.334;
    fanout_length	(1,133.334);
  }
  wire_load("tsmc090_wl30") {
    resistance	: 8.5e-8;
    capacitance	: 1.5e-4;
    area	: 0.7;
    slope	: 200.001;
    fanout_length	(1,200.001);
  }
  default_wire_load :tsmc090_wl30;

  wire_load_selection(pes) {
  wire_load_from_area(0,100,tsmc090_wl10);
  wire_load_from_area(101,200,tsmc090_wl20);
  wire_load_from_area(201,300,tsmc090_wl30);
}
  wire_load_selection(opt) {
  wire_load_from_area(0,100,tsmc090_wl30);
  wire_load_from_area(101,200,tsmc090_wl20);
  wire_load_from_area(201,300,tsmc090_wl10);
}
  default_wire_load_selection :opt;

1、由用户显式指定的模型(常用)

使用set_wire_load_model命令可以使用任意一个已加载到内存的逻辑库中的线负载模型,图1是report_design命令的结果。

set_wire_load_model -name tsmc090_wl10 -library typical

图1 手动选择线负载模型

如果不指定-library选项,则Design Compiler会在link_path指定的逻辑库中从左至右进行搜索指定的线负载模型;如果在-library选项中指定了多个逻辑库,则Design Compiler会在这些指定的逻辑库中从左至右进行搜索指定的线负载模型。

2、基于设计面积自动选择的模型

假设auto_wire_load_selection变量没有被设置为false。

某个设计的总单元面积为18,则Design Compiler根据主库的默认选择组opt自动选择线负载模型tsmc090_wl30,图2是report_design命令的结果。

图2 基于面积自动选择线负载模型(默认)

也可以使用set_wire_load_selection_group命令使用任意一个已加载到内存且在target_library或link_library中指定的逻辑库中的线负载模型选择组,图3是report_design的结果。

set_wire_load_selection_group pes -library typical

图3 基于面积自动选择线负载模型(指定)

需要注意的是,与set_wire_load_model命令不同的是,如果一个逻辑库使用read_db或read_file -format db命令手动加载到内存中但并未在target_library或link_library中指定,则无法指定其中的线负载模型选择组。

如果不指定-library选项,则Design Compiler会在target_library指定的第一个逻辑库(优先级更高)或link_library中指定的第一个逻辑库中搜索指定的线负载模型选择组;如果在-library选项中指定了多个逻辑库(需要在target_library或link_library中指定),则Design Compiler会在这些指定的逻辑库中从左至右进行搜索指定的线负载模型选择组。

3、逻辑库中的默认指定的模型

假设auto_wire_load_selection变量被设置为false。

Design Compiler根据主库自动选择默认线负载模型tsmc090_wl30,图4是report_design命令的结果。

图4 线负载模型(默认)

最后谈一下report_wire_load命令可以报告已设置的线负载模型或者link_path指定逻辑库中的所有线负载模型;remove_wire_load_model命令可以用于移除已设置的线负载模型;set_wire_load_model除了设置当前设计的线负载模型外,还可以设置其它模型、层次单元以及端口的线负载模型,再次不详细说明。

相关推荐
zhengyad1235 小时前
FPGA的FIFO
fpga开发
我爱C编程5 小时前
【硬件测试】基于FPGA的2FSK+帧同步系统开发与硬件片内测试,包含高斯信道,误码统计,可设置SNR
fpga开发·帧同步·硬件片内测试·误码统计·2fsk·高斯信道
ARM+FPGA+AI工业主板定制专家7 小时前
RK3588+FPGA全国产异步LED显示屏控制卡/屏幕拼接解决方案
fpga开发
智者知已应修善业13 小时前
【74HC192减法24/20/72进制】2022-5-17
驱动开发·经验分享·笔记·硬件工程
嵌入式小杨18 小时前
阻抗(Impedance)、容抗(Capacitive Reactance)、感抗(Inductive Reactance)
单片机·嵌入式硬件·物联网·学习·面试·硬件工程
贝塔实验室18 小时前
FPGA可重构技术
fpga开发·重构·硬件架构·硬件工程·射频工程·fpga·精益工程
shx_wei1 天前
单周期CPU电路设计
fpga开发·硬件工程
FakeOccupational1 天前
fpga系列 HDL:ModelSim显示模拟波形+十进制格式数值(临时方法和设置持久化的默认值)
fpga开发
沐欣工作室_lvyiyi1 天前
基于单片机的智慧农业大棚系统(论文+源码)
单片机·嵌入式硬件·fpga开发·毕业设计·单片机毕业设计
贝塔实验室1 天前
一种基于动态部分重构的FPGA自修复控制器
fpga开发·重构·系统架构·硬件架构·硬件工程·fpga·安全架构