本文转自：自己的微信公众号《集成电路设计及EDA教程》
《PT教程 - 应用系列 - ECO修复Timing（理论+实践+脚本分享）》
这篇推文讲一下数字IC设计中的post mask ECO和premask ECO，并讲解一下在ICC中Apply ECO的流程。
理论：
前面介绍了在ICC中Apply ECO的方法与流程，但是ICC并非Timing Signoff的一个工具，在ICC中做完布局布线之后，需要到PT中做STA，在Formaliry中做形式验证等等，如果存在违反需要进行ECO。
流程及脚本分享：
这里以修复hold为例，介绍一下PT ECO的方法并分享一下脚本。
首先在PT中进行STA，在任意一个scenario下面，如果存在timing的违反，最好将违反的path报告导出为一个文件，且不分行，这样便于用进程进行处理（如果同一个路径的报告换行的话格式会有点混乱，不便于处理）。可以用上面的redirect命令导出。
修复hold的方法一般就是在endpoint插入buffer或者delay cell。
下面是PT调用的修复hold的进程：
修复完成后需要再报告一下看是否还存在违反，如果还有违反就再次执行该进程：
sta_fix_hold_file ../../backend/pt/sta_rpts/hold_vio.timing “icc”
下面给出该tcl代码，并对该程序进行讲解：
#sta_fix_hold_file是进程的名字，要想调用该进程可以用如下格式：
#sta_fix_hold_file file_name(即PT产生的timing violations报告) icc/astro(设置PT产生ECO tcl脚本是用于astro的还是icc的)
# buf_lst后边是buffer或者delay cells的list，这些cells可被用于修复hold。
proc sta_fix_hold_file {file_name {tool icc} {buf_lst {DEL1V1_8TH40DEL1V2_8TH40 DEL2V1_8TH40 DEL2V2_8TH40 DEL3V1_8TH40 DEL3V2_8TH40 DEL4V1_8TH40
DEL4V2_8TH40 BUFV0_8TH40 BUFV12RQ_8TH40BUFV12_8TH40 BUFV16RQ_8TH40
BUFV16_8TH40 BUFV1_8TH40 BUFV20RQ_8TH40BUFV20_8TH40 BUFV24RQ_8TH40
BUFV24_8TH40 BUFV2_8TH40 BUFV32RQ_8TH40 BUFV32_8TH40BUFV3RQ_8TH40
BUFV3_8TH40 BUFV40RQ_8TH40 BUFV40_8TH40BUFV4RQ_8TH40 BUFV4_8TH40
BUFV6RQ_8TH40 BUFV6_8TH40 BUFV8RQ_8TH40BUFV8_8TH40}}} {
set f [open $file_name r]
gets $f line
set end_path [lindex $line 0]
#regexp 命令（regexp expstring）用于判断正规表达式exp 是否全部或部分匹配字符串string，匹配返回1，否则0。
while {![regexp {^Endpoint}$end_path]} {
gets $f line
set end_path [lindex $line 0]
}
#TCL 提供了seek,tell和eof 等命令使用户可以非连续访问文件。
#eof fileId
#如果到达fileId 标识的文件的末尾返回1，否则返回0。
#string 命令具有强大的操作字符串的功能，其中的option 选项多达20 个。下面介绍其中常用的部分。
#string compare ?-nocase? ?-length int? string1 string2
把字符串string1 和string2 进行比较，返回值为-1、0 或1，分别对应string1 小于、等于或大于string2。如果有 -length 参数，那么只比较前 int个字符，如果 int 为负数，那么这个参数被忽略。如果有 -nocase 参数，那么比较时不区分大小写。
while {![eof $f]} {
gets $f line
set end_path [lindex $line 0]
if { [string compare $end_path""] && ![regexp {^---} $end_path] && ![regexp {^1}$end_path] } {
puts "###fix holdviolation###current hold violated end point =============> $end_path"
fix_eco_timing -type hold-method insert_buffer -to $end_path -buffer_list $buf_lst
}
}
#注意有个!{regexp {^1} $end_path}，这是因为在生成报告的末尾会有个1，不能将其视为hold的违反。
close $f
if {$tool == "astro"}{
write_astro_changes -formatscheme eco_fix_hold.cmd
} elseif {$tool =="icc"} {
write_changes -format icctcl-output eco_fix_hold.tcl
} else {}
}
#使用范例，先报告PT中的hold违反：
report_timing -delay_type min
-start_end_pair
-slack_lesser_than -0
-path_type end
-nosplit >../../backend/pt/sta_rpts/hold_vio.timing
软件产生的报告是这样的（下面给的图片中slack没有小于-0的，所以用slack小于0.12的为例，主要关注报告的格式。由于系统精度与显示的问题，注意一定要在0前面加上负号，因为某些slack非常小的正数由于精度的问题，会四舍五入成0.00）：
#调用进程修复hold违反
sta_fix_hold_file ../../backend/pt/sta_rpts/hold_vio.timing"icc"
# ../../backend/pt/eco_fix_hold.tcl
#修复完成后在PT中检查是否还存在hold的违反
check_timing
update_timing
report_timing
#report_timing -delay_type min
report_constraint -all_violators -min_delay
在PT产生ECO脚本之后，便可以在ICC中take ECO了。
更多资料欢迎移步微信公众号《数字集成电路设计及EDA教程》
网易云课堂视频课程
链接：https://study.163.com/course/introduction/1005909004.htm
Calibredrv教程-提高流程自动化
## 为了方便大家交流讨论 ##
## 建了一个QQ群 ##
## 集成电路设计及EDA教程 ##
## 加群请备注：EDA ##
## 群二维码如下 ##
# 本公众号有个红包和资料福利微信群 #
# 集成电路设计及EDA教程福利群 #
# 为了避免乱七八糟的人加进来 #
# 可以先加我微信，我拉你进群 #
# 加我微信 请备注下面问题的答案 #
# ASIC的全称 #
