时序分析基本概念介绍——时序库Lib，除了这些你还想知道什么？

今天主要介绍的时序概念是时序库lib，全称liberty library format(以• lib结尾)，

用于描述物理单元的时序和功耗信息的重要库文件。lib库是最基本的时序库，通常文件很大，分为两个部分，

第一部分定义了物理单元库的基本属性，它包括：

1）单元库名称，文件版本，产生日期及单元的PVT环境等。

2）定义电压，电流，电容，时间等基本单位。

3 ) 定义电路传输时间和信号转换时间的电压百分比。

我们来看一个基本的lib时序库：

library(xxx18) {                                     #库名称

  delay_model : table_lookup;               #采用查表延时模型计算延时

  revision : 1.0;                                     #库的版本

  date : "Sat Mar  2 15:37:50 2012";     #库的创建时间

  time_unit : "1ns";                                #定义时间基本单位  

  voltage_unit : "1V";                             #定义电压基本单位

  current_unit : "1uA";                           #定义电流基本单位

  pulling_resistance_unit : "1kohm";     #定义电阻基本单位

  leakage_power_unit : "1pW";             #定义功耗基本单位

  capacitive_load_unit (1.0,pf);             #定义负载基本单位

  nom_process     : 1;                         #定义时序库工艺

  nom_temperature : -40;                   #定义时序库温度

  nom_voltage     : 0.72;                     #定义时序库电压

  operating_conditions(fast) {           #定义互连线模型

    process : 1;

    temperature : -40;

    voltage : 0.72;

    tree_type   : balanced_tree

  }

  /* threshold definitions */

  slew_lower_threshold_pct_fall : 10.0;       #定义信号转换模型

  slew_upper_threshold_pct_fall : 90.0;

  slew_lower_threshold_pct_rise : 10.0;

  slew_upper_threshold_pct_rise : 90.0;

  input_threshold_pct_fall      : 50.0;             #定义延迟模型

  input_threshold_pct_rise      : 50.0;

  output_threshold_pct_fall     : 50.0;             

  output_threshold_pct_rise     : 50.0;

第二部分是每个单元的具体信息，包括单元的延迟时间，泄漏功耗，内部功耗等。它们以lookup table的形式来表示，这里一个非常重要的概念就是lookup table，它是一种三维数据查找表，整个lib文件都是通过该种查找方式来得到所需要的信息。例如延迟时间作为输出信号负载（output load）和输入信号转换时间(input transition)的函数列表。

我们来看一个look up table的查找方式：

lu_table_template(delay_template_2x2){

variable_1：total_output_net_capacitance；

variable_2：input_net_transition;

index 1("1000.0，1001.0");

index _2( " 1000.0, 1001.0" ) ;

}

rise_transition (delay_template_2x2) {

index_l( "0.01，0.4532" ) ;

index_2( "0.01，1.2" );

values ("0 .131455 , 0.131036 " , \

"4.19211，4.13413") ;

}

上诉语句定义了一个名字叫为delay_template_2x2的lookup table，可以理解为一个模板，有两个变量variable_1和variable_2组成。variable_1代表total_output_net_capacitance，variable_2代表input_net_transition。每个变量是两个断点组成。lookup table的名字是任意的，而变量可以是一个，两个或三个，每个断点的数量一般没有限制。

lookup table的第二部分则描述了具体哪个功能调用了上述模板，rise_transition描述的是单元输出信号的上升时间。它调用的就是由lu_table_template 定义的名为delay_template_2x2的模板。rise_transiton 中 index_1和 index_2是与上升时间相关的两个变量，如果想知道它们分别代表哪个一个变量就需要到delay_template_2x2的模板中查找，这里我们知道index_1代表输出pin的连线负载电容，index_2代表输入信号transition。

values与index可以表达为value=f(index_1，index_2)。当输出端线负载为0. 01，输入斜率为0. 01时，输出上升时间为0.131455。当输出线负载为0.01，输人斜率为1 .2时，输出上升时间为0.13036。同理，当输出端线负载为0.4532，输入斜率分别为0.01和1.2 时，对应另外两个上升时间。如下图所示：

接着在cell描述部分，我们会看到以下内容：

cell (BUFX1) {

  cell_footprint : buf;           #定义引脚名称，进行优化时具有相同引脚名称的单元才可以交换

  area : 13.305600;           #定义单元面积大小

  pin(A) {              

    direction : input;           #定义端口A为输入端口

    capacitance : 0.002357;    #定义端口A的电容

  }

  pin(Y) {

    direction : output;       #定义端口Y为输出端口

    capacitance : 0.0;       #定义端口Y的电容

    function : "A";               #定义端口Y是同A的操作

    internal_power() {       #定义单元内部功耗

      related_pin : "A";       #定义相关输入信号

      rise_power(energy_template_5x5) {     #定义端口Y上升所消耗的功耗

        index_1 ("0.025, 0.08, 0.3, 0.7, 1.2");

        index_2 ("0.00035, 0.021, 0.0385, 0.084, 0.147");

        values ( \

          "0.013041, 0.010646, 0.010132, 0.008511, 0.006121", \

          "0.015728, 0.012869, 0.012227, 0.010567, 0.008178", \

          "0.023086, 0.020760, 0.019879, 0.017596, 0.014946", \

文件太长，只截取部分，rise_power的 index_1和index_2的内容可以在文件前面的lookup table模板中查找得到，该cell的剩余其他时序和功耗参数也是类似描述，不一一解释了。