1、source -e -v显示读取内容和读取结果
本文以在DC综合source max_delay约束文件为例讲解-e -v的作用
本案例已通过PrimeTime提取了max_delay文件,如下所示,需要检查max_delay约束是否正确,可以在PT和dc环境中source,确保每条set_max_delay 没有语法以及路径错误等问题。
在dc_shell环境中:读取网表文件:
read_verilog /proj/xxxx/xxxxx/xxxxx/lifc_top.vg
使用source命令检查:并把结果写入到max_delay_check.log中
dc_shell: source -e -v /xxxx/xxx/xxxxx/lifc_top_max_delay.sdc > max_delay_check.log
lifc_top_max_delay.sdc文件内容如下所示:
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_0/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_0/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_1/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_1/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_2/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_2/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_3/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_3/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_4/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_4/d
检查结果max_delay_check.log内容如下:
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_0/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_0/d
1
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_1/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_1/d
1
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_2/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_2/d
1
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_3/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_3/d
1
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_4/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_4/d
1
1
-e表示显示读取的内容
没有-e 只有 -v ,只显示读取max_delay的结果
//没有-e 只有 -v ,只显示读取max_delay的结果
1
1
1
1
1
1
-v 表示打印source后的结果是0还是1
如果没有-v,只有-e,则只会显示读取内容
//-v 表示打印source后的结果是0还是1,如果没有-v,只有-e
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_0/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_0/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_1/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_1/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_2/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_2/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_3/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_3/d
set_max_delay lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/src_lock_data_reg_4/phi -to lifc_top_pre/lifc_u0_/lifc_crtl_crm/syn_bus_u3/dst_data_reg_4/d