本節(jié)主要介紹:
邏輯綜合概述
計(jì)算延時(shí)模型
綜合目標(biāo)
綜合流程
綜合基本命令
工藝庫及其綜合庫

邏輯綜合概述

DC工作流程主要分為四步：

synthesis = translation + Constrain + logic optimization + gate mapping

Translation ：翻譯功能，主要把RTL級(jí)的代碼，首先通過轉(zhuǎn)換器GTECH將代碼轉(zhuǎn)換成統(tǒng)一用門級(jí)描述的電路（Generic Boolean Gates)或者沒有映射的ddc格式；

Constrain ：加載約束，設(shè)置時(shí)鐘頻率，輸入延遲，輸出延遲，負(fù)載，工作電壓等

Logic optimization ：邏輯優(yōu)化， 用統(tǒng)一的門級(jí)描述電路對(duì)面積和時(shí)序進(jìn)行優(yōu)化。

Gate mapping ：門級(jí)映射，dc用工藝庫廠商的工藝庫把電路給映射成基本單元，工藝庫包括不同觸發(fā)器、邏輯門等標(biāo)準(zhǔn)單元，不同類型的標(biāo)準(zhǔn)單元驅(qū)動(dòng)能力和延遲均不同；在約束文件的作用下，DC編譯出的網(wǎng)表可以符合特定場(chǎng)景下的功能要求，最終得到一個(gè).ddc文件；

.ddc文件包含許多豐富信息，如映射的門電路信息與網(wǎng)表、寄生參數(shù)、.v的網(wǎng)表、SDF標(biāo)準(zhǔn)延時(shí)信息、SDC約束、工作條件等信息。

吐出的網(wǎng)表文件，SDF延遲文件，并將其反標(biāo)，可以用于做后仿。

計(jì)算延時(shí)模型

線負(fù)載延遲模型：根據(jù)連線掛載的負(fù)載數(shù)量進(jìn)行計(jì)算；

拓?fù)浣Y(jié)構(gòu)模型：通過物理約束(phy)和物理庫(lib)，給dc工具提供大概布局，得出延遲，比較精確；

一般流程是，dc先綜合一版，用dc吐出的第一版信息，給后端做一版初步布局，利用ICC工具吐出的物理約束（包括某些器件的大概位置），DC啟動(dòng)拓?fù)浣Y(jié)構(gòu)模式，利用布局信息再進(jìn)行綜合，這樣計(jì)算得到的延遲信息比較準(zhǔn)確。

綜合目標(biāo)

面積越小，速度越快；

通常在面積和延時(shí)之間折中，如果時(shí)序和面積不能同時(shí)實(shí)現(xiàn)，時(shí)序擁有更高的優(yōu)先級(jí)。

綜合流程

綜合時(shí)，首先DC的HDL compiler把HDL代碼轉(zhuǎn)化成DC自帶的GTECH格式，然后DC的library compiler 根據(jù)標(biāo)準(zhǔn)設(shè)計(jì)約束（SDC）文件、IP-DW庫、工藝庫、圖形庫、（使用拓?fù)淠Ｊ綍r(shí)，加入的ICC生成DEF模式，加載物理布局信息）進(jìn)行時(shí)序優(yōu)化、數(shù)據(jù)通路優(yōu)化、功耗優(yōu)化（DC的power compiler進(jìn)行）、測(cè)試的綜合優(yōu)化（DC的DFT compiler），最后得到優(yōu)化后的網(wǎng)表。

綜合基本命令

工藝庫

工藝庫目錄:/opt/Foundary_Library/SMIC_180/smic_180/SM00LB501-FE-00000-r0p0-00rel0/aci/sc-m/synopsys

其中：以ss_1v62_125c.lib，ss_1v62_125c.db為例：

.db文件是給DC讀取，對(duì)應(yīng)的.lib文件是供人參考；

