DC学习-第四章

4使用libraries
本章呈现了基本的library信息。Design Compiler使用technology，symbol和synthetic或者DesignWare 库来实现综合并展示图形化的综合结果。你必须知道如何执行一些简单的library命令，这样才能让Design Compiler正确的使用library数据。
本章包含以下内容：
 选择半导体供应商
 理解library的需求
 指定库
 载入库
 列出库
 报告库内容
 指定库对象
 指导库单元使用
 库的映射和综合
 从主存中移除库
 保存库
选择半导体供应商
在设计芯片时，你需要做的第一件事就是选择半导体供应商和你要用到的工艺。在选择过程中请考虑一下问题：
 运行的最高频率
 物理限制
 功耗限制
 封装限制
 时钟树实现
 布局规划
 反标支持
 对库，大型单元和RAM的设计支持
 可用的核
 可用的测试方法和扫描方式
理解library的需求
Design Compiler使用以下库：
 Technology libraries
 Symbol libraries
 DesignWare libiaries
本节描述这些库。
Technology libraries
Technology libraries包含了半导体供应商的库中每个单元的特征和功能信息。半导体供应商负责维护和发布这些Technology libraries。
单元特征包含了诸如单元名，接口名，面积，延时参数和引脚负载等信息。Technology library同时也定义了一个设计必须满足的条件（例如，连线的最大transition时间）。这些条件称为设计规则约束。
除了单元信息和设计规则约束外，technology library还指定特定工艺下的运行条件和线负载模型。
Design Compiler支持使用非线性延时模型（NLDMs），合成电流源模型（CCS）（压缩和非压缩的）和两种模型混合的逻辑库。工具自动基于逻辑库的内容来选择时间模型的类型。入股库同时包含了NLDM和CCS模型，工具会使用CCS模型。在逻辑综合和预布线优化过程中，工具可能不会将所有可用的CCS数据全部使用到以便节省时间。
Design Compiler会在为了达成以下目标而使用technology libraries：
 实现设计功能
Design Compiler在优化期间用于映射的technology libraries称为target libraries。Target libraries包含了用于产生网表的单元和设计的运行条件的定义。
用于编译或者转换设计的target libraries会变成local link libraries。Design Compiler会将这些信息保存在设计的local_link_library属性中。更多关于属性的信息，请参考使用属性的章节。
 解决单元引用
Design Compiler用于解决单元引用的target libraries称为link library。
除了target libraries之外，link libraries也包含了设计文件。link libraries包含了映射网表的单元描述（库单元和子设计）。
link libraries包含了本地link libraries（local_link_library属性）和系统link libraries（link_library变量）。
更多的关于解决引用的信息，请参考“Linking Design”。
 计算时间值和路径延时
Link libraries定义了用于计算时间值和路径延时的延时模型。更多关于各种延时模型的信息，请参考Library Compiler文档。
 计算功耗
更多关于计算功耗的信息，请参考Power Compiler User Guide。
Symbol libraries
Symbol libraries包含了在设计原理图中代表库单元图形化符号的定义。半导体制造商维护和发布这些symbol libraries。
Design Compiler用symbol libraries来生成设计的原理图。你需要使用Design Vision来查看设计的原理图。
当你生成设计的原理图时，Design Compiler会进行网表中的单元到symbol library单元的一一映射。
DesignWare libraries
DesignWare library是集成在Synopsys synthesis