Design Compiler入门经典实验Lab4

Lab4：此实验的原理图同实验 3，约束文件之中添加了环境因素即输入过渡时间和外部负载。

对约束文件的分析如下：并且对应运行 report_port -verbose 查看端口的完整约束情况。
1、set_driving_cell -lib_cell bufbd1 [remove_from_collection [all_inputs] [get_ports “clk Cin*”]]

#指定输入驱动强度，这里指定了除了 clk、cin*之外的所有输入端口的驱动能力与 1 个反相器 bufbd1 的驱动强度相同。

一般情况下的指令格式如下：

set_driving_cell -lib_cell lib cell name -from_pin from pin name -clock clock name [get_ports XXX]

-lib_cell 为驱动单元名称，-from_pin 为多输出的驱动单元的区分，-clock 为时钟关联， get_ports 为指定驱动强度的端口名称。

2、set_input_transition 0.12 [get_ports Cin*]
#输入过渡时间声明。

3、set_load [expr 2 * {[load_of cb13fs120_tsmc_max/bufbd7/I]}] [get_ports out*]

set_load 0.025 [get_ports Cout*]

#指定负载(输入或者输出均有负载，这里指输出负载，lab7 中有指输入负载的)，一般指定负载有两种形式：1、用库中的标准负载表示
2、以直接标注电容值的形式。
显然第一条就是标准负载表示，out*端的负载等效为 cb13fs120_tsmc_max(库名称)中的库元件 bufbd7 的
引脚 I，工具会自动把该引脚的扇出值转换成等效负载电容。而第二条显然就是直接指定负载的电容值。