Library Compiler工具可將.lib文件轉(zhuǎn)換為.db文件；

ff最快工藝工藝角，ss最差工藝角，tt典型工藝角(fast、、slow、typical工作模式)

1v62電壓1.62V，125c溫度125攝氏度。

電壓越低速度越慢，溫度越高速度越慢。

打開ss_1v62_125c.lib文件：

版本信息和日期：

/*documentationattributes*/
revision:1.0;
date:"ThuOct2716082005";
comment:"Copyright(c)2005ArtisanComponents,Inc.AllRightsReserved.";

單位信息：時(shí)間、電流、電壓、電阻、漏電功耗和負(fù)載電容單位信息

/*unitattributes*/
time_unit:"1ns";
voltage_unit:"1V";
current_unit:"1mA";
pulling_resistance_unit:"1kohm";
leakage_power_unit:"1pW";
capacitive_load_unit(1.0,pf);

工作環(huán)境:溫度、電壓

/*operationconditions*/
nom_process:1;
nom_temperature:125;
nom_voltage:1.62;
operating_conditions(ss_1v62_125c){
process:1;
temperature:125;
voltage:1.62;
tree_type:balanced_tree
}
default_operating_conditions:ss_1v62_125c;

縮放因子：當(dāng)溫度變化時(shí)，根據(jù)縮放因子做出調(diào)整

/*thresholddefinitions*/
slew_lower_threshold_pct_fall:30.0;
slew_upper_threshold_pct_fall:70.0;
slew_lower_threshold_pct_rise:30.0;
slew_upper_threshold_pct_rise:70.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;
slew_derate_from_library:0.5;

默認(rèn)屬性：工藝庫的最大電容、最大扇出、輸入輸出電容、漏電功耗等信息

/*defaultattributes*/
default_leakage_power_density:0.0;
default_cell_leakage_power:0.0;
default_fanout_load:1.0;
default_output_pin_cap:0.0;
default_inout_pin_cap:0.0035;
default_input_pin_cap:0.0035;
default_max_transition:4.5;

查找表：計(jì)算延遲

/*templates*/
lu_table_template(delay_template_7x1){
variable_1:input_net_transition;
index_1("1000,1001,1002,1003,1004,1005,1006");
}
power_lut_template(energy_template_7x1){
variable_1:input_transition_time;
index_1("1000,1001,1002,1003,1004,1005,1006");
}

工作電壓: GENERAL、CMOS、TTL

/*padattributes*/
output_voltage(GENERAL){
vol:0.4;
voh:VDD-0.4;
vomin:-0.5;
vomax:VDD+0.5;
}
input_voltage(CMOS){
vil:0.3*VDD;
vih:0.7*VDD;
vimin:-0.5;
vimax:VDD+0.5;
}
input_voltage(TTL){
vil:0.8;
vih:2;
vimin:-0.5;
vimax:VDD+0.5;
}

線負(fù)載模型：?jiǎn)挝浑娮?，單位電容，斜率，面積，扇出

/*wire-loads*/
wire_load("smic18_wl20"){
resistance:8.5e-8;
capacitance:1.5e-4;
area:0.7;
slope:133.334;
fanout_length(1,133.334);
}

基本單元：加法器

cell(ADDFHX1M){
cell_footprint:addfh;
area:59.270400;
pin(A){
direction:input;
capacitance:0.006299;
}
pin(B){
direction:input;
capacitance:0.012002;
}
pin(CI){
direction:input;
capacitance:0.004209;
}
pin(S){
direction:output;
capacitance:0.0
...
...
}

綜合庫

synthetic_library一般為synopsys的庫：DesignWare library 和標(biāo)準(zhǔn)單元庫；DesignWare library 為synopsys的IP庫：

當(dāng)使用到synopsys公司的IP核時(shí)，則需要定義此綜合庫；

目錄：/opt/Synopsys/Synplify2015/libraries/syn：

審核編輯：湯梓紅